title: Distantly Supervised Named Entity Recognition using Positive-Unlabeled Learning

abstract: In this work, we explore the way to perform named entity recognition (NER) using only unlabeled data and named entity dictionaries. To this end, we formulate the task as a positive-unlabeled (PU) learning problem and accordingly propose a novel PU learning algorithm to perform the task. We prove that the proposed algorithm can unbiasedly and consistently estimate the task loss as if there is fully labeled data. A key feature of the proposed method is that it does not require the dictionaries to label every entity within a sentence, and it even does not require the dictionaries to label all of the words constituting an entity. This greatly reduces the requirement on the quality of the dictionaries and makes our method generalize well with quite simple dictionaries. Empirical studies on four public NER datasets demonstrate the effectiveness of our proposed method. We have published the source code at \url{https://github.com/v-mipeng/LexiconNER}.


title: What, Where and How to Transfer in SAR Target Recognition Based on Deep CNNs

abstract: Deep convolutional neural networks (DCNNs) have attracted much attention in remote sensing recently. Compared with the large-scale annotated dataset in natural images, the lack of labeled data in remote sensing becomes an obstacle to train a deep network very well, especially in SAR image interpretation. Transfer learning provides an effective way to solve this problem by borrowing the knowledge from the source task to the target task. In optical remote sensing application, a prevalent mechanism is to fine-tune on an existing model pre-trained with a large-scale natural image dataset, such as ImageNet. However, this scheme does not achieve satisfactory performance for SAR application because of the prominent discrepancy between SAR and optical images. In this paper, we attempt to discuss three issues that are seldom studied before in detail: (1) what network and source tasks are better to transfer to SAR targets, (2) in which layer are transferred features more generic to SAR targets and (3) how to transfer effectively to SAR targets recognition. Based on the analysis, a transitive transfer method via multi-source data with domain adaptation is proposed in this paper to decrease the discrepancy between the source data and SAR targets. Several experiments are conducted on OpenSARShip. The results indicate that the universal conclusions about transfer learning in natural images cannot be completely applied to SAR targets, and the analysis of what and where to transfer in SAR target recognition is helpful to decide how to transfer more effectively.


title: The Dzhumadildaev brackets: a hidden supersymmetry of commutators and the Amitsur-Levitzki-type identities

abstract: The Amitsur-Levitzki identity for matrices was generalized in several directions: by Kostant for simple finite-dimensional Lie algebras, by Kirillov (later joined by Kontsevich, Molev, Ovsienko, and Udalova) for simple vectorial Lie algebras with polynomial coefficients, and by Gie, Pinczon, and Ushirobira for the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|n)$. Dzhumadildaev switched the focus of attention in these results by considering the algebra formed by antisymmetrizors and discovered a hidden supersymmetry of commutators. We overview these results and their possible generalizations (open problems).


title: On Optimal Algebraic Multigrid Methods

abstract: In this note we present an alternative way to obtain optimal interpolation operators for two-grid methods applied to Hermitian positive definite linear systems. Falgout and Vassilevski in [SIAM J. Numer. Anal, 42 (2004), pp. 1669-1693] and Zikatanov [Numer. Linear Algebra Appl., 15 (2008), pp. 439-454] have characterized the $A$-norm of the error propagation operator of algebraic multigrid methods. These results have been recently used by Xu and Zikatanov [Acta Numer., 26 (2017), pp. 591-721] and Brannick, Cao et al. [SIAM J. Sci. Comp, 40 (2018), pp. 591-721] to determine optimal interpolation operators. Here we use a characterization not of the $A$-norm but of the spectrum of the error propagation operator of two-grid methods, which was proved by Garc\'ia Ramos, Nabben and Kehl and holds for arbitrary matrices. For Hermitian positive definite systems this result leads to optimal interpolation operators with respect to the $A$-norm in a short way, moreover, it also leads to optimal interpolation operators with respect to the spectral radius. For the symmetric two-grid method (with pre- and post-smoothing) the optimal interpolation operators are the same. But for a two-grid method with only post-smoothing the optimal interpolations (and hence the optimal algebraic multigrid methods) can be different. Moreover, using the characterization of the spectrum, we can show that the found optimal interpolation operators are also optimal with respect to the condition number of the multigrid preconditioned system.


title: The essential elements of dust evolution: A viable solution to the interstellar oxygen depletion problem?

abstract: There remain many open questions relating to the depletion of elements into dust, e.g., exactly how are C and O incorporated into dust in dense clouds and, in particular, what drives the disappearance of oxygen in the denser interstellar medium? This work is, in part, an attempt to explain the apparently anomalous incorporation of O atoms into dust in dense clouds. We re-visit the question of the depletion of the elements incorporated into the carbonaceous component of interstellar dust, i.e., C, H, O, N and S, in the light of recent analyses of the organics in comets, meteorites and interplanetary dust particles. We find that oxygen could be combined with ~ 10 to 20 % of the carbon in the dust in dense regions in the form of a difficult to observe, organic carbonate, which could explain the unaccounted for 170-255 ppm oxygen depletion. We conclude that, while C, O and N atoms are depleted into an amorphous a-C:H:O:N phase, we posit that a significant fraction of C and O atoms could be sequestered into an organic carbonate, which provides a viable solution to the oxygen depletion problem. Further, the thermal or photolytic decomposition of this carbonate may have a bearing on the formation of CO_2 in the ISM.


title: Dynamically generated hierarchies in games of competition

abstract: Spatial many-species predator-prey systems have been shown to yield very rich space-time patterns. This observation begs the question whether there exist universal mechanisms for generating this type of emerging complex patterns in non-equilibrium systems. In this work we investigate the possibility of dynamically generated hierarchies in predator-prey systems. We analyze a nine-species model with competing interactions and show that the studied situation results in the spontaneous formation of spirals within spirals. The parameter dependence of these intriguing nested spirals is elucidated. This is achieved through the numerical investigation of various quantities (correlation lengths, densities of empty sites, Fourier analysis of species densities, interface fluctuations) that allows to gain a rather complete understanding of the spatial arrangements and the temporal evolution of the system. A possible generalization of the interaction scheme yielding dynamically generated hierarchies is discussed. As cyclic interactions occur spontaneously in systems with competing strategies, the mechanism discussed in this work should contribute to our understanding of various social and biological systems.


title: Mapping the structural transitions controlled by the trilinear coupling in Ca3-xSrxTi2O7

abstract: We present the results of the high-temperature neutron and x-ray diffraction experiments on the Ca3-xSrxTi2O7 (x = 0.5, 0.8, 0.85, 0.9) compounds. The ferro- to paraelectric transition in these hybrid improper ferroelectric materials arises from the so-called trilinear coupling. Depending on the Strontium content, various structures and phase transitions, different from theoretical predictions, emerge. The in-situ x-ray powder diffraction indicates a direct ferro- to paraelectric transition between the orthorhombic A21am and tetragonal undistorted I4/mmm phase for x < 0.6. We identified a reduction in the trilinear coupling robustness by increasing the Sr-doping level to lead to the emergence of the intermediate tetragonal P42/mnm phase and the gradual suppression of the orthorhombic phase. The observed character of the structure transitions and the Ca3-xSrxTi2O7 phase diagram are discussed in the framework of theoretical models of other related hybrid improper ferroelectric systems.


title: On the time of existence of solutions of the Euler-Korteweg system

abstract: Under a natural stability condition on the pressure, it is known that for small irrotational initial data, the solutions of the Euler-Korteweg system are global in time. When the initial velocity has a small rotational part, we obtain a lower bound on the time of existence that depends only on the rotational part. In the zero vorticity limit we recover the previous global well-posedness result. Independently of this analysis, we also provide (in a special case) a simple example of solution that blows up in finite time.


title: Regularity of geodesics in the spaces of convex and plurisubharmonic functions

abstract: In this note we investigate the regularity of geodesics in the space of convex and plurisubharmonic functions. In the real setting we prove (optimal) local C^{1,1} regularity. We construct examples which prove that the global C^{1,1} regularity fails both in the real and complex case in contrast to the K\"ahler manifold setting. Finally we show a necessary and sufficient conditions for existence of a smooth geodesic between two smooth strictly convex functions.


title: Geometrical MoM formulation for eigenmode analysis

abstract: The resonant frequencies of a structure and the associated field distributions are generally determined by solving a non-linear eigenvalue problem. Using frequency-domain solvers, the response of the structure needs to be evaluated at many different frequencies in order to solve the non-linear problem. Moreover, these frequencies may be complex, the inverse of the imaginary part physically corresponding to the e-folding time of the energy of the mode. In this paper, we propose to use the so-called "Geometrical Method of Moments" (GMoM) to accelerate the computation of the resonant frequencies of a structure using the Method of Moments. First, purely geometrical reaction integrals are precomputed, which do not depend on the frequency nor material parameters. Then, by summing these terms with proper weights, the impedance matrix can be obtained for any complex frequency. This method easily accommodates for dispersive materials provided that the permittivity and permeability of the material can be extrapolated to complex frequencies.


title: A Comprehensive Study on Deep Learning Bug Characteristics

abstract: Deep learning has gained substantial popularity in recent years. Developers mainly rely on libraries and tools to add deep learning capabilities to their software. What kinds of bugs are frequently found in such software? What are the root causes of such bugs? What impacts do such bugs have? Which stages of deep learning pipeline are more bug prone? Are there any antipatterns? Understanding such characteristics of bugs in deep learning software has the potential to foster the development of better deep learning platforms, debugging mechanisms, development practices, and encourage the development of analysis and verification frameworks. Therefore, we study 2716 high-quality posts from Stack Overflow and 500 bug fix commits from Github about five popular deep learning libraries Caffe, Keras, Tensorflow, Theano, and Torch to understand the types of bugs, root causes of bugs, impacts of bugs, bug-prone stage of deep learning pipeline as well as whether there are some common antipatterns found in this buggy software. The key findings of our study include: data bug and logic bug are the most severe bug types in deep learning software appearing more than 48% of the times, major root causes of these bugs are Incorrect Model Parameter (IPS) and Structural Inefficiency (SI) showing up more than 43% of the times. We have also found that the bugs in the usage of deep learning libraries have some common antipatterns that lead to a strong correlation of bug types among the libraries.


title: Analytical forms of wave function and form factors of deuteron

abstract: On the received coefficients of the analytical forms for deuteron wave function in coordinate representation in form r^(l+1)*exp(-A*r) for the modern realistic nucleon-nucleon potentials NijmI, NijmII, Nijm93, Reid93 and Argonne v18 are calculated charge GC(p), quadrupole GQ(p) and magnetic GM(p) deuteron form factors. An original dipole fit for proton and neutron isoscalar electric and magnetic form factors is used for calculations. Theoretical calculations of values of the deuteron form factor are compared with their experimental data of world collaborations (Bates, BLAST, Bonn, JLab, Mainz, Naval Research Lab, NIKHEF, Orsay, Saclay, SLAC, Stanford, VEPP3 and VEPP4) and reviews (Abbott, Boden, Garcon and Karpius). The change of the sign of form factors is in the pulse regions at 4.7-4.9 fm-1 for GC; at 12.8-14.7 fm-1 for GQ; at 6.3-8.1 and 11.4-12.2 fm-1 for GM. The theoretical values for the form factors GQ(0) and GM(0) were calculated at the boundary condition for the momentum at p2=0. Calculated positions of the zero for deuteron form factors are compared with values for other potential models. The peculiarities of parametrizations of deuteron form factors for theoretical approaches and fits of theoretical calculations to experimental values, which are described in the cited literature, are analyzed. Formulas for spherical and quadrupole form factors are writed, which are expressed in terms of the coefficients for the indicated deuteron wave function. At large values of momentum the asymptotics of the deuteron form factors are determined by the coefficients of the analytical forms for deuteron wave function, nucleon isoscalar form factors and the order of momentum in the denominator. The further use of deuteron form factors for obtaining polarization observables in processes involving deuteron as a projectile is discussed.


title: Existence and uniqueness of propagating terraces

abstract: This work focuses on dynamics arising from reaction-diffusion equations , where the profile of propagation is no longer characterized by a single front, but by a layer of several fronts which we call a propagating terrace. This means, intuitively, that transition from one equilibrium to another may occur in several steps, that is, successive phases between some intermediate stationary states. We establish a number of properties on such propagating terraces in a one-dimensional periodic environment, under very wide and generic conditions. We are especially concerned with their existence, uniqueness, and their spatial structure. Our goal is to provide insight into the intricate dynamics arising from multistable non-linearities.


title: ISPY -- NaCo Imaging Survey for Planets around Young stars. Discovery of an M dwarf in the gap between HD 193571 and its debris ring

abstract: Context. The interaction between low-mass companions and the debris discs they reside in is still not fully understood. A debris disc can evolve due to self-stirring, a process in which planetesimals can excite their neighbours to the point of destructive collisions. In addition, the presence of a companion could further stir the disc (companion-stirring). Additional information is necessary to understand this fundamental step in the formation and evolution of a planetary system, and at the moment of writing only a handful of systems are known where a companion and a debris disc have both been detected and studied at the same time. Aims. Our primary goal is to augment the sample of these systems and to understand the relative importance between self-stirring and companion-stirring. Methods. In the course of the VLT/NaCo Imaging Survey for Planets around Young stars (ISPY), we observed HD 193571, an A0 debris disc hosting star at a distance of 68 pc with an age between 60 and 170 Myr. We obtained two sets of observations in L' band and a third epoch in H band using the GPI instrument at Gemini-South. Results. A companion was detected in all three epochs at a projected separation of 11 au (0.17 arcsec), and co-motion was confirmed through proper motion analysis. Given the inferred disc size of 120 au, the companion appears to reside within the gap between the host star and the disc. Comparison between the L' and H band magnitude and evolutionary tracks suggests a mass of 0.31 - 0.39 solar masses . Conclusions. We discovered a previously unknown M-dwarf companion around HD 193571, making it the third low-mass stellar object discovered within a debris disc. A comparison to self- and companion-stirring models suggests that the companion is likely responsible for the stirring of the disc.


title: Recognising Agreement and Disagreement between Stances with Reason Comparing Networks

abstract: We identify agreement and disagreement between utterances that express stances towards a topic of discussion. Existing methods focus mainly on conversational settings, where dialogic features are used for (dis)agreement inference. We extend this scope and seek to detect stance (dis)agreement in a broader setting, where independent stance-bearing utterances, which prevail in many stance corpora and real-world scenarios, are compared. To cope with such non-dialogic utterances, we find that the reasons uttered to back up a specific stance can help predict stance (dis)agreements. We propose a reason comparing network (RCN) to leverage reason information for stance comparison. Empirical results on a well-known stance corpus show that our method can discover useful reason information, enabling it to outperform several baselines in stance (dis)agreement detection.


title: SherLIiC: A Typed Event-Focused Lexical Inference Benchmark for Evaluating Natural Language Inference

abstract: We present SherLIiC, a testbed for lexical inference in context (LIiC), consisting of 3985 manually annotated inference rule candidates (InfCands), accompanied by (i) ~960k unlabeled InfCands, and (ii) ~190k typed textual relations between Freebase entities extracted from the large entity-linked corpus ClueWeb09. Each InfCand consists of one of these relations, expressed as a lemmatized dependency path, and two argument placeholders, each linked to one or more Freebase types. Due to our candidate selection process based on strong distributional evidence, SherLIiC is much harder than existing testbeds because distributional evidence is of little utility in the classification of InfCands. We also show that, due to its construction, many of SherLIiC's correct InfCands are novel and missing from existing rule bases. We evaluate a number of strong baselines on SherLIiC, ranging from semantic vector space models to state of the art neural models of natural language inference (NLI). We show that SherLIiC poses a tough challenge to existing NLI systems.


title: Fidelity deviation in quantum teleportation with a two-qubit state

abstract: Quantum teleportation with an arbitrary two-qubit state can be appropriately characterized in terms of maximal fidelity and fidelity deviation. The former quantifies optimality of the process and is defined as the maximal average fidelity achievable within the standard protocol and local unitary strategies, whereas the latter, defined as the standard deviation of fidelity over all input states, is a measure of fidelity fluctuations. The maximal fidelity for a two-qubit state is known and is given by a simple formula that can be exactly computed, but no such formula is known for the fidelity deviation. In this paper, we derive an exact computable formula for the fidelity deviation in optimal quantum teleportation with an arbitrary state of two qubits. From this formula, we obtain the dispersion-free condition, also known as the universality condition: the condition that all input states are teleported equally well and provide a necessary and sufficient condition for a state to be both useful (maximal fidelity larger than the classical bound) and universal (zero fidelity deviation). We also show that for any given maximal fidelity, larger than the classical bound, there always exist dispersion-free or universal states and argue that such states are the most desirable ones within the set of useful states. We illustrate these results with well-known families of two-qubit states: pure entangled states, Bell-diagonal states, and subsets of $X$ states.


title: Extinction time of logistic branching processes in a Brownian environment

abstract: In this paper, we study the extinction time of logistic branching processes which are perturbed by an independent random environment driven by a Brownian motion. Our arguments use a Lamperti-type representation which is interesting on its own right and provides a one to one correspondence between the latter family of processes and the family of Feller diffusions which are perturbed by an independent spectrally positive L\'evy process. When the independent random perturbation (of the Feller diffusion) is driven by a subordinator then the logistic branching processes in a Brownian environment converges to a specified distribution; otherwise, it becomes extinct a.s. In the latter scenario, and following a similar approach to Lambert (Lambert, Ann. Appl. Probab., 2005), we provide the expectation and the Laplace transform of the absorption time, as a functional of the solution to a Ricatti differential equation. In particular, the latter characterises the law of the process coming down from infinity.


title: Natural Hamiltonian formulation of composite higher derivative theories

abstract: If a higher derivative theory arises from a transformation of variables that involves time derivatives, a tailor-made Hamiltonian formulation is shown to exist. The details and advantages of this elegant Hamiltonian formulation, which differs from the usual Ostrogradsky approach to higher derivative theories, are elaborated for mechanical systems and illustrated for simple examples. Both a canonical space and a set of constraints emerge naturally from the transformation rule for the variables. In other words, the setting for quantization and the procedure for eliminating instabilities arise naturally.


title: Chern numbers of uniruled threefolds

abstract: In this paper we show that the Chern numbers of a smooth Mori fibre space in dimension three are bounded in terms of the underlying topological manifold. We also generalise a theorem of Cascini and the second named author on the boundedness of Chern numbers of certain threefolds to the case of negative Kodaira dimension.


title: "Splitting" magnetic catalysis effect prevents vacuum superconductivity in strong magnetic fields

abstract: By comparing the two- and three-flavor Nambu--Jona-Lasinio (NJL) models, we demonstrate that the naively expected vacuum superconductivity (VSC) in constant magnetic field ${\bf B}=B\hat z$ is disfavored due to the splitting magnetic catalysis effect (MCE) to chiral condensates with different quark flavors. Based on the simple two-flavor NJL model, we illuminate, in the lowest Landau level approximation, the similar origins of $\pi^0$ and $\bar{\rho}^+_1$ (${\rho}^+$ meson with spin $S_z=1$) mass reductions with smaller $B$ and their different features at larger $B$. With the full Landau levels, the two-flavor NJL model is found to be invalid to study the magnetic field effect to $\bar{\rho}^+_1$ meson with physical vacuum mass $775~{\rm MeV}$. Then, restricted to $\rho$ meson mass below two-quark threshold in vacuum, that is $m_\rho^v<2m_q^v$, it is found that $\pi^0$ mass decreases and then increases with $B$ slowly, and $\bar{\rho}^+_1$ mass vanishing point is delayed to larger $B$ compared to the point particle result. In the more realistic three-flavor NJL model, all the quark masses split in strong magnetic field as a combinatorial result of their different current masses and electric charges. By choosing a vacuum mass closer to the physical one, $\bar{\rho}^+_1$ meson mass is found to be consistent with the LQCD results semi-quantitatively in smaller $B$ region but increase in larger $B$ region. These features are mainly outcomes of the interplay between the $S_z-B$ coupling effect and splitting MCE to the composite $u$ and $d$ quarks, which definitely disfavors VSC when the latter dominates. Furthermore, mesonic flavor mixing is modified by $B$ among the neutral pseudoscalars: $\pi^0,\eta_0$ and $\eta_8$, which is very important to suppress the mass enhancement of the effective mass eigenstates at large $B$.


title: Semi- and Weakly-supervised Human Pose Estimation

abstract: For human pose estimation in still images, this paper proposes three semi- and weakly-supervised learning schemes. While recent advances of convolutional neural networks improve human pose estimation using supervised training data, our focus is to explore the semi- and weakly-supervised schemes. Our proposed schemes initially learn conventional model(s) for pose estimation from a small amount of standard training images with human pose annotations. For the first semi-supervised learning scheme, this conventional pose model detects candidate poses in training images with no human annotation. From these candidate poses, only true-positives are selected by a classifier using a pose feature representing the configuration of all body parts. The accuracies of these candidate pose estimation and true-positive pose selection are improved by action labels provided to these images in our second and third learning schemes, which are semi- and weakly-supervised learning. While the first and second learning schemes select only poses that are similar to those in the supervised training data, the third scheme selects more true-positive poses that are significantly different from any supervised poses. This pose selection is achieved by pose clustering using outlier pose detection with Dirichlet process mixtures and the Bayes factor. The proposed schemes are validated with large-scale human pose datasets.


title: Pegadas: A Portal for Management and Activities Planning with Games and Environments for Education in Health

abstract: Applications for learning and training have been developed and highlighted as important tools in health education. Despite the several approaches and initiatives, these tools have not been used in an integrated way. The specific skills approached by each application, the absence of a consensus about how to integrate them in the curricula, and the necessity of evaluation tools that standardize their utilization are the main difficulties. Considering these issues, Portal of Games and Environments Management for Designing Activities in Health (Pegadas) was designed and developed as a web portal that offers the services of organizing and sequencing serious games and virtual environments and evaluating the performance of the user in these activities. This article presents the structure of Pegadas, including the proposal of an evaluation model based on learning objectives. The results indicate its potential to collaborate with human resources training from the proposal of the sequencing, allowing a linked composition of activities and providing the reinforcement or complement of tasks and contents in a progressive scale with planned educational objective-based evaluation. These results can contribute to expand the discussions about ways to integrate the use of these applications in health curricula.


title: Unsupervised Emergence of Egocentric Spatial Structure from Sensorimotor Prediction

abstract: Despite its omnipresence in robotics application, the nature of spatial knowledge and the mechanisms that underlie its emergence in autonomous agents are still poorly understood. Recent theoretical works suggest that the Euclidean structure of space induces invariants in an agent's raw sensorimotor experience. We hypothesize that capturing these invariants is beneficial for sensorimotor prediction and that, under certain exploratory conditions, a motor representation capturing the structure of the external space should emerge as a byproduct of learning to predict future sensory experiences. We propose a simple sensorimotor predictive scheme, apply it to different agents and types of exploration, and evaluate the pertinence of these hypotheses. We show that a naive agent can capture the topology and metric regularity of its sensor's position in an egocentric spatial frame without any a priori knowledge, nor extraneous supervision.


title: Forward scattering amplitudes of pp and p\=p with crossing symmetry and scaling properties

abstract: We analyse the pp and p\=p elastic scattering amplitudes using the data of several CERN and FERMILAB experiments, revisiting ideas proposed by Andr\'e Martin based on analytic continuation and crossing symmetry. Introducing a new form for the scaling function together with the analytical forms from COMPETE at $t=0$ we show that the data are consistent with the crossing symmetry of the scattering amplitudes from $\sqrt{s}= $ 23 GeV to 13 TeV for $-t\leq 0.2$ GeV$^{2}$. Analiticity and crossing symmetry automatically satisfy the dispersion relations and their derivatives. The real part reproduces the zero predicted by Martin, which is crucial to describe with precision the differential cross section in the forward range at high energies. Since the free parameters of the model are energy independent, the analytical form of the amplitude allows predictions for intermediate and higher energies.


title: A hybrid analytical-numerical algorithm for determining the neuronal current via EEG

abstract: In this study, the neuronal current in the brain is represented using Helmholtz decomposition. It was shown in earlier work that data obtained via electroencephalography (EEG) are affected only by the irrotational component of the current. The irrotational component is denoted by $\Psi$ and has support in the cerebrum. This inverse problem is severely ill-posed and requires that additional constraints are imposed. Here, we impose the requirement of the minimization of the $L_2$ norm of the current (energy). The function $\Psi$ is expanded in terms of inverse multiquadric radial basis functions (RBF) on a uniform Cartesian grid inside the cerebrum. The minimal energy constraint in conjunction with the RBF parametrization of $\Psi$ results in a Tikhonov regularized solution of $\Psi$. The RBF shape parameter (regularization parameter), is computed by solving a 1-D non-linear maximization problem. Reconstructions are presented using synthetic data with a signal to noise ratio (SNR) of $20$ dB. The root mean square error (RMSE) between the exact and the reconstructed $\Psi$ is RMSE=$0.1122$. The proposed reconstruction algorithm is computationally efficient and can be vectorized in MATLAB.


title: Posterior Variance Analysis of Gaussian Processes with Application to Average Learning Curves

abstract: The posterior variance of Gaussian processes is a valuable measure of the learning error which is exploited in various applications such as safe reinforcement learning and control design. However, suitable analysis of the posterior variance which captures its behavior for finite and infinite number of training data is missing. This paper derives a novel bound for the posterior variance function which requires only local information because it depends only on the number of training samples in the proximity of a considered test point. Furthermore, we prove sufficient conditions which ensure the convergence of the posterior variance to zero. Finally, we demonstrate that the extension of our bound to an average learning bound outperforms existing approaches.


title: Hoeffding decomposition in $H^1$ spaces

abstract: The well known result of Bourgain and Kwapie\'n states that the projection $P_{\leq m}$ onto the subspace of the Hilbert space $L^2\left(\Omega^\infty\right)$ spanned by functions dependent on at most $m$ variables is bounded in $L^p$ with norm $\leq c_p^m$ for $1<p<\infty$. We will be concerned with two kinds of endpoint estimates. We prove that $P_{\leq m}$ is bounded on the space $H^1\left(\mathbb{D}^\infty\right)$ of functions in $L^1\left(\mathbb{T}^\infty\right)$ analytic in each variable. We also prove that $P_{\leq 2}$ is bounded on the martingale Hardy space associated with a natural double-indexed filtration and, more generally, we exhibit a multiple indexed martingale Hardy space which contains $H^1\left(\mathbb{D}^\infty\right)$ as a subspace and $P_{\leq m}$ is bounded on it.


title: Moments of the anisotropic regularized $\kappa$-distributions

abstract: For collisionless (or collision-poor) plasma populations which are well described by the $\kappa$-distribution functions (also known as the Kappa or Lorentzian power-laws) a macroscopic interpretation has remained largely questionable, especially because of the diverging moments of these distributions. Recently significant progress has been made by introducing a generic regularization for the isotropic $\kappa$-distribution, which resolves this critical limitation. Regularization is here applied to the anisotropic forms of $\kappa$-distributions, commonly used to describe temperature anisotropies, and skewed or drifting distributions of beam-plasma systems. These regularized distributions admit non-diverging moments which are provided for all positive $\kappa$, opening promising perspectives for a macroscopic (fluid-like) characterization of non-ideal plasmas.


title: RL4health: Crowdsourcing Reinforcement Learning for Knee Replacement Pathway Optimization

abstract: Joint replacement is the most common inpatient surgical treatment in the US. We investigate the clinical pathway optimization for knee replacement, which is a sequential decision process from onset to recovery. Based on episodic claims from previous cases, we view the pathway optimization as an intelligence crowdsourcing problem and learn the optimal decision policy from data by imitating the best expert at every intermediate state. We develop a reinforcement learning-based pipeline that uses value iteration, state compression and aggregation learning, kernel representation and cross validation to predict the best treatment policy. It also provides forecast of the clinical pathway under the optimized policy. Empirical validation shows that the optimized policy reduces the overall cost by 7 percent and reduces the excessive cost premium by 33 percent.


title: Hypothesis-Driven Skill Discovery for Hierarchical Deep Reinforcement Learning

abstract: Deep reinforcement learning (DRL) is capable of learning high-performing policies on a variety of complex high-dimensional tasks, ranging from video games to robotic manipulation. However, standard DRL methods often suffer from poor sample efficiency, partially because they aim to be entirely problem-agnostic. In this work, we introduce a novel approach to exploration and hierarchical skill learning that derives its sample efficiency from intuitive assumptions it makes about the behavior of objects both in the physical world and simulations which mimic physics. Specifically, we propose the Hypothesis Proposal and Evaluation (HyPE) algorithm, which discovers objects from raw pixel data, generates hypotheses about the controllability of observed changes in object state, and learns a hierarchy of skills to test these hypotheses. We demonstrate that HyPE can dramatically improve the sample efficiency of policy learning in two different domains: a simulated robotic block-pushing domain, and a popular benchmark task: Breakout. In these domains, HyPE learns high-scoring policies an order of magnitude faster than several state-of-the-art reinforcement learning methods.


title: Charge migration in metal-organic frameworks

abstract: Charge transport in two zinc metal-organic frameworks (MOFs) has been investigated using periodic semiempirical molecular orbital calculations with the AM1* Hamiltonian. Restricted Hartree-Fock calculations underestimate the band gap (Koopmans theorem), which however becomes more realistic when the wavefunction is allowed to become unrestricted. Charge-transport simulations using propagation of the electron- or hole-density in imaginary time allow charge-transport paths to be determined, although the calculated mobilities must still be improved. In general, the techniques discussed appear to be useful for investigating electroactive MOFs.


title: Distributed Web browsing: supporting frequent uses and opportunistic requirements

abstract: Nowadays, the development of Web applications supporting distributed user interfaces (DUI) is straightforward. However, it is still hard to find Web sites supporting this kind of user interaction. Although studies on this field have demonstrated that DUI would improve the user experience, users are not massively empowered to manage these kinds of interactions. In this setting, we propose to move the responsibility of distributing both the UI and user interaction, from the application (a Web application) to the client (the Web browser), giving also rise to inter-application interaction distribution. This paper presents a platform for client-side DUI, built on the foundations of Web augmentation and End User Development. The idea is to empower end users to apply an augmentation layer over existing Web applications, considering both frequent use and opportunistic DUI requirements. In this work, we present the architecture and a prototype tool supporting this approach and illustrate the incorporation of some DUI features through case studies.


title: Variational Multiscale Closures for Finite Element Discretizations Using the Mori-Zwanzig Approach

abstract: Simulation of multiscale problems remains a challenge due to the disparate range of spatial and temporal scales and the complex interaction between the resolved and unresolved scales. This work develops a coarse-grained modeling approach for the Continuous Galerkin discretizations by combining the Variational Multiscale decomposition and the Mori-Zwanzig (M-Z) formalism. An appeal of the M-Z formalism is that - akin to Greens functions for linear problems - the impact of unresolved dynamics on resolved scales can be formally represented as a convolution (or memory) integral in a non-linear setting. To ensure tractable and efficient models, Markovian closures are developed for the M-Z memory integral. The resulting sub-scale model has some similarities to adjoint stabilization and orthogonal subscale models. The model is made parameter free by adaptively determining the memory length during the simulation. To illustrate the generalizablity of this model, it is employed in coarse-grained simulations for the one-dimensional Burgers equation and in incompressible turbulence problems.


title: Instability caused by the fermion-fermion interactions combined with rotational and particle-hole asymmetries in three-dimensional materials with quadratic band touching

abstract: We investigate the role of four-fermion interactions, rotational and particle-hole asymmetries, and their interplay in three-dimensional systems with a quadratic band touching point by virtue of the renormalization group approach, which allows to treat all these facets unbiasedly. The coupled flow evolutions of interaction parameters are derived by taking into account one-loop corrections in order to explore the behaviors of low-energy states. We find four-fermion interaction can drive Gaussian fixed points to be unstable in the low-energy regime. In addition, the rotational and particle-hole asymmetries, together with the fermion-fermion interactions conspire to split the trajectories of distinct types of fermionic couplings and induce superconductivity instability with appropriate starting conditions. Furthermore, we present the schematic phase diagrams in the parameter space, showing the overall behaviors of states in the low-energy regime caused by both fermionic interactions and asymmetries.


title: Enhanced parallelization of the incremental 4D-Var data assimilation algorithm using the Randomized Incremental Optimal Technique (RIOT)

abstract: Incremental 4D-Var is a data assimilation algorithm used routinely at operational numerical weather predictions centers worldwide.This paper implements a new method for parallelizing incremental 4D-Var, the Randomized Incremental Optimal Technique (RIOT), which replaces the traditional sequential conjugate gradient (CG) iterations in the inner-loop of the minimization with fully parallel randomized singular value decomposition (RSVD) of the preconditioned Hessian of the cost function. RIOT is tested using the standard Lorenz-96 model (L-96) as well as two realistic high-dimensional atmospheric source inversion problems based on aircraft observations of black carbon concentrations. A new outer-loop preconditioning technique tailored to RSVD was introduced to improve convergence stability and performance. Results obtained with the L-96 system show that the performance improvement from RIOT compared to standard CG algorithms increases significantly with non-linearities. Overall, in the realistic black carbon source inversion experiments, RIOT reduces the wall-time of the 4D-Var minimization by a factor 2-3, at the cost of a factor 4-10 increase in energy cost due to the large number of parallel cores used. Furthermore, RIOT enables reduction of the wall-time computation of the analysis error covariance matrix by a factor 40 compared to a standard iterative Lanczos approach. Finally, as evidenced in this study, implementation of RIOT in an operational numerical weather prediction system will require a better understanding of its convergence properties as a function of the Hessian characteristics and, in particular, the degree of freedom for signal (DOFs) of the inverse problem.

categories: cs.NA math.OC physics.ao-ph physics.comp-ph


title: A finiteness theorem for special unitary groups of quaternionic skew-hermitian forms with good reduction

abstract: Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$ obtained via Morita equivalence. Using this we show that if $(K,V)$ satisfies certain conditions, then the number of $K$-isomorphism classes of the universal coverings of the special unitary groups of quaternionic skew-hermitian forms that have good reduction at all valuations in $V$ is finite and bounded by a value that depends on size of a quotient of the Picard group of $V$ and the size of the kernel and cokernel of residue maps in Galois cohomology of $K$ with finite coefficients. As a corollary we prove a conjecture of Chernousov, Rapinchuk, Rapinchuk for groups of this type.


title: Active Object Manipulation Facilitates Visual Object Learning: An Egocentric Vision Study

abstract: Inspired by the remarkable ability of the infant visual learning system, a recent study collected first-person images from children to analyze the `training data' that they receive. We conduct a follow-up study that investigates two additional directions. First, given that infants can quickly learn to recognize a new object without much supervision (i.e. few-shot learning), we limit the number of training images. Second, we investigate how children control the supervision signals they receive during learning based on hand manipulation of objects. Our experimental results suggest that supervision with hand manipulation is better than without hands, and the trend is consistent even when a small number of images is available.


title: Observability of Forming Planets and their Circumplanetary Disks III. -- Polarized Scattered Light

abstract: There are growing amount of very high-resolution polarized scattered light images of circumstellar disks. Nascent giant planets planets are surrounded by their own circumplanetary disks which may scatter and polarize both the planetary and stellar light. Here we investigate whether we could detect circumplanetary disks with the same technique and what can we learn from such detections. Here we created scattered light mock observations at 1.245 microns (J band) for instruments like SPHERE and GPI, for various planetary masses (0.3, 1.0, 5.0, 10.0 $\rm{M_{Jup}}$), disk inclinations (90, 60, 30, 0 degrees) and planet position angles (0, 45, 90 degrees). We found that the detection of a circumplanetary disk at 50AU from the star is significantly favored if the planet is massive ($\geq 5 \rm{M_{Jup}}$) and the system is nearly face-on ($\leq 30^\circ$). In these cases the accretion shock front on the surface of the circumplanetary disks are strong and bright enough to help the visibility of this subdisk. Its detection is hindered by the neighboring circumstellar disk that also provides a strong polarized flux. However, the comparison between the $PI$ and the $Q_\phi$ maps is a viable tool to pinpoint the presence of the circumplanetary disk within the circumstellar disk, as the two disks are behaving differently on those images.


title: A Comparative Study of Milestones for Featuring GUI Prototyping Tools

abstract: Prototyping is one of the core activities of User-Centered Design (UCD) processes and an integral component of Human-Computer Interaction (HCI) research. For many years, prototyping was synonym of paper-based mockups and only more recently we can say that dedicated tools for supporting prototyping activities really reach the market. In this paper, we propose to analyze the evolution of prototyping tools for supporting the development process of interactive systems. For that, this paper presents a review of the literature. We analyze the tools proposed by academic community as a proof of concepts and/or support to research activities. Moreover, we also analyze prototyping tools that are available in the market. We report our observation in terms of features that appear over time and constitute milestones for understating the evolution of concerns related to the development and use of prototyping tools. This survey covers publications published since 1988 in some of the main HCI conferences and 118 commercial tools available on the web. The results enable a brief comparison of characteristics present in both academic and commercial tools, how they have evolved, and what are the gaps that can provide insights for future research and development.


title: An End-User Development approach for Mobile Web Augmentation

abstract: The trend towards mobile devices usage has put more than ever the Web as a ubiquitous platform where users perform all kind of tasks. In some cases, users access the Web with 'native' mobile applications developed for well-known sites, such as LinkedIn, Facebook, Twitter, etc. These native applications might offer further (e.g. location-based) functionalities to their users in comparison with their corresponding Web sites, because they were developed with mobile features in mind. However, most Web applications have not this native mobile counterpart and users access them using browsers in the mobile device. Users might eventually want to add mobile features on these Web sites even though those features were not supported originally. In this paper we present a novel approach to allow end users to augment their preferred Web sites with mobile features. This end-user approach is supported by a framework for mobile Web augmentation that we describe in the paper. We also present a set of supporting tools and a validation experiment with end users.


title: Identification and Assessment of Software Design Pattern Violations

abstract: The validation of design pattern implementations to identify pattern violations has gained more relevance as part of re-engineering processes in order to preserve, extend, reuse software projects in rapid development environments. If design pattern implementations do not conform to their definitions, they are considered a violation. Software aging and the lack of experience of developers are the origins of design pattern violations. It is important to check the correctness of the design pattern implementations against some predefined characteristics to detect and to correct violations, thus, to reduce costs. Currently, several tools have been developed to detect design pattern instances, but there has been little work done in creating an automated tool to identify and validate design pattern violations. In this paper we propose a Design Pattern Violations Identification and Assessment (DPVIA) tool, which has the ability to identify software design pattern violations and report the conformance score of pattern instance implementations towards a set of predefined characteristics for any design pattern definition whether Gang of Four (GoF) design patterns by Gamma et al[1]; or custom pattern by software developer. Moreover, we have verified the validity of the proposed tool using two evaluation experiments and the results were manually checked. Finally, in order to assess the functionality of the proposed tool, it is evaluated with a data-set containing 5,679,964 Lines of Code among 28,669 in 15 open-source projects, with a large and small size of open-source projects that extensively and systematically employing design patterns, to determine design pattern violations and suggest refactoring solutions, thus keeping costs of software evolution. The results can be used by software architects to develop best practices while using design patterns.


title: Interpreted Execution of Business Process Models on Blockchain

abstract: Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In these approaches, a process model is compiled into one or more smart contracts, which are then deployed on a blockchain platform. Given the immutability of the deployed smart contracts, these compiled approaches ensure that all process instances conform to the process model. However, this advantage comes at the price of inflexibility. Any changes to the process model require the redeployment of the smart contracts (a costly operation). In addition, changes cannot be applied to running process instances. To address this lack of flexibility, this paper presents an interpreter of BPMN process models based on dynamic data structures. The proposed interpreter is embedded in a business process execution system with a modular multi-layered architecture, supporting the creation, execution, monitoring and dynamic update of process instances. For efficiency purposes, the interpreter relies on compact bitmap-based encodings of process models. An experimental evaluation shows that the proposed interpreted approach achieves comparable or lower costs relative to existing compiled approaches.


title: An efficient method for solving highly oscillatory ordinary differential equations with applications to physical systems

abstract: We present a novel numerical routine (oscode) with a C++ and Python interface for the efficient solution of one-dimensional, second-order, ordinary differential equations with rapidly oscillating solutions. The method is based on a Runge-Kutta-like stepping procedure that makes use of the Wentzel-Kramers-Brillouin (WKB) approximation to skip regions of integration where the characteristic frequency varies slowly. In regions where this is not the case, the method is able to switch to a made-to-measure Runge-Kutta integrator that minimises the total number of function evaluations. We demonstrate the effectiveness of the method with example solutions of the Airy equation and an equation exhibiting a burst of oscillations, discussing the error properties of the method in detail. We then show the method applied to physical systems. First, the one-dimensional, time-independent Schr\"odinger equation is solved as part of a shooting method to search for the energy eigenvalues for a potential with quartic anharmonicity. Then, the method is used to solve the Mukhanov-Sasaki equation describing the evolution of cosmological perturbations, and the primordial power spectrum of the perturbations is computed in different cosmological scenarios. We compare the performance of our solver in calculating a primordial power spectrum of scalar perturbations to that of BINGO, an efficient code specifically designed for such applications.

categories: physics.comp-ph astro-ph.CO astro-ph.IM cs.NA math.NA


title: Influence of initial-state momentum anisotropy on the final-state collectivity in small collision systems

abstract: A multi-phase transport model is used to understand the origin of long-range collective azimuthal correlations in small-system collisions. To disentangle between collectivity associated with initial-state intrinsic momentum anisotropy and the collectivity arising as a final-state response to the collision geometry, we studied the development of collectivity in 5.02 TeV $p$+Pb collisions with both initial-state and final-state effects included. We find that the initial momentum anisotropy may not be fully isotropized through parton interactions, and the final-state partonic collectivity in general are correlated with both the initial momentum anisotropy and the shape of the collision geometry. The initial momentum anisotropy also influences the event by event fluctuation of collective flow. Therefore the mere evidence of geometry response of the collective flow can not rule out the presence of large contributions from the initial state.


title: Computation of kinematic and magnetic $\alpha$-effect and eddy diffusivity tensors by Pad\'e approximation

abstract: We present examples of Pad\'e approximation of the $\alpha$-effect and eddy viscosity/diffusivity tensors in various flows. Expressions for the tensors derived in the framework of the standard multiscale formalism are employed. Algebraically the simplest case is that of a two-dimensional parity-invariant six-fold rotation-symmetric flow, where eddy viscosity is negative, indicating intervals of large-scale instability of the flow. Turning to the kinematic dynamo problem for three-dimensional flows of an incompressible fluid, we explore application of Pad\'e approximants for computation of tensors of magnetic $\alpha$-effect and, for parity-invariant flows, of magnetic eddy diffusivity. We construct Pad\'e approximants of the tensors expanded in power series in the inverse molecular diffusivity $1/\eta$ around $1/\eta=0$. This yields the values of the dominant growth rate due to the action of the $\alpha$-effect or eddy diffusivity to satisfactory accuracy for $\eta$, several dozen times smaller than the threshold, above which the power series is convergent. For one sample flow, we observe eddy diffusivity tending to negative infinity when $\eta$ tends from above to the point of the onset of small-scale dynamo action in a symmetry-invariant subspace where a neutral small-scale magnetic mode resides. However, 49 first coefficients in the power series in $1/\eta$ prove insufficient for Pad\'e approximants to reproduce this behaviour. We do computations in Fortran in the standard `double' (real*8) and extended `quadruple' (real*16) precision, as well as perform symbolic calculations in Mathematica.


title: Geometric formalities along the Chern-Ricci flow

abstract: In this paper, we study how the notions of geometric formality according to Kotschick and other geometric formalities adapted to the Hermitian setting evolve under the action of the Chern-Ricci flow on class VII surfaces, including Hopf and Inoue surfaces, and on Kodaira surfaces.


title: Field driven phase transition from semiconductor to half-metallic ferrimagnet of TcO2 uni-cell layer on rutile TiO2(001) surface

abstract: For spintronics applications, it is highly desirable to realize highly-spin-polarized two-dimensional (2D) electron systems in electrically-controllable epitaxial ultrathin films on semiconductor substrates. Through systematic first-principles investigation, we propose the TcO$_2$ uni-cell layer (one-unit-cell thickness) on rutile TiO$_2$ (001) substrate as a semiconductor heterostructure and use electric field to manipulate its electronic and magnetic properties. Our study shows that the heterostructure is a narrow-gap semiconductor with an antiferromagnet-like ordering when the applied electric field is less than 0.026 V/\AA{}, and then it transits to a half-metallic ferrimagnet with 100\% spin polarization. Our further analysis indicates that the magnetization density and the electronic states near the Fermi level originate mainly from the TcO$_2$ uni-cell layer, with the remaining minor part from the interfacial Ti-O$_2$ monolayers, and the bonds and bond angles quickly converge to the corresponding values of bulk TiO$_2$ when crossing the interface and entering the TiO$_2$ layer. Therefore, the heterostructure is actually a 2D electron system determined by the TcO$_2$ uni-cell layer and the TiO$_2$ substrate. Because the half-metallic phase with 100\% spin polarization can be achieved at 0.026 V/\AA{}, this epitaxial 2D electron system should be usable in spintronics applications.


title: Investigation of 3D-Quantized Ring Vortices in Rotating Coupled Atom-Molecular BEC

abstract: We study the coupled atom-molecular quantized ring vortices of 87Rb Bose-Einstein Condensates (BEC) trapped in a rotating three dimensional (3D) anisotropic cylindrical trap both in time independent and time-dependent Gross-Pitaevskii approaches. For atom to molecular conversion and vice-versa two-photon Raman photoassociation scheme has been used. Atomic and molecular stationary state solutions show that the different number of nodes and crests formed in the density profile (as a function of r and z) for different combinations of radial (n) and axial (nz) quantum numbers at a fixed azimuthal quantum number l=2, give rise to different structure around the 3D ring vortex centered at r=0. We have considered both spontaneous and induced decays and compared the results with those without considering the decays. The out of phase oscillation of atomic and molecular numbers in two vortex states both in presence and absence of external decays is the signature of coherence due to the atom-molecular coupling. This coherence is also implemented in the evolution of coupled atomic and molecular vortices. Intensity of molecular ring vortices grows with progress in time in expense of that of atomic ring vortices and vice versa. It is found that the intensity of the coupled atomic and molecular ring vortices starts oscillation out of phase during evolution. Dependence of the atom-molecular conversion efficiency and the lifetime of the system on the laser intensity of photoassociation lasers and the total number of atoms in two different vortex states reveals that formation of atom-molecular coupled vortices and the efficiency of formation can be controlled by varying these parameters. Linear stability analysis of vortex states as a function of different system parameters shows that the atomic vortices are more stable than molecular vortices.


title: Optimal Dynamic Strategies on Gaussian Returns

abstract: Dynamic trading strategies, in the spirit of trend-following or mean-reversion, represent an only partly understood but lucrative and pervasive area of modern finance. Assuming Gaussian returns and Gaussian dynamic weights or signals, (e.g., linear filters of past returns, such as simple moving averages, exponential weighted moving averages, forecasts from ARIMA models), we are able to derive closed-form expressions for the first four moments of the strategy's returns, in terms of correlations between the random signals and unknown future returns. By allowing for randomness in the asset-allocation and modelling the interaction of strategy weights with returns, we demonstrate that positive skewness and excess kurtosis are essential components of all positive Sharpe dynamic strategies, which is generally observed empirically; demonstrate that total least squares (TLS) or orthogonal least squares is more appropriate than OLS for maximizing the Sharpe ratio, while canonical correlation analysis (CCA) is similarly appropriate for the multi-asset case; derive standard errors on Sharpe ratios which are tighter than the commonly used standard errors from Lo; and derive standard errors on the skewness and kurtosis of strategies, apparently new results. We demonstrate these results are applicable asymptotically for a wide range of stationary time-series.


title: A Dynamical System-based Key Equation for Decoding One-Point Algebraic-Geometry Codes

abstract: A closer look at linear recurring sequences allowed us to define the multiplication of a univariate polynomial and a sequence, viewed as a power series with another variable, resulting in another sequence. Extending this operation, one gets the multiplication of matrices of multivariate polynomials and vectors of powers series. A dynamical system, according to U. Oberst is then the kernel of the linear mapping of modules defined by a polynomial matrix by this operation. Applying these tools in the decoding of the so-called one point algebraic-geometry codes, after showing that the syndrome array, which is the general transform of the error in a received word is a linear recurring sequence, we construct a dynamical system. We then prove that this array is the solution of Cauchy's homogeneous equations with respect to the dynamical system. The aim of the Berlekamp-Massey-Sakata Algorithm in the decoding process being the determination of the syndrome array, we have proved that in fact, this algorithm solves the Cauchy's homogeneous equations with respect to a dynamical system.


title: Tuning spin filtering by anchoring groups in benzene derivative molecular junctions

abstract: One of the important issues of molecular spintronics is the control and manipulation of charge transport and, in particular, its spin polarization through single-molecule junctions. Using $ab$ $initio$ calculations, we explore spin-polarized electron transport across single benzene derivatives attached with six different anchoring groups (S, CH$_3$S, COOH, CNH$_2$NH, NC and NO$_2$) to Ni(111) electrodes. We find that molecule-electrode coupling, conductance and spin polarization (SP) of electric current can be modified significantly by anchoring groups. In particular, a high spin polarization (SP $>$ 80%) and a giant magnetoresistance (MR $>$ 140%) can be achieved for NO$_2$ terminations and, more interestingly, SP can be further enhanced (up to 90%) by a small voltage. The S and CH$_3$S systems, on the contrary, exhibit rather low SP while intermediate values are found for COOH and CNH$_2$NH groups. The results are analyzed in detail and explained by orbital symmetry arguments, hybridization and spatial localization of frontier molecular orbitals. We hope that our comparative and systematic studies will provide valuable quantitative information for future experimental measurements on that kind of systems and will be useful for designing high-performance spintronics devices.


title: Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education

abstract: Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can be addressed by academia with a thoughtful plan of teaching and practise. The user study detailed in this paper is examining AutoProof tool with the motivation to identify complexities attributed to formal methods. Participants' (students of Masters program in Computer Science) performance and feedback on the experience with formal methods assisted us in extracting specific problem areas that effect tool usability. The study results infer, along with improvements in verification tool functionalities, teaching program must be modified to include pre-requisite courses to make formal methods easily adapted by students and promoting their usage in software development process.


title: Regularizing Black-box Models for Improved Interpretability (HILL 2019 Version)

abstract: Most of the work on interpretable machine learning has focused on designing either inherently interpretable models, which typically trade-off accuracy for interpretability, or post-hoc explanation systems, which lack guarantees about their explanation quality. We propose an alternative to these approaches by directly regularizing a black-box model for interpretability at training time. Our approach explicitly connects three key aspects of interpretable machine learning: (i) the model's innate explainability, (ii) the explanation system used at test time, and (iii) the metrics that measure explanation quality. Our regularization results in substantial improvement in terms of the explanation fidelity and stability metrics across a range of datasets and black-box explanation systems while slightly improving accuracy. Further, if the resulting model is still not sufficiently interpretable, the weight of the regularization term can be adjusted to achieve the desired trade-off between accuracy and interpretability. Finally, we justify theoretically that the benefits of explanation-based regularization generalize to unseen points.


title: Knowledge-augmented Column Networks: Guiding Deep Learning with Advice

abstract: Recently, deep models have had considerable success in several tasks, especially with low-level representations. However, effective learning from sparse noisy samples is a major challenge in most deep models, especially in domains with structured representations. Inspired by the proven success of human guided machine learning, we propose Knowledge-augmented Column Networks, a relational deep learning framework that leverages human advice/knowledge to learn better models in presence of sparsity and systematic noise.


title: Hamilton cycles in random graphs with minimum degree at least 3: an improved analysis

abstract: In this paper we consider the existence of Hamilton cycles in the random graph $G=G_{n,m}^{\delta\geq 3}$. This a random graph chosen uniformly from the set of graphs with vertex set $[n]$, $m$ edges and minimum degree at least 3. Our ultimate goal is to prove that if $m=cn$ and $c>3/2$ is constant then $G$ is Hamiltonian w.h.p. In an earlier paper the second author showed that $c\geq 10$ is sufficient for this and in this paper we reduce the lower bound to $c>2.662...$. This new lower bound is the same lower bound found in Frieze and Pittel \cite{FP} for the expansion of so-called P\'osa sets.


title: Sampled-Data Control of the Stefan System

abstract: This paper presents results for the sampled-data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled-data control for the one-phase Stefan problem by assuming that the solid phase temperature is maintained at the equilibrium melting temperature. We apply Zero-Order-Hold (ZOH) to the nominal continuous-time control law developed in [23] which is designed to drive the liquid-solid interface position to a desired setpoint. Provided that the control gain is bounded by the inverse of the upper diameter of the sampling schedule, we prove that the closed-loop system under the sampled-data control law satisfies some conditions required to validate the physical model, and the system's origin is globally exponentially stable in the spatial $L_2$ norm. Analogous results for the two-phase Stefan problem which incorporates the dynamics of both liquid and solid phases with moving interface position are obtained by applying the proposed procedure to the nominal control law for the two-phase problem developed in [30]. Numerical simulation illustrates the desired performance of the control law implemented to vary at each sampling time and keep constant during the period.


title: Incorporating System-Level Objectives into Recommender Systems

abstract: One of the most essential parts of any recommender system is personalization-- how acceptable the recommendations are from the user's perspective. However, in many real-world applications, there are other stakeholders whose needs and interests should be taken into account. In this work, we define the problem of multistakeholder recommendation and we focus on finding algorithms for a special case where the recommender system itself is also a stakeholder. In addition, we will explore the idea of incremental incorporation of system-level objectives into recommender systems over time to tackle the existing problems in the optimization techniques which only look for optimizing the individual users' lists.


title: Experimental Demonstration of Force Driven Quantum Harmonic Oscillator in IBM Quantum Computer

abstract: Though algorithms for quantum simulation of Quantum Harmonic Oscillator (QHO) have been proposed, still they have not yet been experimentally verified. Here, for the first time, we demonstrate a quantum simulation of QHO in the presence of both time-varying and constant force field for both one and two dimensional case. New quantum circuits are developed to simulate both the one and two-dimensional QHO and are implemented on the real quantum chip "ibmqx4". Experimental data, clearly illustrating the dynamics of QHO in the presence of time-dependent force field, are presented in graphs for different frequency parameters in the Hamiltonian picture.


title: On the Efficiency of Entropic Regularized Algorithms for Optimal Transport

abstract: We present several new complexity results for the entropic regularized algorithms that approximately solve the optimal transport (OT) problem between two discrete probability measures with at most $n$ atoms. First, we improve the complexity bound of a greedy variant of Sinkhorn, known as \textit{Greenkhorn}, from $\widetilde{O}(n^2\varepsilon^{-3})$ to $\widetilde{O}(n^2\varepsilon^{-2})$. Notably, our result can match the best known complexity bound of Sinkhorn and help clarify why Greenkhorn significantly outperforms Sinkhorn in practice in terms of row/column updates as observed by~\citet{Altschuler-2017-Near}. Second, we propose a new algorithm, which we refer to as \textit{APDAMD} and which generalizes an adaptive primal-dual accelerated gradient descent (APDAGD) algorithm~\citep{Dvurechensky-2018-Computational} with a prespecified mirror mapping $\phi$. We prove that APDAMD achieves the complexity bound of $\widetilde{O}(n^2\sqrt{\delta}\varepsilon^{-1})$ in which $\delta>0$ stands for the regularity of $\phi$. In addition, we show by a counterexample that the complexity bound of $\widetilde{O}(\min\{n^{9/4}\varepsilon^{-1}, n^2\varepsilon^{-2}\})$ proved for APDAGD before is invalid and give a refined complexity bound of $\widetilde{O}(n^{5/2}\varepsilon^{-1})$. Further, we develop a \textit{deterministic} accelerated variant of Sinkhorn via appeal to estimated sequence and prove the complexity bound of $\widetilde{O}(n^{7/3}\varepsilon^{-4/3})$. As such, we see that accelerated variant of Sinkhorn outperforms Sinkhorn and Greenkhorn in terms of $1/\varepsilon$ and APDAGD and accelerated alternating minimization (AAM)~\citep{Guminov-2021-Combination} in terms of $n$. Finally, we conduct the experiments on synthetic and real data and the numerical results show the efficiency of Greenkhorn, APDAMD and accelerated Sinkhorn in practice.


title: On Singular Points and Oscillatory Integrals

abstract: In this note, we generalize the Fresnel integrals using oscillatory integral, and then we obtain an extention of the stationary phase method.


title: Exponentially small splitting of separatrices associated to 3D whiskered tori with cubic frequencies

abstract: We study the splitting of invariant manifolds of whiskered (hyperbolic) tori with three frequencies in a nearly-integrable Hamiltonian system, whose hyperbolic part is given by a pendulum. We consider a 3-dimensional torus with a fast frequency vector $\omega/\sqrt\varepsilon$, with $\omega=(1,\Omega,\widetilde\Omega)$ where $\Omega$ is a cubic irrational number whose two conjugates are complex, and the components of $\omega$ generate the field $\mathbb Q(\Omega)$. A paradigmatic case is the cubic golden vector, given by the (real) number $\Omega$ satisfying $\Omega^3=1-\Omega$, and $\widetilde\Omega=\Omega^2$. For such 3-dimensional frequency vectors, the standard theory of continued fractions cannot be applied, so we develop a methodology for determining the behavior of the small divisors $\langle k,\omega\rangle$, $k\in{\mathbb Z}^3$. Applying the Poincar\'e-Melnikov method, this allows us to carry out a careful study of the dominant harmonic (which depends on $\varepsilon$) of the Melnikov function, obtaining an asymptotic estimate for the maximal splitting distance, which is exponentially small in $\varepsilon$, and valid for all sufficiently small values of~$\varepsilon$. This estimate behaves like $\exp\{-h_1(\varepsilon)/\varepsilon^{1/6}\}$ and we provide, for the first time in a system with 3 frequencies, an accurate description of the (positive) function $h_1(\varepsilon)$ in the numerator of the exponent, showing that it can be explicitly constructed from the resonance properties of the frequency vector $\omega$, and proving that it is a quasiperiodic function (and not periodic) with respect to $\ln\varepsilon$. In this way, we emphasize the strong dependence of the estimates for the splitting on the arithmetic properties of the frequencies.


title: Tracing Antisemitic Language Through Diachronic Embedding Projections: France 1789-1914

abstract: We investigate some aspects of the history of antisemitism in France, one of the cradles of modern antisemitism, using diachronic word embeddings. We constructed a large corpus of French books and periodicals issues that contain a keyword related to Jews and performed a diachronic word embedding over the 1789-1914 period. We studied the changes over time in the semantic spaces of 4 target words and performed embedding projections over 6 streams of antisemitic discourse. This allowed us to track the evolution of antisemitic bias in the religious, economic, socio-politic, racial, ethic and conspiratorial domains. Projections show a trend of growing antisemitism, especially in the years starting in the mid-80s and culminating in the Dreyfus affair. Our analysis also allows us to highlight the peculiar adverse bias towards Judaism in the broader context of other religions.


title: Regge pole description of scattering of gravitational waves by a Schwarzschild black hole

abstract: We revisit the problem of plane monochromatic gravitational waves impinging upon a Schwarzschild black hole using complex angular momentum techniques. By extending our previous study concerning scalar and electromagnetic waves [A. Folacci and M. Ould El Hadj, Phys.\, Rev.\, D {\bf 99}, 104079, (2019), arXiv:1901.03965], we provide complex angular momentum representations and Regge pole approximations of the helicity-preserving and helicity-reversing scattering amplitudes and of the total differential scattering cross section. We show, in particular, that for high frequencies (i.e., in the short-wavelength regime), a small number of Regge poles permits us to describe numerically with very good agreement the black hole glory and the orbiting oscillations and we then provide a semiclassical approximation that unifies these two phenomena.


title: Anatomy of $B_s \to PP $ decays and effects of the next-to-leading order contributions in the perturbative QCD approach

abstract: By employing the perturbative QCD (PQCD) factorization approach, we made a systematic investigation for the CP-averaged branching ratios and the CP-violating asymmetries of the thirteen $\bar{B}^0_s \to PP $ decays ( here $P=(\pi,K, \eta, \eta^{\prime})$) with the inclusion of all currently known next-to-leading order (NLO) contributions, and compared our results with the measured values or the theoretical predictions from other different approaches. We focused on the examination of the effects of the NLO contributions and found the following points: (a) for $\bar{B}_s^0 \to (K^0 \bar{K}^0, K^+ K^-, \eta^\prime \eta^\prime,\pi^- K^+)$ decays, the NLO contributions can provide a $(40-150) \%$ enhancement or a $20\%$ reduction to the corresponding leading order (LO) PQCD predictions for their decay rates and result in a much better agreement between the PQCD predictions and the experimental measurements; (b) for the pure annihilation decay $\bar{B}_s^0 \to \pi^+\pi^-$, the PQCD prediction still remain consistent with the data after the inclusion of the small NLO reduction; (c) the PQCD predictions for the ratio $(f_s/f_d)\cdot {\cal B}(B_s^0\to \pi^+\pi^-)/{\cal B}(B^0\to K^+\pi^-)$ and $(f_s/f_d)\cdot {\cal B}(B_s^0\to \pi^+ K^-)/{\cal B}(B^0\to K^+\pi^-)$ become agree very well with the measured ones after the inclusion of a $40\%$ NLO reduction; (d) for $\bar{B}_s^0 \to K^+ K^-$ and $\bar{B}_s^0 \to \pi^- K^+$ decays, the NLO PQCD predictions for their CP-violating asymmetries do agree very well with the measured values in both the sign and the magnitude; and (e) for all $\bar{B}_s^0 \to P P$ decays, we also compared our results with those obtained in the QCD factorization approach and soft-collinear effective theory and discussed their similarities and differences.


title: Fluctuation of the background sky in the Hubble Extremely Deep Field (XDF) and its origin

abstract: We performed a fluctuation analysis of the Hubble Extremely Deep Field (XDF) at four optical wavelength bands and found large fluctuations that are significantly brighter than those expected for ordinary galaxies. Good cross-correlations with flat spectra are found down to 0.2 arcsec, indicating the existence of a spatial structure even at the 0.2 arcsec scale. The detected auto and cross-correlations provide a lower limit of 24 nW m$^{-2}$ sr$^{-1}$ for the absolute sky brightness at 700-900 nm, which is consistent with previous observations. We searched for candidate objects to explain the detected large fluctuation using the catalog of the Hubble Ultra Deep Field (UDF), and found that the surface number density of faint compact objects (FCOs) rapidly increases toward the faint end. Radial profiles of FCOs are indistinguishable from the PSF, and the effective radius based on de Vaucouleur's law is estimated to be smaller than 0.02 arcsec. The SEDs of FCOs follow a power law at optical wavelengths, but show greater emission and structure at $\lambda$ > 1 $\mu$m. Assuming that the FCOs are the cause of the excess brightness and fluctuations, the faint magnitude limit is 34.9 mag for the F775W band, and the surface number density reaches $2.6 \times 10^3$ (arcsec)$^{-2}$. Recent gamma-ray observations require that the redshift of FCOs must be less than 0.1, if FCOs are the origin of the excess optical and infrared background. Assuming that FCOs consist of missing baryons, the mass and luminosity of a single FCO range from $10^{2}$ to 1$0^{3}$ solar units, and mass-to-luminosity ratio is significantly lower than 1.0 solar unit. The maximum effective radius of an FCO is 4.7 pc. These results and the good correlation between near-infrared and X-ray background indicate that FCOs could be powered by the gravitational energy associated with black holes.


title: Heterogeneous Gaussian Mechanism: Preserving Differential Privacy in Deep Learning with Provable Robustness

abstract: In this paper, we propose a novel Heterogeneous Gaussian Mechanism (HGM) to preserve differential privacy in deep neural networks, with provable robustness against adversarial examples. We first relax the constraint of the privacy budget in the traditional Gaussian Mechanism from (0, 1] to (0, \infty), with a new bound of the noise scale to preserve differential privacy. The noise in our mechanism can be arbitrarily redistributed, offering a distinctive ability to address the trade-off between model utility and privacy loss. To derive provable robustness, our HGM is applied to inject Gaussian noise into the first hidden layer. Then, a tighter robustness bound is proposed. Theoretical analysis and thorough evaluations show that our mechanism notably improves the robustness of differentially private deep neural networks, compared with baseline approaches, under a variety of model attacks.


title: Lagrangian tens of planes, Enriques surfaces and holomorphic symplectic fourfolds

abstract: The Fano models of Enriques surfaces produce a family of tens of mutually intersecting planes in $\mathbf P^5$ with a $10$-dimensional moduli space. The latter is linked to several 10-dimensional moduli spaces parametrizing other types of objects: a) cubic fourfolds containing the tens of planes, b) Beauville--Donagi holomorphically symplectic fourfolds, and c) double EPW sextics. The varieties in b) parametrize lines on cubic fourfolds from a). The double EPW sextics are associated, via O'Grady's construction, to Lagrangian subspaces of the Pl\"ucker space of the Grassmannian $Gr(2,\mathbf P^5)$ spanned by 10 mutually intersecting planes in $\mathbf P^5$. These links imply the irreducibility of the moduli space of supermarked Enriques surfaces, where a supermarking is a choice of a minimal generating system of the Picard group of the surface. Also some results are obtained on the variety of tens of mutually intersecting planes, not necessarily associated to Fano models of Enriques surfaces.


title: Chaos and mixing in self-propelled droplets

abstract: We consider self-propelled droplets which are driven by internal flow. Tracer particles, which are advected by the flow, in general follow chaotic trajectories, even though the motion of the autonomous swimmer is completely regular. The flow is mixing, and for P\'{e}clet and Batchelor numbers, which are realized e.g. in eucaryotic cells, advective mixing can substantially accelerate and even dominate transport by diffusion.


title: Adiabatic Sensing Enhanced by Quantum Criticality

abstract: We propose an optimal method exploiting second order quantum phase transitions to perform high precision measurements of the control parameter at criticality. Our approach accesses the high fidelity susceptibility via the measurement of first- and second-moments of the order parameter and overcomes the difficulties of existing methods based on the overlap between nearby quantum states, which is hardly detectable in many-body systems. We experimentally demonstrate the feasibility of the method with a Bose-Einstein condensate undergoing a symmetry-breaking quantum phase transition as a function of the attractive inter-particle interaction strength. Our moment-based fidelity susceptibility shows a clear peak that, at the same time, detects the quantum critical point at finite temperature without any model-dependent fit to the data and certifies high sensitivity in parameter-estimation.


title: Weighted and multivariate Johnson--Schechtman inequalities with application to interpolation theory

abstract: We prove a weighted version of a classical inequality of Johnson and Schechtman from which we derive a decomposition theorem for $p$-th moments ($0<p\leq 1$) of nonnegative generalized $U$-statistics with constant not dependent on $p$. In particular, for $1\leq p\leq 2$, the norm in the subspace $U^p_{\leq m}\left(\Omega^\infty\right)$ of $L^p\left(\Omega^\infty\right)$ spanned by functions dependent on at most $m$ variables is equivalent to the norm in a suitable interpolation sum of $L^p\left(L^2\right)$ spaces. As a consequence, we obtain some interpolation properties of $U^1_m\left(\Omega^\infty,\ell^p\right)$ that are known to imply cotype 2 of $L^1/U_{\leq m}^1\left(\Omega^\infty\right)$.


title: Generalized Expected Discounted Penalty Function at General Drawdown for L\'{e}vy Risk Processes

abstract: This paper considers an insurance surplus process modeled by a spectrally negative L\'{e}vy process. Instead of the time of ruin in the traditional setting, we apply the time of drawdown as the risk indicator in this paper. We study the joint distribution of the time of drawdown, the running maximum at drawdown, the last minimum before drawdown, the surplus before drawdown and the surplus at drawdown (may not be deficit in this case), which generalizes the known results on the classical expected discounted penalty function in Gerber and Shiu (1998). The results have semi-explicit expressions in terms of the $q$-scale functions and the L\'{e}vy measure associated with the L\'{e}vy process. As applications, the obtained result is applied to recover results in the literature and to obtain new results for the Gerber-Shiu function at ruin for risk processes embedded with a loss-carry-forward taxation system or a barrier dividend strategy. Moreover, numerical examples are provided to illustrate the results.


title: A Fast-Optimal Guaranteed Algorithm For Learning Sub-Interval Relationships in Time Series

abstract: Traditional approaches focus on finding relationships between two entire time series, however, many interesting relationships exist in small sub-intervals of time and remain feeble during other sub-intervals. We define the notion of a sub-interval relationship (SIR) to capture such interactions that are prominent only in certain sub-intervals of time. To that end, we propose a fast-optimal guaranteed algorithm to find most interesting SIR relationship in a pair of time series. Lastly, we demonstrate the utility of our method in climate science domain based on a real-world dataset along with its scalability scope and obtain useful domain insights.


title: Weak-coupling to unitarity crossover in Bose-Fermi mixtures: Mixing-demixing and spontaneous symmetry breaking in trapped systems

abstract: The usual treatment of a Bose-Fermi mixture relies on weak-coupling Gross-Pitaevskii (GP) and density-functional (DF) Lagrangians, often including the more realistic {perturbative} Lee-Huang-Yang (LHY) corrections. We suggest analytic {non-perturbative} beyond-mean-field Bose and Fermi Lagrangians valid along the crossover from weak- to strong-coupling limits of intra-species interactions consistent with the LHY corrections and the strong-coupling (unitarity) limit for small and large scattering lengths $|a|$, respectively, and use these to study the Bose-Fermi mixture. We study numerically mixing-demixing and spontaneous symmetry breaking in Bose-Fermi mixtures in spherically-symmetric and quasi-one-dimensional traps while the intra-species Bose and Fermi interactions are varied from weak-coupling to strong-coupling limits.The LHY correction is appropriate for medium to weak atomic interactions and diverges for stronger interactions (large scattering length $|a|$), whereas the present beyond-mean-field Lagrangian is finite in the unitarity limit ($|a|\to \infty$). We illustrate our results using the Bose-Fermi $^7$Li-$^6$Li mixture under a spherically-symmetric and a quasi-one-dimensional trap. The results obtained with the present model for density distribution of the Bose-Fermi mixture along the crossover could be qualitatively different from the usual GP-DF Lagrangian with or without LHY corrections. Specifically, we identified spontaneous symmetry breaking and demixing in the present model not found in the usual model with the same values of the parameters.


title: Reconstruct and Represent Video Contents for Captioning via Reinforcement Learning

abstract: In this paper, the problem of describing visual contents of a video sequence with natural language is addressed. Unlike previous video captioning work mainly exploiting the cues of video contents to make a language description, we propose a reconstruction network (RecNet) in a novel encoder-decoder-reconstructor architecture, which leverages both forward (video to sentence) and backward (sentence to video) flows for video captioning. Specifically, the encoder-decoder component makes use of the forward flow to produce a sentence description based on the encoded video semantic features. Two types of reconstructors are subsequently proposed to employ the backward flow and reproduce the video features from local and global perspectives, respectively, capitalizing on the hidden state sequence generated by the decoder. Moreover, in order to make a comprehensive reconstruction of the video features, we propose to fuse the two types of reconstructors together. The generation loss yielded by the encoder-decoder component and the reconstruction loss introduced by the reconstructor are jointly cast into training the proposed RecNet in an end-to-end fashion. Furthermore, the RecNet is fine-tuned by CIDEr optimization via reinforcement learning, which significantly boosts the captioning performance. Experimental results on benchmark datasets demonstrate that the proposed reconstructor can boost the performance of video captioning consistently.


title: MUSICNTWRK: data tools for music theory, analysis and composition

abstract: We present the API for MUSICNTWRK, a python library for pitch class set and rhythmic sequences classification and manipulation, the generation of networks in generalized music and sound spaces, deep learning algorithms for timbre recognition, and the sonification of arbitrary data. The software is freely available under GPL 3.0 and can be downloaded at www.musicntwrk.com or installed as a PyPi project (pip install musicntwrk).


title: Voice Mimicry Attacks Assisted by Automatic Speaker Verification

abstract: In this work, we simulate a scenario, where a publicly available ASV system is used to enhance mimicry attacks against another closed source ASV system. In specific, ASV technology is used to perform a similarity search between the voices of recruited attackers (6) and potential target speakers (7,365) from VoxCeleb corpora to find the closest targets for each of the attackers. In addition, we consider 'median', 'furthest', and 'common' targets to serve as a reference points. Our goal is to gain insights how well similarity rankings transfer from the attacker's ASV system to the attacked ASV system, whether the attackers are able to improve their attacks by mimicking, and how the properties of the voices of attackers change due to mimicking. We address these questions through ASV experiments, listening tests, and prosodic and formant analyses. For the ASV experiments, we use i-vector technology in the attacker side, and x-vectors in the attacked side. For the listening tests, we recruit listeners through crowdsourcing. The results of the ASV experiments indicate that the speaker similarity scores transfer well from one ASV system to another. Both the ASV experiments and the listening tests reveal that the mimicry attempts do not, in general, help in bringing attacker's scores closer to the target's. A detailed analysis shows that mimicking does not improve attacks, when the natural voices of attackers and targets are similar to each other. The analysis of prosody and formants suggests that the attackers were able to considerably change their speaking rates when mimicking, but the changes in F0 and formants were modest. Overall, the results suggest that untrained impersonators do not pose a high threat towards ASV systems, but the use of ASV systems to attack other ASV systems is a potential threat.


title: Algorithmically generating new algebraic features of polynomial systems for machine learning

abstract: There are a variety of choices to be made in both computer algebra systems (CASs) and satisfiability modulo theory (SMT) solvers which can impact performance without affecting mathematical correctness. Such choices are candidates for machine learning (ML) approaches, however, there are difficulties in applying standard ML techniques, such as the efficient identification of ML features from input data which is typically a polynomial system. Our focus is selecting the variable ordering for cylindrical algebraic decomposition (CAD), an important algorithm implemented in several CASs, and now also SMT-solvers. We created a framework to describe all the previously identified ML features for the problem and then enumerated all options in this framework to automatically generation many more features. We validate the usefulness of these with an experiment which shows that an ML choice for CAD variable ordering is superior to those made by human created heuristics, and further improved with these additional features. We expect that this technique of feature generation could be useful for other choices related to CAD, or even choices for other algorithms with polynomial systems for input.


title: Complementary Intermittently Nonlinear Filtering for Mitigation of Hidden Outlier Interference

abstract: When interference affecting various communication and sensor systems contains clearly identifiable outliers (e.g. an impulsive component), it can be efficiently mitigated in real time by intermittently nonlinear filters developed in our earlier work, achieving improvements in the signal quality otherwise unattainable. However, apparent amplitude outliers in the interference can disappear and reappear due to various filtering effects, including fading and multipass, as the signal propagates through media and/or the signal processing chain. In addition, the outlier structure of the interference can be obscured by strong non-outlier interfering signals, such as thermal noise and/or adjacent channel interference, or by the signal of interest itself. In this paper, we first outline the overall approach to using intermittently nonlinear filters for in-band, real-time mitigation of such interference with hidden outlier components in practical complex interference scenarios. We then introduce Complementary Intermittently Nonlinear Filters (CINFs) and focus on the particular task of mitigating the outlier noise obscured by the signal of interest itself. We describe practical implementations of such nonlinear filtering arrangements for mitigation of hidden outlier interference, in the process of analog-to-digital conversion, for wide ranges of interference powers and the rates of outlier generating events. To emphasize the effectiveness and versatility of this approach, in our examples we use particularly challenging waveforms that severely obscure low-amplitude outlier noise, such as broadband chirp signals (e.g. used in radar, sonar, and spread-spectrum communications) and ``bursty," high crest factor signals (e.g. OFDM).


title: Tilting Modules Over Gorensetein $T_n^d$-Injective Gorensetein $T_n^d$-flat Modules

abstract: Let T be a tilting module.In this paper, some relative Gorenstein projective and Gortenstein injective modules are studied.


title: Inverse Radon transform at work

abstract: The inverse Radon transform allows to obtain partonic double distributions from (extended) generalized parton distributions. We express the extension of generalized parton distributions by their dual parts, generalized distribution amplitudes and study some aspects of the filtered backprojection (inverse Radon transform). We also show that single integral transforms, previously obtained in the context of wave function overlap representation, are valid for generalized parton distributions that do not possess such a representation. Utilizing Radyushkin`s double distribution ansatz, we study and compare the numerical evaluation of double distributions within the filtered backprojection and single integral transforms along the imaginary and real axes.


title: Theory for diffusive and ballistic air leakage and its application to suction cups

abstract: We have developed a theory of air leakage at interfaces between two elastic solids with application to suction cups in contact with randomly rough surfaces. We present an equation for the airflow in narrow constrictions which interpolate between the diffusive and ballistic (Knudsen) air-flow limits. To test the theory we performed experiments using two different suction cups, made from soft polyvinylchloride (PVC), in contact with sandblasted polymethylmethacrylate (PMMA) plates. We found that the measured time to detatch (lifetime) of suction cups were in good agreement with theory, except for surfaces with the root-mean-square (rms) roughness below $\approx 1 \ {\rm \mu m}$, where diffusion of plasticizer from the PVC to the PMMA surface caused blockage of critical constrictions. Suction cup volume, stiffness and elastic modulus have a huge influence on the air leakage and hence the failure time of the cups. Based on our research we propose an improved biomimetic design of suction cups, that could show improved failure times in varying degree of roughness under dry and wet environments.