title: Learning to Balance: Bayesian Meta-Learning for Imbalanced and Out-of-distribution Tasks

abstract: While tasks could come with varying the number of instances and classes in realistic settings, the existing meta-learning approaches for few-shot classification assume that the number of instances per task and class is fixed. Due to such restriction, they learn to equally utilize the meta-knowledge across all the tasks, even when the number of instances per task and class largely varies. Moreover, they do not consider distributional difference in unseen tasks, on which the meta-knowledge may have less usefulness depending on the task relatedness. To overcome these limitations, we propose a novel meta-learning model that adaptively balances the effect of the meta-learning and task-specific learning within each task. Through the learning of the balancing variables, we can decide whether to obtain a solution by relying on the meta-knowledge or task-specific learning. We formulate this objective into a Bayesian inference framework and tackle it using variational inference. We validate our Bayesian Task-Adaptive Meta-Learning (Bayesian TAML) on multiple realistic task- and class-imbalanced datasets, on which it significantly outperforms existing meta-learning approaches. Further ablation study confirms the effectiveness of each balancing component and the Bayesian learning framework.


title: Joint eigenfunctions for the relativistic Calogero-Moser Hamiltonians of hyperbolic type. III. Factorized asymptotics

abstract: In the two preceding parts of this series of papers, we introduced and studied a recursion scheme for constructing joint eigenfunctions $J_N(a_+, a_-,b;x,y)$ of the Hamiltonians arising in the integrable $N$-particle systems of hyperbolic relativistic Calogero-Moser type. We focused on the first steps of the scheme in Part I, and on the cases $N=2$ and $N=3$ in Part II. In this paper, we determine the dominant asymptotics of a similarity transformed function $\rE_N(b;x,y)$ for $y_j-y_{j+1}\to\infty$, $j=1,\ldots, N-1$, and thereby confirm the long standing conjecture that the particles in the hyperbolic relativistic Calogero-Moser system exhibit soliton scattering. This result generalizes a main result in Part II to all particle numbers $N>3$.


title: Positive scalar curvature on foliations: the noncompact case

abstract: Let $(M,g^{TM})$ be a noncompact (not necessarily complete) enlargeable Riemannian manifold in the sense of Gromov-Lawson and $F$ an integrable subbundle of $T M$ . Let $k^F$ be the leafwise scalar curvature associated to $g^F=g^{TM}|_F$. We show that if either $TM$ or $F$ is spin, then ${\rm inf}(k^F)\leq 0$. This generalizes the famous result of Gromov-Lawson on enlargeable manifolds to the case of foliations. It also extends an ansatz of Gromov on hyper-Euclidean spaces to general enlargeable Riemannian manifolds, as well as recent results on compact enlargeable foliated manifolds due to Benameur-Heitsch et al to the noncompact situation.


title: Bayesian Grasp: Robotic visual stable grasp based on prior tactile knowledge

abstract: Robotic grasp detection is a fundamental capability for intelligent manipulation in unstructured environments. Previous work mainly employed visual and tactile fusion to achieve stable grasp, while, the whole process depending heavily on regrasping, which wastes much time to regulate and evaluate. We propose a novel way to improve robotic grasping: by using learned tactile knowledge, a robot can achieve a stable grasp from an image. First, we construct a prior tactile knowledge learning framework with novel grasp quality metric which is determined by measuring its resistance to external perturbations. Second, we propose a multi-phases Bayesian Grasp architecture to generate stable grasp configurations through a single RGB image based on prior tactile knowledge. Results show that this framework can classify the outcome of grasps with an average accuracy of 86% on known objects and 79% on novel objects. The prior tactile knowledge improves the successful rate of 55% over traditional vision-based strategies.


title: Quantifying the Alignment of Graph and Features in Deep Learning

abstract: We show that the classification performance of graph convolutional networks (GCNs) is related to the alignment between features, graph, and ground truth, which we quantify using a subspace alignment measure (SAM) corresponding to the Frobenius norm of the matrix of pairwise chordal distances between three subspaces associated with features, graph, and ground truth. The proposed measure is based on the principal angles between subspaces and has both spectral and geometrical interpretations. We showcase the relationship between the SAM and the classification performance through the study of limiting cases of GCNs and systematic randomizations of both features and graph structure applied to a constructive example and several examples of citation networks of different origins. The analysis also reveals the relative importance of the graph and features for classification purposes.

categories: cs.LG cs.NE cs.SI physics.soc-ph stat.ML


title: A Study on Software Metrics and its Impact on Software Quality

abstract: Software metrics offer a quantitative basis for predicting the software development process. In this way, software quality can be improved very easily. Software quality should be achieved to satisfy the customer with decreasing the software cost and improve there liability of the software product. In this research, we have discussed how the software metrics affect the quality of the software and which stages of its development software metrics have applied. We discussed the different software metrics and how these metrics have an impact on software quality and reliability. These techniques have been used for improving the quality of software and increase the revenue.


title: Wavelet Analysis of Big Data in the Global Investigation of Magnetic Field Variations in Solar-Terrestrial Physics

abstract: We provide a Wavelet analysis of Big Data in Solar Terrestrial Physics. In order to explain and predict the dynamics of the geomagnetic phenomena we analyze high frequency time series data from different sources: 1. The Interplanetary Magnetic Field (from the ACE satellite). 2. The Ionospheric parameters - TEC (from ionospheric sounding stations). 3. The ground Geomagnetic data (from ground geomagnetic observatories, located in middle geographic latitudes). We seek for correlations in the wavelet coefficients which explain the dynamics of different magnetic phenomena in the Solar Terrestrial Physics. The large variety of data used in our research from both Solar Astronomy and Earth Observations makes it a contribution to the newly developing area of AstroGeoInformatics.


title: Hamiltonian bump-on-tail model: interpretation of EP/AE interaction

abstract: The Bump-on-Tail (BoT) model is often adopted to characterize the non-linear interaction between fast ions and Alfv\'en Eigenmodes. A multi-beam Hamiltonian approach to the BoT model is tested here as paradigm for the description of these phenomena.


title: Sequential no-Substitution k-Median-Clustering

abstract: We study the sample-based k-median clustering objective under a sequential setting without substitutions. In this setting, an i.i.d. sequence of examples is observed. An example can be selected as a center only immediately after it is observed, and it cannot be substituted later. The goal is to select a set of centers with a good k-median cost on the distribution which generated the sequence. We provide an efficient algorithm for this setting, and show that its multiplicative approximation factor is twice the approximation factor of an efficient offline algorithm. In addition, we show that if efficiency requirements are removed, there is an algorithm that can obtain the same approximation factor as the best offline algorithm. We demonstrate in experiments the performance of the efficient algorithm on real data sets. Our code is available at https://github.com/tomhess/No_Substitution_K_Median.


title: Controllable Unsupervised Text Attribute Transfer via Editing Entangled Latent Representation

abstract: Unsupervised text attribute transfer automatically transforms a text to alter a specific attribute (e.g. sentiment) without using any parallel data, while simultaneously preserving its attribute-independent content. The dominant approaches are trying to model the content-independent attribute separately, e.g., learning different attributes' representations or using multiple attribute-specific decoders. However, it may lead to inflexibility from the perspective of controlling the degree of transfer or transferring over multiple aspects at the same time. To address the above problems, we propose a more flexible unsupervised text attribute transfer framework which replaces the process of modeling attribute with minimal editing of latent representations based on an attribute classifier. Specifically, we first propose a Transformer-based autoencoder to learn an entangled latent representation for a discrete text, then we transform the attribute transfer task to an optimization problem and propose the Fast-Gradient-Iterative-Modification algorithm to edit the latent representation until conforming to the target attribute. Extensive experimental results demonstrate that our model achieves very competitive performance on three public data sets. Furthermore, we also show that our model can not only control the degree of transfer freely but also allow to transfer over multiple aspects at the same time.


title: Assistive robot operated via P300-based Brain Computer Interface

abstract: In this paper we present an architecture for the operation of an assistive robot finally aimed at allowing users with severe motion disabilities to perform manipulation tasks that may help in daily-life operations. The robotic system, based on a lightweight robot manipulator, receives high level commands from the user through a Brain-Computer Interface based on P300 paradigm. The motion of the manipulator is controlled relying on a closed loop inverse kinematic algorithm that simultaneously manages multiple set-based and equality-based tasks. The software architecture is developed relying on widely used frameworks to operate BCIs and robots (namely, BCI2000 for the operation of the BCI and ROS for the control of the manipulator) integrating control, perception and communication modules developed for the application at hand. Preliminary experiments have been conducted to show the potentialities of the developed architecture.


title: Weak Mixing and Analyticity of the Pressure in the Ising Model

abstract: We prove that the pressure (or free energy) of the finite range ferromagnetic Ising model on $\mathbb{Z}^d$ is analytic as a function of both the inverse temperature $\beta$ and the magnetic field $h$ whenever the model has the exponential weak mixing property. We also prove the exponential weak mixing property whenever $h\neq 0$. Together with known results on the regime $h=0,\beta<\beta_c$, this implies both analyticity and weak mixing in all the domain of $(\beta,h)$ outside of the transition line $[\beta_c,\infty)\times \{0\}$. The proof of analyticity uses a graphical representation of the Glauber dynamic due to Schonmann and cluster expansion. The proof of weak mixing uses the random cluster representation.


title: Quasi-linear model for the beam-plasma instability: analysis of the self-consistent evolution

abstract: We re-analyze the quasi-linear self consistent dynamics for the beam-plasma instability, by comparing the theory predictions to numerical simulations of the corresponding Hamiltonian system. While the diffusive features of the asymptotic dynamics are reliably predicted, the early temporal mesoscale transport appears less efficient in reproducing the convective feature of the self-consistent scenario. As a result, we identify the origin of the observed discrepancy in the underlying quasi-linear model assumption that the distribution function is quasi-stationary. Furthermore, we provide a correction to the instantaneous quasi-linear growth rate based on a linear expansion of the distribution function time dependence, and we successfully test this revised formulation for the spectral evolution during the temporal mesoscale.


title: Monotonic Gaussian Process Flow

abstract: We propose a new framework for imposing monotonicity constraints in a Bayesian nonparametric setting based on numerical solutions of stochastic differential equations. We derive a nonparametric model of monotonic functions that allows for interpretable priors and principled quantification of hierarchical uncertainty. We demonstrate the efficacy of the proposed model by providing competitive results to other probabilistic monotonic models on a number of benchmark functions. In addition, we consider the utility of a monotonic random process as a part of a hierarchical probabilistic model; we examine the task of temporal alignment of time-series data where it is beneficial to use a monotonic random process in order to preserve the uncertainty in the temporal warpings.


title: Weakly supervised training of pixel resolution segmentation models on whole slide images

abstract: We present a novel approach to train pixel resolution segmentation models on whole slide images in a weakly supervised setup. The model is trained to classify patches extracted from slides. This leads the training to be made under noisy labeled data. We solve the problem with two complementary strategies. First, the patches are sampled online using the model's knowledge by focusing on regions where the model's confidence is higher. Second, we propose an extension of the KL divergence that is robust to noisy labels. Our preliminary experiment on CAMELYON 16 data set show promising results. The model can successfully segment tumor areas with strong morphological consistency.


title: On the stability of self-adjointness of linear relations

abstract: This paper focuses on the stability of self-adjointness of linear relations under perturbations in Hilbert spaces. It is shown that a self-adjoint relation is still self-adjoint under bounded and relatively bounded perturbations. The results obtained in the present paper generalize the corresponding results for linear operators to linear relations, and some weaken the conditions of the related existing results.


title: Skew constacyclic codes over a non-chain ring $\mathbb{F}_{q}[u,v]/\langle f(u),g(v), uv-vu\rangle$

abstract: Let $f(u)$ and $g(v)$ be two polynomials of degree $k$ and $\ell$ respectively, not both linear, which split into distinct linear factors over $\mathbb{F}_{q}$. Let $\mathcal{R}=\mathbb{F}_{q}[u,v]/\langle f(u),g(v),\\uv-vu\rangle$ be a finite commutative non-chain ring. In this paper, we study $\psi$-skew cyclic and $\theta_t$-skew constacyclic codes over the ring $\mathcal{R}$ where $\psi$ and $\theta_t$ are two automorphisms defined on $\mathcal{R}$.


title: Retrieving fields from proton radiography without source profiles

abstract: Proton radiography is a technique in high energy density science to diagnose magnetic and/or electric fields in a plasma by firing a proton beam and detecting its modulated intensity profile on a screen. Current approaches to retrieve the integrated field from the modulated intensity profile require the unmodulated beam intensity profile before the interaction, which is rarely available experimentally due to shot-to-shot variability. In this paper, we present a statistical method to retrieve the integrated field without needing to know the exact source profile. We apply our method to experimental data, showing the robustness of our approach. Our proposed technique allows not only for the retrieval of the path-integrated fields, but also of the statistical properties of the fields.


title: Consistency of circuit lower bounds with bounded theories

abstract: Proving that there are problems in $\mathsf{P}^\mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only show that the corresponding problems are hard on infinitely many input lengths. For instance, proving almost-everywhere circuit lower bounds is open even for problems in $\mathsf{MAEXP}$. Giving the notorious difficulty of proving lower bounds that hold for all large input lengths, we ask the following question: Can we show that a large set of techniques cannot prove that $\mathsf{NP}$ is easy infinitely often? Motivated by this and related questions about the interaction between mathematical proofs and computations, we investigate circuit complexity from the perspective of logic. Among other results, we prove that for any parameter $k \geq 1$ it is consistent with theory $T$ that computational class ${\mathcal C} \not \subseteq \textit{i.o.}\mathrm{SIZE}(n^k)$, where $(T, \mathcal{C})$ is one of the pairs: $T = \mathsf{T}^1_2$ and ${\mathcal C} = \mathsf{P}^\mathsf{NP}$, $T = \mathsf{S}^1_2$ and ${\mathcal C} = \mathsf{NP}$, $T = \mathsf{PV}$ and ${\mathcal C} = \mathsf{P}$. In other words, these theories cannot establish infinitely often circuit upper bounds for the corresponding problems. This is of interest because the weaker theory $\mathsf{PV}$ already formalizes sophisticated arguments, such as a proof of the PCP Theorem. These consistency statements are unconditional and improve on earlier theorems of [KO17] and [BM18] on the consistency of lower bounds with $\mathsf{PV}$.


title: Affine equivalences, isometries and symmetries of ruled rational surfaces

abstract: A method is presented for computing all the affine equivalences between two rational ruled surfaces defined by rational parametrizations that works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method translates the problem into parameter space and relies on polynomial system solving. Geometrically, the problem is related to finding the projective equivalences between two projective curves (corresponding to the directions of the rulings of the surfaces). This problem was recently addressed in a paper by Hauer and J\"uttler, and we exploit the ideas by these authors in the algorithm presented in this paper. The general idea is adapted to computing the isometries between two rational ruled surfaces, and the symmetries of a given rational ruled surface. The efficiency of the method is shown through several examples.


title: A Hippocampus Model for Online One-Shot Storage of Pattern Sequences

abstract: We present a computational model based on the CRISP theory (Content Representation, Intrinsic Sequences, and Pattern completion) of the hippocampus that allows to continuously store pattern sequences online in a one-shot fashion. Rather than storing a sequence in CA3, CA3 provides a pre-trained sequence that is hetero-associated with the input sequence, which allows the system to perform one-shot learning. Plasticity on a short time scale therefore only happens in the incoming and outgoing connections of CA3. Stored sequences can later be recalled from a single cue pattern. We identify the pattern separation performed by subregion DG to be necessary for storing sequences that contain correlated patterns. A design principle of the model is that we use a single learning rule named Hebbiand-escent to train all parts of the system. Hebbian-descent has an inherent forgetting mechanism that allows the system to continuously memorize new patterns while forgetting early stored ones. The model shows a plausible behavior when noisy and new patterns are presented and has a rather high capacity of about 40% in terms of the number of neurons in CA3. One notable property of our model is that it is capable of `boot-strapping' (improving) itself without external input in a process we refer to as `dreaming'. Besides artificially generated input sequences we also show that the model works with sequences of encoded handwritten digits or natural images. To our knowledge this is the first model of the hippocampus that allows to store correlated pattern sequences online in a one-shot fashion without a consolidation process, which can instantaneously be recalled later.


title: Stochastic Sign Descent Methods: New Algorithms and Better Theory

abstract: Various gradient compression schemes have been proposed to mitigate the communication cost in distributed training of large scale machine learning models. Sign-based methods, such as signSGD, have recently been gaining popularity because of their simple compression rule and connection to adaptive gradient methods, like ADAM. In this paper, we analyze sign-based methods for non-convex optimization in three key settings: (i) standard single node, (ii) parallel with shared data and (iii) distributed with partitioned data. For single machine case, we generalize the previous analysis of signSGD relying on intuitive bounds on success probabilities and allowing even biased estimators. Furthermore, we extend the analysis to parallel setting within a parameter server framework, where exponentially fast noise reduction is guaranteed with respect to number of nodes, maintaining $1$-bit compression in both directions and using small mini-batch sizes. Next, we identify a fundamental issue with signSGD to converge in distributed environment. To resolve this issue, we propose a new sign-based method, {\em Stochastic Sign Descent with Momentum (SSDM)}, which converges under standard bounded variance assumption with the optimal asymptotic rate. We validate several aspects of our theoretical findings with numerical experiments.


title: Confronting Tri-direct CP-symmetry models to neutrino oscillation experiments

abstract: Tri-direct CP symmetry is an economical neutrino model building paradigm, and it allows to describe neutrino masses, mixing angles and CP violation phases in terms of four free parameters. Viability of a class of tri-direct CP models is examined with a comprehensive simulation of current and future neutrino oscillation experiments. Two benchmark models as well as the full parameter space are carefully scanned, and the parameter degeneracy problem is observed from the constraint of one group of neutrino oscillation experiments. Complementary roles from the accelerator neutrino experiments (e.g., T2HK and DUNE) and reactor neutrino experiments (e.g., JUNO) are crucial to break the degeneracy and nail down fundamental neutrino mixing parameters of the underlying theory.


title: Dependence of accessible dark matter annihilation cross-sections on the density profiles of dwarf spheroidal galaxies with the Cherenkov Telescope Array

abstract: Dwarf spheroidal galaxies are excellent targets in gamma-ray searches for dark matter. We consider dark matter searches in dwarf spheroidal galaxies (dSphs) with the Cherenkov Telescope Array (CTA). The aim of this work is to reveal a quantitative and precise dependence of the accessible dark matter annihilation cross-sections on the dark matter density profiles of dSphs and on the distance to them. In most data analyses, researchers have assumed point-like signals from dSphs because it is difficult to resolve the expected emission profiles with current gamma-ray observatories. In future however, CTA will be able to resolve the peak emission profiles in dSphs. We take several variations of the dark matter density profile of Draco dSph as examples and analyze the simulated observations of with CTA. We derive the accessible region of the dark matter annihilation cross-section with each dark matter density profile. The accessible region of the annihilation cross-section can differ by a factor of 10 among plausible profiles. We also examine the dependence on the distance to the target dSphs by assuming the same profiles of dSphs at different distances. Closer targets are better due to the higher J-factor, while their spatial extension significantly degrades our reach to the annihilation cross-section compared to the value expected from a simple distance-scaling of the J-factor. Spatial extension of the source affects the probable parameter region in energy-dependent ways. In some gamma-ray energy ranges, this behaviour becomes moderately dependent on the properties of the observation facility.


title: Learning Compositional Neural Programs with Recursive Tree Search and Planning

abstract: We propose a novel reinforcement learning algorithm, AlphaNPI, that incorporates the strengths of Neural Programmer-Interpreters (NPI) and AlphaZero. NPI contributes structural biases in the form of modularity, hierarchy and recursion, which are helpful to reduce sample complexity, improve generalization and increase interpretability. AlphaZero contributes powerful neural network guided search algorithms, which we augment with recursion. AlphaNPI only assumes a hierarchical program specification with sparse rewards: 1 when the program execution satisfies the specification, and 0 otherwise. Using this specification, AlphaNPI is able to train NPI models effectively with RL for the first time, completely eliminating the need for strong supervision in the form of execution traces. The experiments show that AlphaNPI can sort as well as previous strongly supervised NPI variants. The AlphaNPI agent is also trained on a Tower of Hanoi puzzle with two disks and is shown to generalize to puzzles with an arbitrary number of disk


title: A Realtime Autonomous Robot Navigation Framework for Human like High-level Interaction and Task Planning in Global Dynamic Environment

abstract: In this paper, we present a framework for real-time autonomous robot navigation based on cloud and on-demand databases to address two major issues of human-like robot interaction and task planning in global dynamic environment, which is not known a priori. Our framework contributes to make human-like brain GPS mapping system for robot using spatial information and performs 3D visual semantic SLAM for independent robot navigation. We accomplish the feat by separating robot's memory system into Long-Term Memory (LTM) and Short-Term Memory (STM). We also form robot's behavior and knowledge system by linking these memories to Autonomous Navigation Module (ANM), Learning Module (LM), and Behavior Planner Module (BPM). The proposed framework is assessed through simulation using ROS-based Gazebo-simulated mobile robot, RGB-D camera (3D sensor) and a laser range finder (2D sensor) in 3D model of realistic indoor environment. Simulation corroborates the substantial practical merit of our proposed framework.


title: Unveiling the Electric-current-limiting and Photodetection Effect in Two-dimensional Hydrogenated Borophene

abstract: The electronic transport and photoelectric properties of hydrogenated borophene B4H4, which was realized in a recent experiment by Nishino [J. Am. Chem. Soc. 139, 13761 (2017)], are systematically investigated using the density functional theory and non-equilibrium Green's function methods. We find that B4H4 exhibits a perfect current-limiting effect and has high (along the zigzag direction) and low (along the armchair one) optional levels due to its strong electrical anisotropy. Moreover, B4H4 can generate sizable photocurrents under illumination, with strong photoelectronic response to blue/green light along the zigzag/armchair direction. Our work demonstrates that B4H4 is promising for the applications of current limiter and photodetectors.


title: A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction

abstract: In this paper, we review existing points-to Separation Logics for dynamic memory reasoning and we find that different usages of heap separation tend to be an obstacle. Hence, two total and strict spatial heap operations are proposed upon heap graphs, for conjunction and disjunction -- similar to logical conjuncts. Heap conjunction implies that there exists a free heap vertex to connect to or an explicit destination vertex is provided. Essentially, Burstall's properties do not change. By heap we refer to an arbitrary simple directed graph, which is finite and may contain composite vertices representing class objects. Arbitrary heap memory access is restricted, as well as type punning, late class binding and further restrictions. Properties of the new logic are investigated, and as a result group properties are shown. Both expecting and superficial heaps are specifiable. Equivalence transformations may make denotated heaps inconsistent, although those may be detected and patched by the two generic linear canonization steps presented. The properties help to motivate a later full introduction of a set of equivalences over heap for future work. Partial heaps are considered as a useful specification technique that help to reduce incompleteness issues with specifications. Finally, the logic proposed may be considered for extension for the Object Constraint Language.


title: Handling robot constraints within a Set-Based Multi-Task Priority Inverse Kinematics Framework

abstract: Set-Based Multi-Task Priority is a recent framework to handle inverse kinematics for redundant structures. Both equality tasks, i.e., control objectives to be driven to a desired value, and set-bases tasks, i.e., control objectives to be satisfied with a set/range of values can be addressed in a rigorous manner within a priority framework. In addition, optimization tasks, driven by the gradient of a proper function, may be considered as well, usually as lower priority tasks. In this paper the proper design of the tasks, their priority and the use of a Set-Based Multi-Task Priority framework is proposed in order to handle several constraints simultaneously in real-time. It is shown that safety related tasks such as, e.g., joint limits or kinematic singularity, may be properly handled by consider them both at an higher priority as set-based task and at a lower within a proper optimization functional. Experimental results on a 7DOF Jaco$^2$


title: Hairy Waves: Gravitational Waves in the presence of Screening Mechanism

abstract: We consider a binary system in the context of screened modified gravity models and investigate its emitted gravitational wave which has been shown that is a hairy wave. We derive power of the gravitational wave and the binding energy of the binary system and then trace back the effect of the additional scalar field, present at screening models, in the frequency of GW emitted from the binary. The binary is considered as two astrophysical black holes in a spherically symmetric galactic ambient/halo with constant density. Effectively in the ISCO region the screening force is in charge due to the sharp transition in the density of matter field. It is shown that, in the presence of screening, when one companion of the binary system is between $R_{thinshell}$ and $R_{ISCO}$, the frequency of the gravitational emission have decreased, compared to GR without screening.


title: One-element Batch Training by Moving Window

abstract: Several deep models, esp. the generative, compare the samples from two distributions (e.g. WAE like AutoEncoder models, set-processing deep networks, etc) in their cost functions. Using all these methods one cannot train the model directly taking small size (in extreme -- one element) batches, due to the fact that samples are to be compared. We propose a generic approach to training such models using one-element mini-batches. The idea is based on splitting the batch in latent into parts: previous, i.e. historical, elements used for latent space distribution matching and the current ones, used both for latent distribution computation and the minimization process. Due to the smaller memory requirements, this allows to train networks on higher resolution images then in the classical approach.


title: Global Momentum Compression for Sparse Communication in Distributed Learning

abstract: With the rapid growth of data, distributed momentum stochastic gradient descent~(DMSGD) has been widely used in distributed learning, especially for training large-scale deep models. Due to the latency and limited bandwidth of the network, communication has become the bottleneck of distributed learning. Communication compression with sparsified gradient, abbreviated as \emph{sparse communication}, has been widely employed to reduce communication cost. All existing works about sparse communication in DMSGD employ local momentum, in which the momentum only accumulates stochastic gradients computed by each worker locally. In this paper, we propose a novel method, called \emph{\underline{g}}lobal \emph{\underline{m}}omentum \emph{\underline{c}}ompression~(GMC), for sparse communication. Different from existing works that utilize local momentum, GMC utilizes global momentum. Furthermore, to enhance the convergence performance when using more aggressive sparsification compressors (e.g., RBGS), we extend GMC to GMC+. We theoretically prove the convergence of GMC and GMC+. To the best of our knowledge, this is the first work that introduces global momentum for sparse communication in distributed learning. Empirical results demonstrate that, compared with the local momentum counterparts, our GMC and GMC+ can achieve higher test accuracy and exhibit faster convergence, especially under non-IID data distribution.


title: ATLAS job monitoring in the Dashboard Framework

abstract: Monitoring of the large-scale data processing of the ATLAS experiment includes monitoring of production and user analysis jobs. The Experiment Dashboard provides a common job monitoring solution, which is shared by ATLAS and CMS experiments. This includes an accounting portal as well as real-time monitoring. Dashboard job monitoring for ATLAS combines information from the PanDA job processing database, Production system database and monitoring information from jobs submitted through GANGA to Workload Management System (WMS) or local batch systems. Usage of Dashboard-based job monitoring applications will decrease load on the PanDA database and overcome scale limitations in PanDA monitoring caused by the short job rotation cycle in the PanDA database. Aggregation of the task/job metrics from different sources provides complete view of job processing activity in ATLAS scope.


title: Equipping Experts/Bandits with Long-term Memory

abstract: We propose the first reduction-based approach to obtaining long-term memory guarantees for online learning in the sense of Bousquet and Warmuth, 2002, by reducing the problem to achieving typical switching regret. Specifically, for the classical expert problem with $K$ actions and $T$ rounds, using our framework we develop various algorithms with a regret bound of order $\mathcal{O}(\sqrt{T(S\ln T + n \ln K)})$ compared to any sequence of experts with $S-1$ switches among $n \leq \min\{S, K\}$ distinct experts. In addition, by plugging specific adaptive algorithms into our framework we also achieve the best of both stochastic and adversarial environments simultaneously. This resolves an open problem of Warmuth and Koolen, 2014. Furthermore, we extend our results to the sparse multi-armed bandit setting and show both negative and positive results for long-term memory guarantees. As a side result, our lower bound also implies that sparse losses do not help improve the worst-case regret for contextual bandits, a sharp contrast with the non-contextual case.


title: DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

abstract: In this paper, we address an unsolved problem in the real world: how to ensure the integrity of the web content in a browser in the presence of malicious browser extensions? The problem of exposing confidential user credentials to malicious extensions has been widely understood, which has prompted major banks to deploy two-factor authentication. However, the importance of the `integrity' of the web content has received little attention. We implement two attacks on real-world online banking websites and show that ignoring the `integrity' of the web content can fundamentally defeat two-factor solutions. To address this problem, we propose a cryptographic protocol called DOMtegrity to ensure the end-to-end integrity of the DOM structure of a web page from delivering at a web server to the rendering of the page in the user's browser. DOMtegrity is the first solution that protects DOM integrity without modifying the browser architecture or requiring extra hardware. It works by exploiting subtle yet important differences between browser extensions and in-line JavaScript code. We show how DOMtegrity prevents the earlier attacks and a whole range of man-in-the-browser (MITB) attacks. We conduct extensive experiments on more than 14,000 real-world extensions to evaluate the effectiveness of DOMtegrity.


title: A Test of Bolometric Properties of Tm-containing Crystals as a Perspective Detector for the Solar Axion Search

abstract: The $^{169}$Tm nuclide has first nuclear level at 8.41 keV with magnetic type transition to the ground state and, therefore, can be used as a target nucleus for the search of resonant absorption of solar axions. We plan to use a Tm-containing crystal of a garnet family Tm$_3$Al$_5$O$_{12}$ as a bolometric detector in order to search for the excitation of the first nuclear level of $^{169}$Tm via the resonant absorption of solar axions. With this perspective in mind, a sample of the Tm$_3$Al$_5$O$_{12}$ crystal was grown and tested for its bolometric and optical properties. Measurements of chemical and/or radioactive contaminations were performed as well. In this paper we present the test results and estimate the requirements for a future low-background experimental setup.

categories: physics.ins-det astro-ph.CO hep-ex hep-ph


title: Non-Resonant Searches for Axion-Like Particles at the LHC

abstract: We propose a new collider probe for axion-like particles (ALPs), and more generally for pseudo-Goldstone bosons: non-resonant searches which take advantage of the derivative nature of their interactions with Standard Model particles. ALPs can participate as off-shell mediators in the $s$-channel of $2 \to 2$ scattering processes at colliders like the LHC. We exemplify the power of this novel type of search by deriving new limits on ALP couplings to gauge bosons via the processes $p p \to Z Z$, $p p \to \gamma \gamma$ and $p p \to j j$ using Run 2 CMS public data, probing previously unexplored areas of the ALP parameter space. In addition, we propose future non-resonant searches involving the ALP coupling to other electroweak bosons and/or the Higgs particle.


title: Interpolatory rational model order reduction of parametric problems lacking uniform inf-sup stability

abstract: We present a technique for the approximation of a class of Hilbert space-valued maps which arise within the framework of Model Order Reduction for parametric partial differential equations, whose solution map has a meromorphic structure. Our MOR stategy consists in constructing an explicit rational approximation based on few snapshots of the solution, in an interpolatory fashion. Under some restrictions on the structure of the original problem, we describe a priori convergence results for our technique, hereafter called minimal rational interpolation, which show its ability to identify the main features (e.g. resonance locations) of the target solution map. We also investigate some procedures to obtain a posteriori error indicators, which may be employed to adapt the degree and the sampling points of the minimal rational interpolant. Finally, some numerical experiments are carried out to confirm the theoretical results and the effectiveness of our technique.


title: Prediction of a Giant Magnetoelectric Cross-Caloric Effect Around a Tetracritical Point in Multiferroic SrMnO$_3$

abstract: We study the magnetoelectric and electrocaloric response of strain-engineered, multiferroic SrMnO$_3$, using a phenomenological Landau theory with all parameters obtained from \emph{first-principles}-based calculations. This allows to make realistic and materials-specific predictions about the magnitude of the corresponding effects. We find that in the vicinity of a tetracritical point, where magnetic and ferroelectric phase boundaries intersect, an electric field has a huge effect on the antiferromagnetic order, corresponding to a magnetoelectric response several orders of magnitude larger than in conventional linear magnetoelectrics. Furthermore, the strong magnetoelectric coupling leads to a magnetic, cross-caloric contribution to the electrocaloric effect, which increases the overall caloric response by about 60\%. This opens up new potential applications of antiferromagnetic multiferroics in the context of environmentally friendly solid state cooling technologies.


title: On Generalizations of Fatou's Theorem in $L^p$ for Convolution Integrals with General Kernels

abstract: We prove Fatou type theorem on almost everywhere convergence of convolution integrals in spaces $L^p\,(1<p<\infty)$ for general kernels, forming an approximate identity. For a wide class of kernels we show that obtained convergence regions are optimal in some sense. It is also established a weak boundedness of the corresponding maximal operator in $L^p\,(1\le p<\infty)$.


title: Neural Entropic Estimation: A faster path to mutual information estimation

abstract: We point out a limitation of the mutual information neural estimation (MINE) where the network fails to learn at the initial training phase, leading to slow convergence in the number of training iterations. To solve this problem, we propose a faster method called the mutual information neural entropic estimation (MI-NEE). Our solution first generalizes MINE to estimate the entropy using a custom reference distribution. The entropy estimate can then be used to estimate the mutual information. We argue that the seemingly redundant intermediate step of entropy estimation allows one to improve the convergence by an appropriate reference distribution. In particular, we show that MI-NEE reduces to MINE in the special case when the reference distribution is the product of marginal distributions, but faster convergence is possible by choosing the uniform distribution as the reference distribution instead. Compared to the product of marginals, the uniform distribution introduces more samples in low-density regions and fewer samples in high-density regions, which appear to lead to an overall larger gradient for faster convergence.


title: Physically-Plausible Modelling of Biomolecular Systems: A Simplified, Energy-Based Model of the Mitochondrial Electron Transport Chain

abstract: Systems biology and whole-cell modelling are demanding increasingly comprehensive mathematical models of cellular biochemistry. These models require the development of simplified models of specific processes which capture essential biophysical features but without unnecessarily complexity. Recently there has been renewed interest in thermodynamically-based modelling of cellular processes. Here we present an approach to developing of simplified yet thermodynamically consistent (hence physically plausible) models which can readily be incorporated into large scale biochemical descriptions but which do not require full mechanistic detail of the underlying processes. We illustrate the approach through development of a simplified, physically plausible model of the mitochondrial electron transport chain and show that the simplified model behaves like the full system.


title: Orchestrating Service Migration for Low Power MEC-Enabled IoT Devices

abstract: Multi-Access Edge Computing (MEC) is a key enabling technology for Fifth Generation (5G) mobile networks. MEC facilitates distributed cloud computing capabilities and information technology service environment for applications and services at the edges of mobile networks. This architectural modification serves to reduce congestion, latency, and improve the performance of such edge colocated applications and devices. In this paper, we demonstrate how reactive service migration can be orchestrated for low-power MEC-enabled Internet of Things (IoT) devices. Here, we use open-source Kubernetes as container orchestration system. Our demo is based on traditional client-server system from user equipment (UE) over Long Term Evolution (LTE) to the MEC server. As the use case scenario, we post-process live video received over web real-time communication (WebRTC). Next, we integrate orchestration by Kubernetes with S1 handovers, demonstrating MEC-based software defined network (SDN). Now, edge applications may reactively follow the UE within the radio access network (RAN), expediting low-latency. The collected data is used to analyze the benefits of the low-power MEC-enabled IoT device scheme, in which end-to-end (E2E) latency and power requirements of the UE are improved. We further discuss the challenges of implementing such schemes and future research directions therein.


title: On the Convergence of Memory-Based Distributed SGD

abstract: Distributed stochastic gradient descent~(DSGD) has been widely used for optimizing large-scale machine learning models, including both convex and non-convex models. With the rapid growth of model size, huge communication cost has been the bottleneck of traditional DSGD. Recently, many communication compression methods have been proposed. Memory-based distributed stochastic gradient descent~(M-DSGD) is one of the efficient methods since each worker communicates a sparse vector in each iteration so that the communication cost is small. Recent works propose the convergence rate of M-DSGD when it adopts vanilla SGD. However, there is still a lack of convergence theory for M-DSGD when it adopts momentum SGD. In this paper, we propose a universal convergence analysis for M-DSGD by introducing \emph{transformation equation}. The transformation equation describes the relation between traditional DSGD and M-DSGD so that we can transform M-DSGD to its corresponding DSGD. Hence we get the convergence rate of M-DSGD with momentum for both convex and non-convex problems. Furthermore, we combine M-DSGD and stagewise learning that the learning rate of M-DSGD in each stage is a constant and is decreased by stage, instead of iteration. Using the transformation equation, we propose the convergence rate of stagewise M-DSGD which bridges the gap between theory and practice.


title: Quantization of Polysymplectic Manifolds

abstract: We adapt the framework of geometric quantization to the polysymplectic setting. Considering prequantization as the extension of symmetries from an underlying polysymplectic manifold to the space of sections of a Hermitian vector bundle, a natural definition of prequantum vector bundle is obtained which incorporates in an essential way the action of the space of coefficients. We define quantization with respect to a polarization and to a spin$^\text{c}$ structure. In the presence of a complex polarization, it is shown that the polysymplectic Guillemin-Sternberg conjecture is false. We conclude with potential extensions and applications.


title: Learning Nonsymmetric Determinantal Point Processes

abstract: Determinantal point processes (DPPs) have attracted substantial attention as an elegant probabilistic model that captures the balance between quality and diversity within sets. DPPs are conventionally parameterized by a positive semi-definite kernel matrix, and this symmetric kernel encodes only repulsive interactions between items. These so-called symmetric DPPs have significant expressive power, and have been successfully applied to a variety of machine learning tasks, including recommendation systems, information retrieval, and automatic summarization, among many others. Efficient algorithms for learning symmetric DPPs and sampling from these models have been reasonably well studied. However, relatively little attention has been given to nonsymmetric DPPs, which relax the symmetric constraint on the kernel. Nonsymmetric DPPs allow for both repulsive and attractive item interactions, which can significantly improve modeling power, resulting in a model that may better fit for some applications. We present a method that enables a tractable algorithm, based on maximum likelihood estimation, for learning nonsymmetric DPPs from data composed of observed subsets. Our method imposes a particular decomposition of the nonsymmetric kernel that enables such tractable learning algorithms, which we analyze both theoretically and experimentally. We evaluate our model on synthetic and real-world datasets, demonstrating improved predictive performance compared to symmetric DPPs, which have previously shown strong performance on modeling tasks associated with these datasets.


title: Distribution of Behaviour into Parallel Communicating Subsystems

abstract: The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, for instance, for the field of distributed computing. In this paper, motivated by the desire to distribute the process of active automata learning onto multiple subsystems, we study the equivalence between a system and the total behaviour of its decomposition which comprises subsystems with communication between them. We show synchronously- and asynchronously-communicating decompositions that maintain branching bisimilarity, and we prove that there is no decomposition operator that maintains divergence-preserving branching bisimilarity over all LTSs.


title: A bialternant formula for odd symplectic characters and its application

abstract: We present a bialternant formula for odd symplectic characters, which are the characters of indecomposable modules of odd symplectic groups introduced by R. Proctor. As an application, we give a linear algebraic proof to an odd symplectic character identity due to R. P. Brent, C. Krattenthaler and S. O. Warnaar.


title: Subquadratic harmonic functions on Calabi-Yau manifolds with maximal volume growth

abstract: On a complete Calabi-Yau manifold $M$ with maximal volume growth, a harmonic function with subquadratic polynomial growth is the real part of a holomorphic function. This generalizes a result of Conlon-Hein. We prove this result by proving a Liouville type theorem for harmonic $1$-forms, which follows from a new local $L^2$ estimate of the exterior derivative.


title: Quantifying consensus of rankings based on q-support patterns

abstract: Rankings, representing preferences over a set of candidates, are widely used in many information systems, e.g., group decision making and information retrieval. It is of great importance to evaluate the consensus of the obtained rankings from multiple agents. An overall measure of the consensus degree provides an insight into the ranking data. Moreover, it could provide a quantitative indicator for consensus comparison between groups and further improvement of a ranking system. Existing studies are insufficient in assessing the overall consensus of a ranking set. They did not provide an evaluation of the consensus degree of preference patterns in most rankings. In this paper, a novel consensus quantifying approach, without the need for any correlation or distance functions as in existing studies of consensus, is proposed based on a concept of q-support patterns of rankings. The q-support patterns represent the commonality embedded in a set of rankings. A method for detecting outliers in a set of rankings is naturally derived from the proposed consensus quantifying approach. Experimental studies are conducted to demonstrate the effectiveness of the proposed approach.


title: On the Effectiveness of Low-rank Approximations for Collaborative Filtering compared to Neural Networks

abstract: Even in times of deep learning, low-rank approximations by factorizing a matrix into user and item latent factors continue to be a method of choice for collaborative filtering tasks due to their great performance. While deep learning based approaches excel in hybrid recommender tasks where additional features for items, users or even context are available, their flexibility seems to rather impair the performance compared to low-rank approximations for pure collaborative filtering tasks where no additional features are used. Recent works propose hybrid models combining low-rank approximations and traditional deep neural architectures with promising results but fail to explain why neural networks alone are unsuitable for this task. In this work, we revisit the model and intuition behind low-rank approximation to point out its suitability for collaborative filtering tasks. In several experiments we compare the performance and behavior of models based on a deep neural network and low-rank approximation to examine the reasons for the low effectiveness of traditional deep neural networks. We conclude that the universal approximation capabilities of traditional deep neural networks severely impair the determination of suitable latent vectors, leading to a worse performance compared to low-rank approximations.


title: A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains

abstract: We present an algorithm that can efficiently compute a broad class of inferences for discrete-time imprecise Markov chains, a generalised type of Markov chains that allows one to take into account partially specified probabilities and other types of model uncertainty. The class of inferences that we consider contains, as special cases, tight lower and upper bounds on expected hitting times, on hitting probabilities and on expectations of functions that are a sum or product of simpler ones. Our algorithm exploits the specific structure that is inherent in all these inferences: they admit a general recursive decomposition. This allows us to achieve a computational complexity that scales linearly in the number of time points on which the inference depends, instead of the exponential scaling that is typical for a naive approach.


title: Enriched Mixtures of Gaussian Process Experts

abstract: Mixtures of experts probabilistically divide the input space into regions, where the assumptions of each expert, or conditional model, need only hold locally. Combined with Gaussian process (GP) experts, this results in a powerful and highly flexible model. We focus on alternative mixtures of GP experts, which model the joint distribution of the inputs and targets explicitly. We highlight issues of this approach in multi-dimensional input spaces, namely, poor scalability and the need for an unnecessarily large number of experts, degrading the predictive performance and increasing uncertainty. We construct a novel model to address these issues through a nested partitioning scheme that automatically infers the number of components at both levels. Multiple response types are accommodated through a generalised GP framework, while multiple input types are included through a factorised exponential family structure. We show the effectiveness of our approach in estimating a parsimonious probabilistic description of both synthetic data of increasing dimension and an Alzheimer's challenge dataset.


title: Distance measurements to early-type galaxies by improving the fundamental plane

abstract: Using SDSS DR15 to its full extent, we derived fundamental plane distances to over 317 000 early-type galaxies up to a redshift of 0.4. In addition to providing the largest sample of fundamental plane distances ever calculated, as well as a well calibrated group catalogue covering the entire SDSS spectroscopic footprint as far a redshift of 0.5, we present several improvements reaching beyond the traditional definition of the fundamental plane. In one approach, we adjusted the distances by removing systematic biases and selection effects in redshift-magnitude space, thereby greatly improving the quality of measurements. Alternatively, by expanding the traditional fundamental plane by additional terms, we managed to remove systematic biases caused by the selection of our SDSS spectroscopic galaxy sample as well as notably reducing its scatter. We discuss the advantages and caveats of these various methods and calibrations in detail. We found that improving the fundamental plane distance estimates beyond the established methods requires a delicate balancing act between various systematic biases and gains, but managed to reduce the uncertainty of our distance measurements by about a factor of two compared to the traditional fundamental plane.


title: How much do charm sea quarks affect the charmonium spectrum?

abstract: The properties of charmonium states are or will be intensively studied by the B-factories Belle II and BESIII, the LHCb and PANDA experiments and at a future Super-c-tau Factory. Precise lattice calculations provide valuable input and several results have been obtained by simulating up, down and strange quarks in the sea. We investigate the impact of a charm quark in the sea on the charmonium spectrum, the renormalization group invariant charm-quark mass and the scalar charm-quark content of charmonium. The latter is obtained by the direct computation of the mass-derivatives of the charmonium masses. We do this investigation in a model, QCD with two degenerate charm quarks. The absence of light quarks allows us to reach very small lattice spacings down to 0.023 fm. By comparing to pure gauge theory we find that charm quarks in the sea affect the hyperfine splitting at a level below 2%. The most significant effects are 5% in the quark mass and 3% in the value of the charm quark content of the eta_c meson. Given that we simulate two charm quarks these estimates are upper bounds for the contribution of a single charm quark. We show that lattice spacings <0.06 fm are needed for safe continuum extrapolations of the charmonium spectrum with O(a) improved Wilson quarks. A useful relation for the projection to the desired parity of operators in two-point functions computed with twisted mass fermions is proven.


title: Bishop-Phelps-Bollob\'as property for positive operators between classical Banach spaces

abstract: We prove that the class of positive operators from $L_\infty (\mu)$ to $L_1 (\nu)$ has the Bishop-Phelps-Bollob\'as property for any positive measures $\mu$ and $\nu$. The same result also holds for the pair $(c_0, \ell_1)$. We also provide an example showing that not every pair of Banach lattices satisfies the Bishop-Phelps-Bollob\'as property for positive operators.


title: Partial Computing Offloading Assisted Cloud Point Registration in Multi-robot SLAM

abstract: Multi-robot visual simultaneous localization and mapping (SLAM) system is normally consisted of multiple mobile robots equipped with camera and/or other visual sensors. The networked robots work independently or cooperatively in an unknown scene in order to solve autonomous localization and mapping problem. One of the most critical issues in Multi-robot visual SLAM is the intensive computation that is normally required yet overwhelming for inexpensive mobile robots with limited on-board resources. To address this problem, a novel task offloading strategy and dense point cloud map construction method is proposed in this paper. First, we develop a novel strategy to remotely offload computation-intensive tasks to cloud center, so that the tasks that could not originally be achieved locally on the resource-limited robot systems become possible. Second, a modified iterative closest point algorithm (ICP), named fitness score hierarchical ICP algorithm (FS-HICP), is developed to accelerate point cloud registration. The correctness, efficiency, and scalability of the proposed strategy are evaluated with both theoretical analysis and experimental simulations. The results show that the proposed method can effectively reduce the energy consumption while increase the computation capability and speed of the multi-robot visual SLAM system, especially in indoor environment.


title: ExplFrame: Exploiting Page Frame Cache for Fault Analysis of Block Ciphers

abstract: Page Frame Cache (PFC) is a purely software cache, present in modern Linux based operating systems (OS), which stores the page frames that are recently being released by the processes running on a particular CPU. In this paper, we show that the page frame cache can be maliciously exploited by an adversary to steer the pages of a victim process to some pre-decided attacker-chosen locations in the memory. We practically demonstrate an end-to-end attack, ExplFrame, where an attacker having only user-level privilege is able to force a victim process's memory pages to vulnerable locations in DRAM and deterministically conduct Rowhammer to induce faults. We further show that these faults can be exploited for extracting the secret key of table-based block cipher implementations. As a case study, we perform a full-key recovery on OpenSSL AES by Rowhammer-induced single bit faults in the T-tables. We propose an improvised fault analysis technique which can exploit any Rowhammer-induced bit-flips in the AES T-tables.


title: The Generic Expansion in Analytic Modified Gravity

abstract: In this Thesis, we treat the problem of the existence of generic perturbations of the regular and singular state in higher-order gravity in cases of vacuum and radiation models that derives from the lagrangian $R+\epsilon R^2$. We show that there is a regular state of the theory in vacuum in the form of a formal series expansion having the same number of free functions as those required for a general solution of the theory, while this is not true for the case of radiation. This means that there exists an open set in the space of analytic initial data of the theory in vacuum that leads to a regular solution having the correct number of free functions to qualify as a general solution. Further, we show that a singular state of the theory in vacuum cannot be admitted, while in the case of radiation we obtain a particular solution.


title: Two-particle transfer processes as a signature of shape phase transition in Zirconium isotopes

abstract: We explore two-particle transfer reactions as a unique probe of the occurence of shape coexistence in shape phase transitions. The (t,p) reactions to the ground state and to excited $0^+$ states are calculated for the isotope chain of even-even Zirconium isotopes starting from stable nuclei up to beyond current experimental limits. Two-particle spectroscopic factors derived from Monte Carlo Shell Model calculations are used, together with the sequential description of the two-particle transfer reaction mechanism. The calculation shows a clear signature for a shape phase transition between $^{98}$Zr and $^{100}$Zr, which displays coexistence of a deformed ground state with an excited spherical $0^+$ state. Furthermore, we show that there is a qualitative difference with respect to the case of a normal shape phase transition that can be discriminated with two-neutron transfer reactions.


title: Coupled Logistic Map: A Review and Numerical facts

abstract: This paper has a double goal, the first one is to make a slight survey of some theoretical results about the existence of positively invariant curves that allow to describe important properties of the set of bounded orbits and its boundary in the context of coupled logistic map. The second goal, in the same context, is to show a collection of figures obtained from computational simulation that reveal the complexity of that dynamical systems.


title: An all-at-once Newton strategy for methane hydrate reservoir models

abstract: Marine gas hydrate systems are characterized by highly dynamic transport-reaction processes in an essentially water-saturated porous medium that are coupled to thermodynamic phase transitions between solid gas hydrates, free gas and dissolved methane in the aqueous phase. These phase transitions are highly nonlinear and strongly coupled, and cause the mathematical model to rapidly switch the phase states and pose serious convergence issues for the classical Newton's method. One of the common methods of dealing with such phase transitions is the primary variable switching (PVS) method where the choice of the primary variables is adapted locally to the phase state **outside** the Newton loop. In order to ensure that the phase states are determined accurately, the PVS strategy requires an additional iterative loop, which can get quite expensive for highly nonlinear problems. For methane hydrate reservoir models, the PVS method shows poor convergence behaviour and often leads to extremely small time step sizes. In order to overcome this issue, we have developed a nonlinear complementary constraints method (NCP) for handling phase transitions, and implemented it within a non-smooth Newton's linearization scheme using an active-set strategy. Here, we present our numerical scheme and show its robustness through field scale applications based on the highly dynamic geological setting of the Black Sea.


title: Directly diode-pumped, Kerr-lens mode-locked, few-cycle Cr:ZnSe oscillator

abstract: Lasers based on Cr$^{2+}$-doped II-VI material, often known as the Ti:Sapphire of the mid-infrared, can directly provide few-cycle pulses with super-octave-spanning spectra, and serve as efficient drivers for generating broadband mid-infrared radiation. It is expected that the wider adoption of this technology benefits from more compact and cost-effective embodiments. Here, we report the first directly diode-pumped, Kerr-lens mode-locked Cr$^{2+}$-doped II-VI oscillator pumped by a single InP diode, providing average powers of over 500 mW and pulse durations of 45 fs - shorter than six optical cycles at 2.4 $\mu$m. These correspond to a sixty-fold increase in peak power compared to the previous diode-pumped record, and are at similar levels with respect to more mature fiber-pumped oscillators. The diode-pumped femtosecond oscillator presented here constitutes a key step towards a more accessible alternative to synchrotron-like infrared radiation, and is expected to accelerate research in laser spectroscopy and ultrafast infrared optics.


title: Interactive-predictive neural multimodal systems

abstract: Despite the advances achieved by neural models in sequence to sequence learning, exploited in a variety of tasks, they still make errors. In many use cases, these are corrected by a human expert in a posterior revision process. The interactive-predictive framework aims to minimize the human effort spent on this process by considering partial corrections for iteratively refining the hypothesis. In this work, we generalize the interactive-predictive approach, typically applied in to machine translation field, to tackle other multimodal problems namely, image and video captioning. We study the application of this framework to multimodal neural sequence to sequence models. We show that, following this framework, we approximately halve the effort spent for correcting the outputs generated by the automatic systems. Moreover, we deploy our systems in a publicly accessible demonstration, that allows to better understand the behavior of the interactive-predictive framework.


title: Light-induced anomalous Hall effect in massless Dirac fermion systems and topological insulators with dissipation

abstract: Employing the quantum Liouville equation with phenomenological dissipation, we investigate the transport properties of massless and massive Dirac fermion systems that mimics graphene and topological insulators, respectively. The massless Dirac fermion system does not show an intrinsic Hall effect, but it shows a Hall current under the presence of circularly-polarized laser fields as a nature of a optically-driven nonequilibrium state. Based on the microscopic analysis, we find that the light-induced Hall effect mainly originates from the imbalance of photocarrier distribution in momentum space although the emergent Floquet-Berry curvature also has a non-zero contribution. We further compute the Hall transport property of the massive Dirac fermion system with an intrinsic Hall effect in order to investigate the interplay of the intrinsic topological contribution and the extrinsic light-induced population contribution. As a result, we find that the contribution from the photocarrier population imbalance becomes significant in the strong field regime and it overcomes the intrinsic contribution. This finding clearly demonstrates that intrinsic transport properties of materials can be overwritten by external driving and may open a way to ultrafast optical-control of transport properties of materials.


title: Meta-Surrogate Benchmarking for Hyperparameter Optimization

abstract: Despite the recent progress in hyperparameter optimization (HPO), available benchmarks that resemble real-world scenarios consist of a few and very large problem instances that are expensive to solve. This blocks researchers and practitioners not only from systematically running large-scale comparisons that are needed to draw statistically significant results but also from reproducing experiments that were conducted before. This work proposes a method to alleviate these issues by means of a meta-surrogate model for HPO tasks trained on off-line generated data. The model combines a probabilistic encoder with a multi-task model such that it can generate inexpensive and realistic tasks of the class of problems of interest. We demonstrate that benchmarking HPO methods on samples of the generative model allows us to draw more coherent and statistically significant conclusions that can be reached orders of magnitude faster than using the original tasks. We provide evidence of our findings for various HPO methods on a wide class of problems.


title: The first bird's-eye view of a gravitationally unstable accretion disk in high-mass star formation

abstract: We report on the first bird's-eye view of the innermost accretion disk around the high-mass protostellar object G353.273+0.641, taken by Atacama Large Millimter/submillimeter Array long-baselines. The disk traced by dust continuum emission has a radius of 250 au, surrounded by the infalling rotating envelope traced by thermal CH$_3$OH lines. This disk radius is consistent with the centrifugal radius estimated from the specific angular momentum in the envelope. The lower-limit envelope mass is $\sim$5-7 M$_{\odot}$ and accretion rate onto the stellar surface is 3 $\times$ 10$^{-3}$ M$_{\odot}$ yr$^{-1}$ or higher. The expected stellar age is well younger than 10$^{4}$ yr, indicating that the host object is one of the youngest high-mass objects at present. The disk mass is 2-7 M$_{\odot}$, depending on the dust opacity index. The estimated Toomre's $Q$ parameter is typically 1-2 and can reach 0.4 at the minimum. These $Q$ values clearly satisfy the classical criteria for the gravitational instability, and are consistent with the recent numerical studies. Observed asymmetric and clumpy structures could trace a spiral arm and/or disk fragmentation. We found that 70$\%$ of the angular momentum in the accretion flow could be removed via the gravitational torque in the disk. Our study has indicated that the dynamical nature of a self-gravitating disk could dominate the early phase of high-mass star formation. This is remarkably consistent with the early evolutionary scenario of a low-mass protostar.


title: Giant oscillations in a triangular network of one-dimensional states in marginally twisted graphene

abstract: The electronic properties of graphene superlattices have attracted intense interest that was further stimulated by the recent observation of novel many-body states at "magic" angles in twisted bilayer graphene (BLG). For very small ("marginal") twist angles of 0.1 deg, BLG has been shown to exhibit a strain-accompanied reconstruction that results in submicron-size triangular domains with the Bernal stacking. If the interlayer bias is applied to open an energy gap inside the domain regions making them insulating, marginally-twisted BLG is predicted to remain conductive due to a triangular network of chiral one-dimensional (1D) states hosted by domain boundaries. Here we study electron transport through this network and report giant Aharonov-Bohm oscillations persisting to temperatures above 100 K. At liquid helium temperatures, the network resistivity exhibits another kind of oscillations that appear as a function of carrier density and are accompanied by a sign-changing Hall effect. The latter are attributed to consecutive population of the flat minibands formed by the 2D network of 1D states inside the gap. Our work shows that marginally twisted BLG is markedly distinct from other 2D electronic systems, including BLG at larger twist angles, and offers a fascinating venue for further research.


title: Flexible fibers in shear flow approach attracting periodic solutions

abstract: The three-dimensional dynamics of a single non-Brownian flexible fiber in shear flow is evaluated numerically, in the absence of inertia. A wide range of ratios A of bending to hydrodynamic forces and hundreds of initial configurations are considered. We demonstrate that flexible fibers in shear flow exhibit much more complicated evolution patterns than in the case of extensional flow, where transitions to higher-order modes of characteristic shapes are observed when A exceeds consecutive threshold values. In shear flow, we identify the existence of an attracting steady configuration and different attracting periodic motions that are approached by long-lasting rolling, tumbling and meandering dynamical modes, respectively. We demonstrate that the final stages of the first and second modes are effective Jeffery orbits, with the constant parameter C replaced by an exponential function that either decays or increases in time, respectively, corresponding to a systematic drift of the trajectories. In the limit of C going to zero, the fiber aligns with the vorticity direction and in the limit of C going to infinity, the fiber periodically tumbles within the shear plane. For moderate values of A, a three-dimensional meandering periodic motion exists, which corresponds to intermediate values of C. Transient, close to periodic oscillations are also detected in the first stages of the modes.


title: Is there any reasonable dynamics for quantum subsystems within the unitary-only quantum theory?

abstract: The foundational studies of the standard, unitary-only quantum theory revolve around the kinematical aspects of quantum entanglement and the improper quantum mixtures. In this paper, we introduce and argue for the foundational character of the question of dynamics of quantum subsystems (open quantum systems). In this context, for some typical and physically relevant Markovian processes, we technically prove non-existence of trajectories in the Hilbert state space of the open system. As a kind of no-go theorem for the unitary-only quantum theory, this finding suggests that the mixed quantum states may be joined to the individual (single) quantum subsystem dynamically described by the corresponding master equation. Then the problem of interpretation of improper mixtures dissolves while description of quantum measurement boils down to the problem of reduction of the mixed to the pure states-i.e. to the problem of actualization of definite values of certain observables of the single open systems, thus tackling the mathematical problem of interpreting probability for the single trials of an experiment. This kind of indeterminism may be the furthest we can go within the dynamical approach to quantum subsystems. As an alternative appears the possibility that the idea of dynamics of quantum subsystems may not be viable in the context of the unitary-only theory. As a direct consequence of our main finding appears the a priori impossibility to define "quantum history" in the Hilbert state space for the considered Markovian models.


title: Inducing the Lyndon Array

abstract: In this paper we propose a variant of the induced suffix sorting algorithm by Nong (TOIS, 2013) that computes simultaneously the Lyndon array and the suffix array of a text in $O(n)$ time using $\sigma + O(1)$ words of working space, where $n$ is the length of the text and $\sigma$ is the alphabet size. Our result improves the previous best space requirement for linear time computation of the Lyndon array. In fact, all the known linear algorithms for Lyndon array computation use suffix sorting as a preprocessing step and use $O(n)$ words of working space in addition to the Lyndon array and suffix array. Experimental results with real and synthetic datasets show that our algorithm is not only space-efficient but also fast in practice.


title: 3D Reconstruction of Whole Stomach from Endoscope Video Using Structure-from-Motion

abstract: Gastric endoscopy is a common clinical practice that enables medical doctors to diagnose the stomach inside a body. In order to identify a gastric lesion's location such as early gastric cancer within the stomach, this work addressed to reconstruct the 3D shape of a whole stomach with color texture information generated from a standard monocular endoscope video. Previous works have tried to reconstruct the 3D structures of various organs from endoscope images. However, they are mainly focused on a partial surface. In this work, we investigated how to enable structure-from-motion (SfM) to reconstruct the whole shape of a stomach from a standard endoscope video. We specifically investigated the combined effect of chromo-endoscopy and color channel selection on SfM. Our study found that 3D reconstruction of the whole stomach can be achieved by using red channel images captured under chromo-endoscopy by spreading indigo carmine (IC) dye on the stomach surface.


title: Learning by Active Nonlinear Diffusion

abstract: This article proposes an active learning method for high dimensional data, based on intrinsic data geometries learned through diffusion processes on graphs. Diffusion distances are used to parametrize low-dimensional structures on the dataset, which allow for high-accuracy labelings of the dataset with only a small number of carefully chosen labels. The geometric structure of the data suggests regions that have homogeneous labels, as well as regions with high label complexity that should be queried for labels. The proposed method enjoys theoretical performance guarantees on a general geometric data model, in which clusters corresponding to semantically meaningful classes are permitted to have nonlinear geometries, high ambient dimensionality, and suffer from significant noise and outlier corruption. The proposed algorithm is implemented in a manner that is quasilinear in the number of unlabeled data points, and exhibits competitive empirical performance on synthetic datasets and real hyperspectral remote sensing images.


title: Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

abstract: We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes of ontology-mediated queries answering which can be done in AC0, NC1, L, NL, P, and coNP for data complexity, provide their rewritings to first-order logic and its extensions with primitive recursion, transitive closure or datalog, and establish lower complexity bounds.


title: Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN

abstract: We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-write repository), and that balances between expressiveness and the possibility of supporting parameterized verification of safety properties on top of it. In particular, we take inspiration from the literature on verification of artifact systems, and consider verification problems where safety properties are checked irrespectively of the content of the read-only catalog, possibly considering an unbounded number of active cases and tuples in the catalog and repository. Such problems are tackled using fully implemented array-based backward reachability techniques belonging to the well-established tradition of SMT model checking. We also identify relevant classes of DABs for which the backward reachability procedure implemented in the MCMT array-based model checker is sound and complete, and then further strengthen such classes to ensure termination.


title: Designing graphene/hexagonal boron nitride superlattice monolayer with high thermoelectric performance

abstract: We design a hybrid graphene/hexagonal boron nitride superlattice monolayer and investigate its thermoelectric properties using density functional theory and Boltzmann transport equations with the relaxation time accurately treated by electron-phonon coupling calculations. Compared with that of pristine graphene, the lattice thermal conductivity of the superlattice structure is more than two orders of magnitude lower due to the enhanced three-phonon scattering process originated from the mixed-bond characteristics. Besides, the coexistence of light and heavy bands around the Fermi level leads to an ultrahigh power factor along the zigzag direction, where the highest ZT value of ~2.5 can be achieved for the n-type system at 1100 K. Moreover, it is noted that the carrier transport near the valance band minimum is almost entirely contributed by the graphene part of the superlattice. As a consequence, the thermoelectric performance of p-type system can be enhanced to be comparable with that of n-type one by appropriate substitution of nitrogen atom with phosphorus, which can suppress the lattice thermal conductivity but nearly have no influence on the hole transport.


title: Proof-of-forgery for hash-based signatures

abstract: In the present work, a peculiar property of hash-based signatures allowing detection of their forgery event is explored. This property relies on the fact that a successful forgery of a hash-based signature most likely results in a collision with respect to the employed hash function, while the demonstration of this collision could serve as convincing evidence of the forgery. Here we prove that with properly adjusted parameters Lamport and Winternitz one-time signatures schemes could exhibit a forgery detection availability property. This property is of significant importance in the framework of crypto-agility paradigm since the considered forgery detection serves as an alarm that the employed cryptographic hash function becomes insecure to use and the corresponding scheme has to be replaced.


title: Colored noise in oscillators. Phase-amplitude analysis and a method to avoid the Ito-Stratonovich dilemma

abstract: We investigate the effect of time-correlated noise on the phase fluctuations of nonlinear oscillators. The analysis is based on a methodology that transforms a system subject to colored noise, modeled as an Ornstein-Uhlenbeck process, into an equivalent system subject to white Gaussian noise. A description in terms of phase and amplitude deviation is given for the transformed system. Using stochastic averaging technique, the equations are reduced to a phase model that can be analyzed to characterize phase noise. We find that phase noise is a drift-diffusion process, with a noise-induced frequency shift related to the variance and to the correlation time of colored noise. The proposed approach improves the accuracy of previous phase reduced models.


title: Generalized Separable Nonnegative Matrix Factorization

abstract: Nonnegative matrix factorization (NMF) is a linear dimensionality technique for nonnegative data with applications such as image analysis, text mining, audio source separation and hyperspectral unmixing. Given a data matrix $M$ and a factorization rank $r$, NMF looks for a nonnegative matrix $W$ with $r$ columns and a nonnegative matrix $H$ with $r$ rows such that $M \approx WH$. NMF is NP-hard to solve in general. However, it can be computed efficiently under the separability assumption which requires that the basis vectors appear as data points, that is, that there exists an index set $\mathcal{K}$ such that $W = M(:,\mathcal{K})$. In this paper, we generalize the separability assumption: We only require that for each rank-one factor $W(:,k)H(k,:)$ for $k=1,2,\dots,r$, either $W(:,k) = M(:,j)$ for some $j$ or $H(k,:) = M(i,:)$ for some $i$. We refer to the corresponding problem as generalized separable NMF (GS-NMF). We discuss some properties of GS-NMF and propose a convex optimization model which we solve using a fast gradient method. We also propose a heuristic algorithm inspired by the successive projection algorithm. To verify the effectiveness of our methods, we compare them with several state-of-the-art separable NMF algorithms on synthetic, document and image data sets.


title: Iterative solvers for Biot model under small and large deformation

abstract: We consider L-scheme and Newton based solvers for Biot model under small or large deformation. The mechanical deformation follows the Saint Venant-Kirchoff constitutive law. Further, the fluid compressibility is assumed to be nonlinear. A Lagrangian frame of reference is used to keep track of the deformation. We perform an implicit discretization in time (backward Euler) and propose two linearization schemes for solving the nonlinear problems appearing within each time step: Newton's method and L-scheme. The linearizations are used monolithically or in combination with a splitting algorithm. The resulting schemes can be applied for any spatial discretization. The convergences of all schemes are shown analytically for cases under small deformation. Illustrative numerical examples are presented to confirm the applicability of the schemes, in particular, for large deformation.


title: Near-Earth asteroids spectroscopic survey at Isaac Newton Telescope

abstract: The population of near-Earth asteroids (NEAs) shows a large variety of objects in terms of physical and dynamical properties. They are subject to planetary encounters and to strong solar wind and radiation effects. Their study is also motivated by practical reasons regarding space exploration and long-term probability of impact with the Earth. We aim to spectrally characterize a significant sample of NEAs with sizes in the range of $\sim$0.25 - 5.5 km (categorized as large), and search for connections between their spectral types and the orbital parameters. Optical spectra of NEAs were obtained using the Isaac Newton Telescope (INT) equipped with the IDS spectrograph. These observations are analyzed using taxonomic classification and by comparison with laboratory spectra of meteorites. A total number of 76 NEAs were observed. We classified 44 of them as Q/S-complex, 16 as B/C-complex, eight as V-types, and another eight belong to the remaining taxonomic classes. Our sample contains 27 asteroids categorized as potentially hazardous and 31 possible targets for space missions including (459872) 2014 EK24, (436724) 2011 UW158, and (67367) 2000 LY27. The spectral data corresponding to (276049) 2002 CE26 and (385186) 1994 AW1 shows the 0.7 $\mu$m feature which indicates the presence of hydrated minerals on their surface. We report that Q-types have the lowest perihelia (a median value and absolute deviation of $0.797\pm0.244$ AU) and are systematically larger than the S-type asteroids observed in our sample. We explain these observational evidences by thermal fatigue fragmentation as the main process for the rejuvenation of NEA surfaces. In general terms, the taxonomic distribution of our sample is similar to the previous studies and matches the broad groups of the inner main belt asteroids. Nevertheless, we found a wide diversity of spectra compared to the standard taxonomic types.


title: Multidimensional analysis of Fermi GBM gamma-ray bursts

abstract: The Fermi GBM catalog provides a large database with many measured variables that can be used to explore and verify gamma-ray burst classification results. We have used Principal Component Analysis and statistical clustering techniques to look for clustering in a sample of 801 gamma-ray bursts described by sixteen classification variables. The analysis recovers what appears to be the Short class and two long-duration classes that differ from one another via peak flux, with negligible variations in fluence, duration and spectral hardness. Neither class has properties entirely consistent with the Intermediate GRB class. Spectral hardness has been a critical Intermediate class property. Rather than providing spectral hardness, Fermi GBM provides a range of fitting variables for four different spectral models; it is not intuitive how these variables can be used to support or disprove previous GRB classification results.


title: A dynamical version of the SYK Model and the q-Brownian Motion

abstract: We extend recent results on the asymptotic eigenvalue distribution of the SYK model to the multivariate case and relate the limit of a dynamical version of the SYK model with the q-Brownian motion, a non-commutative deformation of classical Brownian motion. Furthermore, we extend the results for fluctuations to the multivariate setting and treat also higher correlation functions. The structure of our results for the sparse SYK random matrices resembles the formulas for higher order freeness for ordinary GUE random matrices.


title: Implicit Regularization of Accelerated Methods in Hilbert Spaces

abstract: We study learning properties of accelerated gradient descent methods for linear least-squares in Hilbert spaces. We analyze the implicit regularization properties of Nesterov acceleration and a variant of heavy-ball in terms of corresponding learning error bounds. Our results show that acceleration can provides faster bias decay than gradient descent, but also suffers of a more unstable behavior. As a result acceleration cannot be in general expected to improve learning accuracy with respect to gradient descent, but rather to achieve the same accuracy with reduced computations. Our theoretical results are validated by numerical simulations. Our analysis is based on studying suitable polynomials induced by the accelerated dynamics and combining spectral techniques with concentration inequalities.


title: Formal language convexity in left-orderable groups

abstract: We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of a positive cone language in a left-orderable group passes to its finite index subgroups, and to show that there exists no left order on a finitely generated acylindrically hyperbolic group such that the corresponding positive cone is represented by a quasi-geodesic regular language. We also answer one of Navas' questions by giving an example of an infinite family of groups which admit a positive cone that is generated by exactly $k$ generators, for every $k \geq 3$. As a special case of our construction, we obtain a finitely generated positive cone for $F_2 \times \mathbb{Z}$.


title: Temporal Parallelization of Bayesian Smoothers

abstract: This paper presents algorithms for temporal parallelization of Bayesian smoothers. We define the elements and the operators to pose these problems as the solutions to all-prefix-sums operations for which efficient parallel scan-algorithms are available. We present the temporal parallelization of the general Bayesian filtering and smoothing equations and specialize them to linear/Gaussian models. The advantage of the proposed algorithms is that they reduce the linear complexity of standard smoothing algorithms with respect to time to logarithmic.


title: Prime powers dividing products of consecutive integer values of $x^{2^n}+1$

abstract: Let $n$ be a positive integer and $f(x) := x^{2^n}+1$. In this paper, we study orders of primes dividing products of the form $P_{m,n}:=f(1)f(2)\cdots f(m)$. We prove that if $m > \max\{10^{12},4^{n+1}\}$, then there exists a prime divisor $p$ of $P_{m,n}$ such that ord$_{p}(P_{m,n} )\leq n\cdot 2^{n-1}$. For $n=2$, we establish that for every positive integer $m$, there exists a prime divisor $p$ of $P_{m,2}$ such that ord$_{p} (P_{m,2}) \leq 4$. Consequently, $P_{m,2}$ is never a fifth or higher power. This extends work of Cilleruelo who studied the case $n=1$.


title: On pathological properties of fixed point algebras in Kirchberg algebras

abstract: We investigate how the fixed point algebra of a C*-dynamical system can differ from the underlying C*-algebra. For any exact group $\Gamma$ and any infinite group $\Lambda$, we construct an outer action of $\Lambda$ on the Cuntz algebra $\mathcal{O}_2$ whose fixed point algebra is almost equal to the reduced group C*-algebra ${\rm C}^\ast_{\rm r}(\Gamma)$. Moreover, we show that every infinite group admits outer actions on all Kirchberg algebras whose fixed point algebras fail the completely bounded approximation property.


title: The Security Implications of Data Subject Rights

abstract: Data protection regulations give individuals rights to obtain the information that entities have on them. However, providing such information can also reveal aspects of the underlying technical infrastructure and organisational processes. This article explores the security implications this raises, and highlights the need to consider such in rights fulfillment processes. To appear in IEEE Security & Privacy


title: Don't answer the question! How on-line Moodle-based 'Data Retrieval Tests' encourage good record-keeping and a divergent experimental mindset for undergraduate physics students

abstract: The use of Data Retrieval Tests (DRTs), as an alternative to physics laboratory notebook marking, is discussed. The implementation of a Moodle-based, on-line DRT for 1st year physics students is described. The advantages of using such a methodology are highlighted and student comments shown. The paper also describes how students change their behaviour as a consequence of having an end of module DRT via 'bootstrapping', both singly and in peer groups.


title: Extinction-induced community reorganization in bipartite networks

abstract: We study how the community structure of bipartite mutualistic networks changes in a dynamic context. First, we consider a real mutualistic network and introduce extinction events according to several scenarios. We model extinctions as node or interaction removals. For node removal, we consider random, directed and sequential extinctions; for interaction removal, we consider random extinctions. The bipartite network reorganizes showing an increase of the effective modularity and a fast decrease of the persistence of the species in the original communities with increasing number of extinction events. Second, we compare extinctions in a real mutualistic network with the growth of a bipartite network model. The modularity reaches a stationary value and nodes remain in the same community after joining the network. Our results show that perturbations and disruptive events affect the connectivity pattern of mutualistic networks at the mesoscale level. The increase of the effective modularity observed in some scenarios could provide some protection to the remaining ecosystem.


title: Josephson Junction Field-effect Transistors for Boolean Logic Cryogenic Applications

abstract: Josephson junction field effect transistors (JJ-FET) share design similarities with metal-oxide-semiconductor field effect transistors, except for the source/drain contacts being replaced by superconductors. Similarly, the super current due to proximity effect is tunable by the gate voltage. In this study, we examine the feasibility of JJ-FET-based Boolean logic and memory elements for cryogenic computing, in light of recent advances in novel materials and fabrication techniques. Using a two-dimensional ballistic transport JJ-FET model, we implement circuit level simulations for JJ-FET logic gates, and discuss criteria for realizing signal restoration, as well as fanout. We show that the JJ-FET is a promising candidate for very low power, clocked voltage-level dynamic logic at cryogenic temperatures.


title: The lure of conformal symmetry

abstract: The Clifford algebra, generated by the real (Majorana) gamma-matrices and by a hermitian gamma_5, gives room to the reductive Lie algebra u(2,2) of the conformal group extended by the u(1) helicity operator. Its unitary positive energy ladder representations, constructed by Gerhard Mack and the author 50 years ago, opened the way to a better understanding of zero-mass particles and fields and their relation to the space of bound states of the hydrogen atom. They became a prototypical example of a minimal representation of a non-compact reductive group introduced during the subsequent decade by Joseph. By the mid 1980's I have developed an analytic approach to compactified Minkowski space, suited for extending the notion of vertex operator algebras to higher dimensions. Another 20 years later Nikolay Nikolov and I realized that thermal correlation functions of massless fields are doubly periodic elliptic functions while the logarithmic derivative of the corresponding partition function is a modular form reproducing Planck's black body radiation law.


title: Definitively Identifying an Inherent Limitation to Actual Cognition

abstract: A century ago, discoveries of a serious kind of logical error made separately by several leading mathematicians led to acceptance of a sharply enhanced standard for rigor within what ultimately became the foundation for Computer Science. By 1931, Godel had obtained a definitive and remarkable result: an inherent limitation to that foundation. The resulting limitation is not applicable to actual human cognition, to even the smallest extent, unless both of these extremely brittle assumptions hold: humans are infallible reasoners and reason solely via formal inference rules. Both assumptions are contradicted by empirical data from well-known Cognitive Science experiments. This article investigates how a novel multi-part methodology recasts computability theory within Computer Science to obtain a definitive limitation whose application to human cognition avoids assumptions contradicting empirical data. The limitation applies to individual humans, to finite sets of humans, and more generally to any real-world entity.