title: Baryogenesis in $f(Q,\mathcal{T})$ Gravity

abstract: The article communicates exploration of gravitational baryogenesis in presence of $f(Q,\mathcal{ T})$ gravity where $Q$ denote the nonmetricity and $\mathcal{ T}$ the trace of the energy momentum tensor. We study various baryogenesis interactions proportional to $\dot{Q}$ and $\dot{Q}f_{Q}$ for the $f(Q,\mathcal{ T})$ gravity model $f(Q,\mathcal{ T})=\alpha Q ^{n+1} + \beta \mathcal{ T}$, where $\alpha$, $\beta$ and $n$ are model parameters. Additionally we report the viable parameter spaces for which an observationally consistent baryon-to-entropy can be generated. Our results indicate that $f(Q,\mathcal{ T})$ gravity can contribute significantly and consistently to the phenomenon of gravitational baryognesis.


title: Entanglement as a resource for naturalness

abstract: A novel approach to understanding the hierarchy problem is presented making use of topological aspects of the renormalisation group and the ER-EPR interpretation of entanglement. A common discussion of the renormalisation group, the black hole horizon and the expected entanglement between outgoing Hawking radiation and the interior, the cosmic censorship mechanism and the cosmological constant problem is envisaged.


title: A machine-learning software-systems approach to capture social, regulatory, governance, and climate problems

abstract: This paper will discuss the role of an artificially-intelligent computer system as critique-based, implicit-organizational, and an inherently necessary device, deployed in synchrony with parallel governmental policy, as a genuine means of capturing nation-population complexity in quantitative form, public contentment in societal-cooperative economic groups, regulatory proposition, and governance-effectiveness domains. It will discuss a solution involving a well-known algorithm and proffer an improved mechanism for knowledge-representation, thereby increasing range of utility, scope of influence (in terms of differentiating class sectors) and operational efficiency. It will finish with a discussion of these and other historical implications.


title: An FLRW interacting dark energy model of the Universe

abstract: In this paper, we have presented an FLRW universe containing two-fluids (baryonic and dark energy) with a deceleration parameter (DP) having a transition from past decelerating to the present accelerating universe. In this model, dark energy (DE) interacts with dust to produce a new law for the density. As per our model, our universe is at present in a phantom phase after passing through a quintessence phase in the past. The physical importance of the two-fluid scenario is described in various aspects. The model is shown to satisfy current observational constraints such as recent Planck results. Various cosmological parameters relating to the history of the universe have been investigated.


title: On clusters of Brownian loops in d dimensions

abstract: We discuss random geometric structures obtained by percolation of Brownian loops, in relation to the Gaussian Free Field, and how their existence and properties depend on the dimension of the ambient space. We formulate a number of conjectures for the cases d=3,4,5 and prove some results when d > 6.


title: Topological Properties of SnSe/EuS and SnTe/CaTe Interfaces

abstract: We use density functional theory calculations to study the electronic structure of epitaxial (111) interfaces of the topological crystalline insulators SnSe and SnTe with the magnetic insulator EuS and the non-magnetic insulator CaTe, respectively. We consider both interface slab models with a vacuum region and periodic heterostructures without vacuum. We find that gaps of 21 meV at the $\Gamma$ point and 9 meV at the M point arise in the topological state at the SnSe/EuS interface, due to the magnetic proximity effect, which breaks the time reversal symmetry. The surface state at $\Gamma$ is shifted below the Fermi level by 88 meV and the surface state at M is shifted above the Fermi level by 47 meV, owing to band bending at the interface. By comparison, the topological state at the interface of SnTe/CaTe is unperturbed by the presence of non-magnetic CaTe.


title: Lower bound for the Erd\H{o}s-Burgess constant of finite commutative rings

abstract: Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erd\H{o}s-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ such that for any given $\ell$ elements (repetitions are allowed) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we give a lower bound of the Erd\H{o}s-Burgess constant in a finite commutative unitary ring in terms of all its maximal ideals, and prove that the lower bound is attained in some cases. The result unifies some recently obtained theorems on this invariant.


title: Cacheable and Non-Cacheable Traffic Interplay in a Relay-Assisted Wireless Network

abstract: We study a discrete-time wireless network that serves both cacheable and non-cacheable traffic with assistance of a relay node with storage capabilities for both types of traffic. We investigate how allocating the storage capacity to cacheable and non-cacheable traffic affects the network throughput. Our numerical results provide useful insights by varying not only the allocation of cacheable to non-cacheable storage but also the rate by which non-cacheable content is transmitted, the rate by which cacheable content is requested, as well as different popularity distributions of the cached files.


title: A closed densely defined operator $T$ such that both $T$ and $T^*$ are injective and paranormal yet $T$ is not normal

abstract: In this note, we give an example of a densely defined closed one-to-one paranormal operator $T$ whose adjoint is also injective and paranormal, but $T$ fails to be normal.


title: Exceeding the Landau superflow speed limit with topological Bogoliubov Fermi surfaces

abstract: A common property of topological systems is the appearance of topologically protected zero-energy excitations. In a superconductor or superfluid such states set the critical velocity of dissipationless flow $v_{\mathrm{cL}}$, proposed by Landau, to zero. We check experimentally whether stable superflow is nevertheless possible in the polar phase of p-wave superfluid $^3$He, which features a Dirac node line in the energy spectrum of Bogoliubov quasiparticles. The fluid is driven by rotation of the whole cryostat, and superflow breakdown is seen as the appearance of single- or half-quantum vortices. Vortices are detected using the relaxation rate of a Bose-Einstein condensate of magnons, created within the fluid. The superflow in the polar phase is found to be stable up to a finite critical velocity $v_{\rm c}\approx 0.2\,$cm/s, despite the zero value of the Landau critical velocity. We suggest that the stability of the superflow above $v_{\mathrm{cL}}$ but below $v_{\rm c}$ is provided by the accumulation of the flow-induced quasiparticles into pockets in the momentum space, bounded by Bogoliubov Fermi surfaces. In the polar phase this surface has non-trivial topology which includes two pseudo-Weyl points. Vortices forming above the critical velocity are strongly pinned in the confining matrix, used to stabilize the polar phase, and hence stable macroscopic superflow can be maintained even when the external drive is brought to zero.


title: CookGAN: Meal Image Synthesis from Ingredients

abstract: In this work we propose a new computational framework, based on generative deep models, for synthesis of photo-realistic food meal images from textual list of its ingredients. Previous works on synthesis of images from text typically rely on pre-trained text models to extract text features, followed by generative neural networks (GAN) aimed to generate realistic images conditioned on the text features. These works mainly focus on generating spatially compact and well-defined categories of objects, such as birds or flowers, but meal images are significantly more complex, consisting of multiple ingredients whose appearance and spatial qualities are further modified by cooking methods. To generate real-like meal images from ingredients, we propose Cook Generative Adversarial Networks (CookGAN), CookGAN first builds an attention-based ingredients-image association model, which is then used to condition a generative neural network tasked with synthesizing meal images. Furthermore, a cycle-consistent constraint is added to further improve image quality and control appearance. Experiments show our model is able to generate meal images corresponding to the ingredients.


title: The undecidability of joint embedding for 3-dimensional permutation classes

abstract: As a step towards resolving a question of Ru\v{s}kuc on the decidability of joint embedding for hereditary classes of permutations, which may be viewed as structures in a language of 2 linear orders, we show the corresponding problem is undecidable for hereditary classes of structures in a language of 3 linear orders.


title: Probabilistic approach to physical object disentangling

abstract: Physically disentangling entangled objects from each other is a problem encountered in waste segregation or in any task that requires disassembly of structures. Often there are no object models, and, especially with cluttered irregularly shaped objects, the robot can not create a model of the scene due to occlusion. One of our key insights is that based on previous sensory input we are only interested in moving an object out of the disentanglement around obstacles. That is, we only need to know where the robot can successfully move in order to plan the disentangling. Due to the uncertainty we integrate information about blocked movements into a probability map. The map defines the probability of the robot successfully moving to a specific configuration. Using as cost the failure probability of a sequence of movements we can then plan and execute disentangling iteratively. Since our approach circumvents only previously encountered obstacles, new movements will yield information about unknown obstacles that block movement until the robot has learned to circumvent all obstacles and disentangling succeeds. In the experiments, we use a special probabilistic version of the Rapidly exploring Random Tree (RRT) algorithm for planning and demonstrate successful disentanglement of objects both in 2-D and 3-D simulation, and, on a KUKA LBR 7-DOF robot. Moreover, our approach outperforms baseline methods.


title: Flux-based statistical prediction of three-body outcomes

abstract: The gravitational three-body problem is a rich open problem, dating back to Newton. It serves as a prototypical example of a chaotic system and has numerous applications in astrophysics. Generically, the motion is non-integrable and susceptible to disintegration, and for negative total energy the decay outcome is a free body flying apart from a binary. Since Poincar\'e, the problem is known to be chaotic and is believed to lack a general deterministic solution. Instead, decades ago a statistical solution was marked as a goal. Yet, despite considerable progress, all extant approaches display two flaws. First, probability was equated with phase space volume, thereby ignoring the fact that significant regions of phase space describe regular motion, including post-decay motion. Secondly and relatedly, an adjustable parameter, the strong interaction region, which is a sort of cutoff, was a central ingredient of the theory. This paper introduces remedies and presents for the first time a statistical prediction of decay rates, in addition to outcomes. Based on an analogy with a particle moving within a leaky container, the statistical distribution is presented in an exactly factorized form. One factor is the flux of phase-space volume, rather than the volume itself, and it is given in a cutoff-independent closed-form. The other factors are the chaotic absorptivity and the regularized phase space volume. The situation is analogous to Kirchhoff's law of thermal radiation, also known as greybody radiation. In addition, an equation system for the time evolution of the statistical distribution is introduced; it describes the decay rate statistics while accounting for sub-escape excursions. Early numerical tests indicate a leap in accuracy.


title: On the Effectiveness of Mitigating Data Poisoning Attacks with Gradient Shaping

abstract: Machine learning algorithms are vulnerable to data poisoning attacks. Prior taxonomies that focus on specific scenarios, e.g., indiscriminate or targeted, have enabled defenses for the corresponding subset of known attacks. Yet, this introduces an inevitable arms race between adversaries and defenders. In this work, we study the feasibility of an attack-agnostic defense relying on artifacts that are common to all poisoning attacks. Specifically, we focus on a common element between all attacks: they modify gradients computed to train the model. We identify two main artifacts of gradients computed in the presence of poison: (1) their $\ell_2$ norms have significantly higher magnitudes than those of clean gradients, and (2) their orientation differs from clean gradients. Based on these observations, we propose the prerequisite for a generic poisoning defense: it must bound gradient magnitudes and minimize differences in orientation. We call this gradient shaping. As an exemplar tool to evaluate the feasibility of gradient shaping, we use differentially private stochastic gradient descent (DP-SGD), which clips and perturbs individual gradients during training to obtain privacy guarantees. We find that DP-SGD, even in configurations that do not result in meaningful privacy guarantees, increases the model's robustness to indiscriminate attacks. It also mitigates worst-case targeted attacks and increases the adversary's cost in multi-poison scenarios. The only attack we find DP-SGD to be ineffective against is a strong, yet unrealistic, indiscriminate attack. Our results suggest that, while we currently lack a generic poisoning defense, gradient shaping is a promising direction for future research.


title: Multi-frequency calibration for DOA estimation with distributed sensors

abstract: In this work, we investigate direction finding in the presence of sensor gain uncertainties and directional perturbations for sensor array processing in a multi-frequency scenario. Specifically, we adopt a distributed optimization scheme in which coherence models are incorporated and local agents exchange information only between connected nodes in the network, i.e., without a fusion center. Numerical simulations highlight the advantages of the proposed parallel iterative technique in terms of statistical and computational efficiency.


title: A convex model for induction motor starting transients imbedded in an OPF-based optimization problem

abstract: Large horsepower induction motors play a critical role in the operation of industrial facilities. In this respect, the distribution network operators dedicate a high priority to the operational safety of these motor loads. In this paper, the induction motor starting is modeled analytically and in a semi-static fashion. This model is imbedded in a convex distribution system restoration problem. In this optimization problem, it is aimed to determine the optimal status of static loads and the optimal dispatch of distributed generators such that: a) the induction motors can be reaccelerated in a safe way and, b) the total power of static loads that cannot be supplied before the motor energization, is minimized. The proposed optimization problem is applied in the case of a distribution network under different simulation scenarios. The feasibility and accuracy of the obtained results are validated using a) off-line time-domain simulations, and b) Power Hardware-In-the-Loop experiments.


title: Robust Underlay Device-to-Device Communications on Multiple Channels

abstract: Most recent works in device-to-device (D2D) underlay communications focus on the optimization of either power or channel allocation to improve the spectral efficiency, and typically consider uplink and downlink separately. Further, several of them also assume perfect knowledge of channel-stateinformation (CSI). In this paper, we formulate a joint uplink and downlink resource allocation scheme, which assigns both power and channel resources to D2D pairs and cellular users in an underlay network scenario. The objective is to maximize the overall network rate while maintaining fairness among the D2D pairs. In addition, we also consider imperfect CSI, where we guarantee a certain outage probability to maintain the desired quality-of-service (QoS). The resulting problem is a mixed integer non-convex optimization problem and we propose both centralized and decentralized algorithms to solve it, using convex relaxation, fractional programming, and alternating optimization. In the decentralized setting, the computational load is distributed among the D2D pairs and the base station, keeping also a low communication overhead. Moreover, we also provide a theoretical convergence analysis, including also the rate of convergence to stationary points. The proposed algorithms have been experimentally tested in a simulation environment, showing their favorable performance, as compared with the state-of-the-art alternatives.


title: Dual Graph Representation Learning

abstract: Graph representation learning embeds nodes in large graphs as low-dimensional vectors and is of great benefit to many downstream applications. Most embedding frameworks, however, are inherently transductive and unable to generalize to unseen nodes or learn representations across different graphs. Although inductive approaches can generalize to unseen nodes, they neglect different contexts of nodes and cannot learn node embeddings dually. In this paper, we present a context-aware unsupervised dual encoding framework, \textbf{CADE}, to generate representations of nodes by combining real-time neighborhoods with neighbor-attentioned representation, and preserving extra memory of known nodes. We exhibit that our approach is effective by comparing to state-of-the-art methods.


title: The importance of magnetic fields for the initial mass function of the first stars

abstract: Magnetic fields play an important role for the formation of stars in both local and high-redshift galaxies. Recent studies of dynamo amplification in the first dark matter haloes suggest that significant magnetic fields were likely present during the formation of the first stars in the Universe at redshifts of 15 and above. In this work, we study how these magnetic fields potentially impact the initial mass function (IMF) of the first stars. We perform 200 high-resolution, three-dimensional (3D), magneto-hydrodynamic (MHD) simulations of the collapse of primordial clouds with different initial turbulent magnetic field strengths as predicted from turbulent dynamo theory in the early Universe, forming more than 1100 first stars in total. We detect a strong statistical signature of suppressed fragmentation in the presence of strong magnetic fields, leading to a dramatic reduction in the number of first stars with masses low enough that they might be expected to survive to the present day. Additionally, strong fields shift the transition point where stars go from being mostly single to mostly multiple to higher masses. However, irrespective of the field strength, individual simulations are highly chaotic, show different levels of fragmentation and clustering, and the outcome depends on the exact realisation of the turbulence in the primordial clouds. While these are still idealised simulations that do not start from cosmological initial conditions, our work shows that magnetic fields play a key role for the primordial IMF, potentially even more so than for the present-day IMF.


title: Wavelet-based temporal models of human activity for anomaly detection in smart robot-assisted environments

abstract: Abstract. Detecting anomalies in patterns of sensor data is important in many practical applications, including domestic activity monitoring for Active Assisted Living (AAL). How to represent and analyse these patterns, however, remains a challenging task, especially when data is relatively scarce and an explicit model is required to be fine-tuned for specific scenarios. This paper, therefore, presents a new approach for temporal modelling of long-term human activities with smart-home sensors, which is used to detect anomalous situations in a robot-assisted environment. The model is based on wavelet transforms and used to forecast smart sensor data, providing a temporal prior to detect unexpected events in human environments. To this end, a new extension of Hybrid Markov Logic Networks has been developed that merges different anomaly indicators, including activities detected by binary sensors, expert logic rules, and wavelet-based temporal models. The latter in particular allows the inference system to discover deviations from long-term activity patterns, which cannot be detected by simpler frequency-based models. Two new publicly available datasets were collected using several smart-sensors to evaluate the approach in office and domestic scenarios. The experimental results demonstrate the effectiveness of the proposed solutions and their successful deployment in complex human environments, showing their potential for future smart-home and robot integrated services.


title: Equitable Allocations of Indivisible Chores

abstract: We study fair allocation of indivisible chores (i.e., items with non-positive value) among agents with additive valuations. An allocation is deemed fair if it is (approximately) equitable, which means that the disutilities of the agents are (approximately) equal. Our main theoretical contribution is to show that there always exists an allocation that is simultaneously equitable up to one chore (EQ1) and Pareto optimal (PO), and to provide a pseudopolynomial-time algorithm for computing such an allocation. In addition, we observe that the Leximin solution---which is known to satisfy a strong form of approximate equitability in the goods setting---fails to satisfy even EQ1 for chores. It does, however, satisfy a novel fairness notion that we call equitability up to any duplicated chore. Our experiments on synthetic as well as real-world data obtained from the Spliddit website reveal that the algorithms considered in our work satisfy approximate fairness and efficiency properties significantly more often than the algorithm currently deployed on Spliddit.


title: Relaxed Scheduling for Scalable Belief Propagation

abstract: The ability to leverage large-scale hardware parallelism has been one of the key enablers of the accelerated recent progress in machine learning. Consequently, there has been considerable effort invested into developing efficient parallel variants of classic machine learning algorithms. However, despite the wealth of knowledge on parallelization, some classic machine learning algorithms often prove hard to parallelize efficiently while maintaining convergence. In this paper, we focus on efficient parallel algorithms for the key machine learning task of inference on graphical models, in particular on the fundamental belief propagation algorithm. We address the challenge of efficiently parallelizing this classic paradigm by showing how to leverage scalable relaxed schedulers in this context. We present an extensive empirical study, showing that our approach outperforms previous parallel belief propagation implementations both in terms of scalability and in terms of wall-clock convergence time, on a range of practical applications.


title: Using Distributional Thesaurus Embedding for Co-hyponymy Detection

abstract: Discriminating lexical relations among distributionally similar words has always been a challenge for natural language processing (NLP) community. In this paper, we investigate whether the network embedding of distributional thesaurus can be effectively utilized to detect co-hyponymy relations. By extensive experiments over three benchmark datasets, we show that the vector representation obtained by applying node2vec on distributional thesaurus outperforms the state-of-the-art models for binary classification of co-hyponymy vs. hypernymy, as well as co-hyponymy vs. meronymy, by huge margins.


title: A Simulation Model Demonstrating the Impact of Social Aspects on Social Internet of Things

abstract: In addition to seamless connectivity and smartness, the objects in the Internet of Things (IoT) are expected to have the social capabilities -- these objects are termed as ``social objects''. In this paper, an intuitive paradigm of social interactions between these objects are argued and modeled. The impact of social behavior on the interaction pattern of social objects is studied taking Peer-to-Peer (P2P) resource sharing as an example application. The model proposed in this paper studies the implications of competitive vs. cooperative social paradigm, while peers attempt to attain the shared resources / services. The simulation results divulge that the social capabilities of the peers impart a significant increase in the quality of interactions between social objects. Through an agent-based simulation study, it is proved that cooperative strategy is more efficient than competitive strategy. Moreover, cooperation with an underpinning on real-life networking structure and mobility does not negatively impact the efficiency of the system at all; rather it helps.


title: A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms

abstract: TCSPs (Temporal Constraint Satisfaction Problems), as defined in [Dechter et al., 1991], get rid of unary constraints by binarizing them after having added an "origin of the world" variable. In this work, we look at the constraints between the "origin of the world" variable and the other variables, as the (binarized) domains of these other variables. With this in mind, we define a notion of arc-consistency for TCSPs, which we will refer to as binarized-domains Arc-Consistency, or bdArc-Consistency for short. We provide an algorithm achieving bdArc-Consistency for a TCSP, which we will refer to as bdAC-3, for it is an adaptation of Mackworth's [1977] well-known arc-consistency algorithm AC-3. We show that if a convex TCSP, referred to in [Dechter et al., 1991] as an STP (Simple Temporal Problem), is bdArc-Consistent, and its "origin of the world" variable disconnected from none of the other variables, its binarized domains are minimal. We provide two polynomial backtrack-free procedures: one for the task of getting, from a bdArc-Consistent STP, either that it is inconsistent or, in case of consistency, a bdArc-Consistent STP refinement whose "origin of the world" variable is disconnected from none of the other variables; the other for the task of getting a solution from a bdArc-Consistent STP whose "origin of the world" variable is disconnected from none of the other variables. We then show how to use our results both in a general TCSP solver and in a TCSP-based job shop scheduler. From our work can be extracted a one-to-all all-to-one shortest paths algorithm of an IR-labelled directed graph. Finally, we show that an existing adaptation to TCSPs of Mackworth's [1977] path-consistency algorithm PC-2 is not guaranteed to always terminate, and correct it.


title: Region of Interest Identification for Brain Tumors in Magnetic Resonance Images

abstract: Glioma is a common type of brain tumor, and accurate detection of it plays a vital role in the diagnosis and treatment process. Despite advances in medical image analyzing, accurate tumor segmentation in brain magnetic resonance (MR) images remains a challenge due to variations in tumor texture, position, and shape. In this paper, we propose a fast, automated method, with light computational complexity, to find the smallest bounding box around the tumor region. This region-of-interest can be used as a preprocessing step in training networks for subregion tumor segmentation. By adopting the outputs of this algorithm, redundant information is removed; hence the network can focus on learning notable features related to subregions' classes. The proposed method has six main stages, in which the brain segmentation is the most vital step. Expectation-maximization (EM) and K-means algorithms are used for brain segmentation. The proposed method is evaluated on the BraTS 2015 dataset, and the average gained DICE score is 0.73, which is an acceptable result for this application.


title: Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter

abstract: The aim of this work is to thoroughly investigate Buchi automata augmented with spatial constraints. The input trees of such an automaton are infinite k-ary Sigma-trees, with the nodes standing for time points, and Sigma including, additionally to its uses in classical k-ary Sigma-trees, the description of the snapshot of an n-object spatial scene of interest. The constraints, from an RCC8-like spatial Relation Algebra (RA) x, are used to impose spatial constraints on objects of the spatial scene, eventually at different nodes of the input trees. We show that a Buchi alternating automaton augmented with spatial constraints can be simulated with a classical Buchi nondeterministic automaton of the same type, augmented with spatial constraints. We then provide a nondeterministic doubly depth-first polynomial space algorithm for the emptiness problem of the latter automaton. Our main motivation came from another work, also submitted to this conference, which defines a spatio-temporalisation of the well-known family ALC(D) of description logics with a concrete domain: together, the two works provide an effective solution to the satisfiability problem of a concept of the spatio-temporalisation with respect to a weakly cyclic TBox.


title: A Comparative Study of Machine Learning Models for Predicting the State of Reactive Mixing

abstract: Accurate predictions of reactive mixing are critical for many Earth and environmental science problems. To investigate mixing dynamics over time under different scenarios, a high-fidelity, finite-element-based numerical model is built to solve the fast, irreversible bimolecular reaction-diffusion equations to simulate a range of reactive-mixing scenarios. A total of 2,315 simulations are performed using different sets of model input parameters comprising various spatial scales of vortex structures in the velocity field, time-scales associated with velocity oscillations, the perturbation parameter for the vortex-based velocity, anisotropic dispersion contrast, and molecular diffusion. Outputs comprise concentration profiles of the reactants and products. The inputs and outputs of these simulations are concatenated into feature and label matrices, respectively, to train 20 different machine learning (ML) emulators to approximate system behavior. The 20 ML emulators based on linear methods, Bayesian methods, ensemble learning methods, and multilayer perceptron (MLP), are compared to assess these models. The ML emulators are specifically trained to classify the state of mixing and predict three quantities of interest (QoIs) characterizing species production, decay, and degree of mixing. Linear classifiers and regressors fail to reproduce the QoIs; however, ensemble methods (classifiers and regressors) and the MLP accurately classify the state of reactive mixing and the QoIs. Among ensemble methods, random forest and decision-tree-based AdaBoost faithfully predict the QoIs. At run time, trained ML emulators are $\approx10^5$ times faster than the high-fidelity numerical simulations. Speed and accuracy of the ensemble and MLP models facilitate uncertainty quantification, which usually requires 1,000s of model run, to estimate the uncertainty bounds on the QoIs.


title: Kuelbs-Steadman spaces on Separable Banach spaces

abstract: The purpose of this paper is to construct a new class of separable Banach spaces $\K^p[\mathbb{B}], \; 1\leq p \leq \infty$. Each of these spaces contain the $ \mcL^p[\mathbb{B}] $ spaces, as well as the space $\mfM[\R^\iy]$, of finitely additive measures as dense continuous compact embeddings. These spaces are of interest because they also contain the Henstock-Kurzweil integrable functions on $\mathbb{B}$. Finally, we offer a interesting approach to the Fourier transform on $\K^p[\mathbb{B}].$


title: Indicator & crowding Distance-Based Evolutionary Algorithm for Combined Heat and Power Economic Emission Dispatch

abstract: Heat and power have become the most indispensable resources. However, the traditional ways of generating power and heat are inefficient and cause high pollution; a CHP (Combined Heat and Power) unit can solve these problems well. In recent years, more attention has been paid to energy conservation and environmental protection, and Combined Heat and Power Economic Emission Dispatch (CHPEED) has become an important multi-objective optimization problem. In this paper, an Indicator & crowding Distance-based Evolutionary Algorithm (IDBEA) is put forward for handling this non-convex and non-linear problem. With consideration of the valve-point effects and power transmission loss, IDBEA is tested on three standard test systems with different types, including four units, five units and seven units. In the experiment, IDBEA is compared with several evolutionary algorithms, the simulation results demonstrate that IDBEA has strong stability and superiority, while the solutions show better convergence and diversity than several typical algorithms.


title: Comment on "Noise, not squeezing, boosts synchronization in the deep quantum regime" arXiv:2002.07488 (2020)

abstract: A recent manuscript ( arXiv:2002.07488 (2020) ) compares the effect of linear dissipators and squeezing drive on quantum synchronisation. We point at serious mistakes in the validity of the equations they use, the consistency of the ansatz employed, the unregulated fashion in which parameters are varied and the misleading scientific statements made in their manuscript.


title: Magmatic volatiles to assess permeable volcano-tectonic structures in the Los Humeros geothermal field, Mexico

abstract: Magmatic volatiles can be considered as the surface fingerprint of active volcanic systems, both during periods of quiescent and eruptive volcanic activity. The spatial variability of gas emissions at Earths surface is a proxy for structural discontinuities in the subsurface of volcanic systems. We conducted extensive and regular spaced soil gas surveys within the Los Humeros geothermal field to improve the understanding of the structural control on fluid flow. Surveys at different scales were performed with the aim to identify areas of increased gas emissions on reservoir scale, their relation to unknown/knows volcano-tectonic structures on fault scale favoring fluid flow, and determine the origin of gas emissions. Herein, we show results from a carbon dioxide efflux scouting survey, which was performed across the main geothermal production zone together with soil temperature measurements. We identified five areas with increased carbon dioxide emissions, where further sampling was performed with denser sampling grids to understand the fault zone architecture and local variations in gas emissions. We show that a systematic sampling approach on reservoir scale is necessary for the identification and assessment of major permeable fault segments. The combined processing of CO2 efflux and carbon/helium isotopes facilitated the detection of permeable structural segments with a connection to the deep, high-temperature geothermal reservoir, also in areas with low to intermediate carbon dioxide emissions. The results of this study complement existing geophysical datasets and define further promising areas for future exploration activities in the north- and southwestern sector of the production field.


title: Automated detector simulation and reconstruction parametrization using machine learning

abstract: Rapidly applying the effects of detector response to physics objects (e.g. electrons, muons, showers of particles) is essential in high energy physics. Currently available tools for the transformation from truth-level physics objects to reconstructed detector-level physics objects involve manually defining resolution functions. These resolution functions are typically derived in bins of variables that are correlated with the resolution (e.g. pseudorapidity and transverse momentum). This process is time consuming, requires manual updates when detector conditions change, and can miss important correlations. Machine learning offers a way to automate the process of building these truth-to-reconstructed object transformations and can capture complex correlation for any given set of input variables. Such machine learning algorithms, with sufficient optimization, could have a wide range of applications: improving phenomenological studies by using a better detector representation, allowing for more efficient production of Geant4 simulation by only simulating events within an interesting part of phase space, and studies on future experimental sensitivity to new physics.


title: Extreme narrow magnetic domain walls in U ferromagnets: The UCoGa case

abstract: Surface magnetic domains of a UCoGa single crystal during magnetization/demagnetization processes in increasing/decreasing magnetic fields were investigated by means of magnetic-force-microscopy (MFM) images at low temperatures. The observed domain structure is typical for a ferromagnet with strong uniaxial anisotropy. The evolution of magnetic domains during cooling of the crystal below TC has also been manifested by MFM images. Analysis of the available data reveals that the high uniaxial magnetocrystalline energy in combination with the relatively small ferromagnetic exchange interaction in UCoGa gives rise to the formation of very narrow domain walls formed by the pairs of the nearest U neighbor ions with antiparallel magnetic moments within the basal plane. Since the very high anisotropy energy is a common feature of the majority of the uniaxial U ferromagnets, analogous domain-wall properties are expected for all these materials.


title: A Study of Subminimal Logics of Negation and their Modal Companions

abstract: We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use duality and completeness results to show that there are uncountably many subminimal logics. We also give model-theoretic and algebraic definitions of filtration for minimal logic and show that they are dual to each other. These constructions ensure that the propositional minimal logic has the finite model property. Finally, we define and investigate bi-modal companions with non-normal modal operators for some relevant subminimal systems, and give infinite axiomatizations for these bi-modal companions.


title: Decidability of Sample Complexity of PAC Learning in finite setting

abstract: In this short note we observe that the sample complexity of PAC machine learning of various concepts, including learning the maximum (EMX), can be exactly determined when the support of the probability measures considered as models satisfies an a-priori bound. This result contrasts with the recently discovered undecidability of EMX within ZFC for finitely supported probabilities (with no a priori bound). Unfortunately, the decision procedure is at present, at least doubly exponential in the number of points times the uniform bound on the support size.


title: Self-improvement of weighted pointwise inequalities on open sets

abstract: We prove a general self-improvement property for a family of weighted pointwise inequalities on open sets, including pointwise Hardy inequalities with distance weights. For this purpose we introduce and study the classes of $p$-Poincar\'e and $p$-Hardy weights for an open set $\Omega\subset X$, where $X$ is a metric measure space. We also apply the self-improvement of weighted pointwise Hardy inequalities in connection with usual integral versions of Hardy inequalities.


title: Stern Layers on Surfaces of RuO2(100), RuO2(110), and Pt(111): Surface X-ray Scattering Studies

abstract: Surface X-ray scattering studies of electrochemical Stern layer are reported. The Stern layers formed at the interfaces of RuO2 (110) and (100) in 0.1 M CsF electrolyte are compared to the previously reported Stern layer on Pt(111) [Liu et al., J. Phys. Chem. Lett., 9 (2018) 1265]. While the Cs+ density profiles at the potentials close to hydrogen evolution reaction are similar, the hydration layers intervening the surface and the Cs+ layer on RuO2 surfaces are significantly denser than the hydration layer on Pt(111) surface possibly due to the oxygen termination of RuO2 surfaces. We also discuss in-plane ordering in the Stern layer on Pt(111) surface.


title: Benchmarking Network Embedding Models for Link Prediction: Are We Making Progress?

abstract: Network embedding methods map a network's nodes to vectors in an embedding space, in such a way that these representations are useful for estimating some notion of similarity or proximity between pairs of nodes in the network. The quality of these node representations is then showcased through results of downstream prediction tasks. Commonly used benchmark tasks such as link prediction, however, present complex evaluation pipelines and an abundance of design choices. This, together with a lack of standardized evaluation setups can obscure the real progress in the field. In this paper, we aim to shed light on the state-of-the-art of network embedding methods for link prediction and show, using a consistent evaluation pipeline, that only thin progress has been made over the last years. The newly conducted benchmark that we present here, including 17 embedding methods, also shows that many approaches are outperformed even by simple heuristics. Finally, we argue that standardized evaluation tools can repair this situation and boost future progress in this field.


title: Using Reinforcement Learning in the Algorithmic Trading Problem

abstract: The development of reinforced learning methods has extended application to many areas including algorithmic trading. In this paper trading on the stock exchange is interpreted into a game with a Markov property consisting of states, actions, and rewards. A system for trading the fixed volume of a financial instrument is proposed and experimentally tested; this is based on the asynchronous advantage actor-critic method with the use of several neural network architectures. The application of recurrent layers in this approach is investigated. The experiments were performed on real anonymized data. The best architecture demonstrated a trading strategy for the RTS Index futures (MOEX:RTSI) with a profitability of 66% per annum accounting for commission. The project source code is available via the following link: http://github.com/evgps/a3c_trading.


title: Ultra Reliable Communication via Optimum Power Allocation for HARQ Retransmission Schemes

abstract: In this work, we develop low complexity, optimal power allocation algorithms that would allow ultra reliable operation at any outage probability target with minimum power consumption in the finite blocklength regime by utilizing Karush-Kuhn-Tucker (KKT) conditions. In our setup, we assume that the transmitter does not know the channel state information (CSI). First, we show that achieving a very low packet outage probability by using an open loop setup requires extremely high power consumption. Thus, we resort to retransmission schemes as a solution, namely Automatic Repeat Request (ARQ), Chase Combining Hybrid ARQ (CC-HARQ) and Incremental Redundancy (IR) HARQ. Countrary to classical approaches, where it is optimal to allocate equal power with each transmission, we show that for operation in the ultra reliable regime (URR), the optimal strategy suggests transmission with incremental power in each round. Numerically, we evaluate the power gains of the proposed protocol. We show that the best power saving is given by IR-HARQ protocol. Further, we show that when compared to the one shot transmission, these protocols enable large average and maximum power gains. Finally, we show that the larger the number of transmissions is, the larger power gains will be attained.


title: A construction of magic 24-cells

abstract: I found a novel class of magic square analogue, magic 24-cell. The problem is to assign the consecutive numbers 1 through 24 to the vertices in a graph, which is composed of 24 octahedra and 24 vertices, to make the sum of the numbers of each octahedron the same. It is known that there are facet-magic and face-magic labelings of tesseract. However, because of 24-cell contains triangle, face-magic labeling to assign different labels to each vertex is impossible. So I tried to make a cell-magic labeling of 24-cell. Linear combination of three binary labeling and one ternary labeling gives 64 different magic labelings of 24-cell. Due to similarity in the number of vertices between 5x5 magic square and magic 24-cell, It might be possible to calculate the number of magic 24-cell. Further analysis would be need to determine the number of magic 24-cell.


title: Electronic screening using a virtual Thomas-Fermi fluid for predicting wetting and phase transitions of ionic liquids at metal surfaces

abstract: Of relevance to energy storage, electrochemistry and catalysis, ionic and dipolar liquids display unexpected behaviours-especially in confinement. Beyond adsorption, over-screening and crowding effects, experiments have highlighted novel phenomena, such as unconventional screening and the impact of the electronic nature-metallic versus insulating - of the confining surface. Such behaviours, which challenge existing frameworks, highlight the need for tools to fully embrace the properties of confined liquids. Here we introduce a novel approach that involves electronic screening while capturing molecular aspects of interfacial fluids. Although available strategies consider perfect metal or insulator surfaces, we build on the Thomas-Fermi formalism to develop an effective approach that deals with any imperfect metal between these asymptotes. Our approach describes electrostatic interactions within the metal through a 'virtual' Thomas-Fermi fluid of charged particles, whose Debye length sets the screening length $\lambda$. We show that this method captures the electrostatic interaction decay and electrochemical behaviour on varying $\lambda$. By applying this strategy to an ionic liquid, we unveil a wetting transition on switching from insulating to metallic conditions.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.soft physics.comp-ph


title: Regularity of CR-mappings between Fuchsian type hypersurfaces in $\mathbb C^2$

abstract: We investigate regularity of CR-mappings between real-analytic infinite type hypersurfaces in $\mathbb C^2$. We show that, under the Fuchsian type condition, all (respectively formal or smooth) CR-diffeomorphisms between them are automatically analytic. The Fuchsian condition appears to be in a certain sense optimal for the regularity problem.


title: Safe and Efficient Remote Application Code Execution on Disaggregated NVM Storage with eBPF

abstract: With rapid improvements in NVM storage devices, the performance bottleneck is gradually shifting to the network, thus giving rise to the notion of "data movement wall". To reduce the amount of data movement over the network, researchers have proposed near-data computing by shipping operations and compute-extensions closer to storage devices. However, running arbitrary, user-provided extensions in a shared, disaggregated storage environment presents multiple challenges regarding safety, isolation, and performance. Instead of approaching this problem from scratch, in this work we make a case for leveraging the Linux kernel eBPF framework to program disaggregated NVM storage devices. eBPF offers a safe, verifiable, and high-performance way of executing untrusted, user-defined code in a shared runtime. In this paper, we describe our experiences building a first prototype that supports remote operations on storage using eBPF, discuss the limitations of our approach, and directions for addressing them.


title: A parallel-computing algorithm for high-energy physics particle tracking and decoding using GPU architectures

abstract: Real-time data processing is one of the central processes of particle physics experiments which require large computing resources. The LHCb (Large Hadron Collider beauty) experiment will be upgraded to cope with a particle bunch collision rate of 30 million times per second, producing $10^9$ particles/s. 40 Tbits/s need to be processed in real-time to make filtering decisions to store data. This poses a computing challenge that requires exploration of modern hardware and software solutions. We present Compass, a particle tracking algorithm and a parallel raw input decoding optimised for GPUs. It is designed for highly parallel architectures, data-oriented and optimised for fast and localised data access. Our algorithm is configurable, and we explore the trade-off in computing and physics performance of various configurations. A CPU implementation that delivers the same physics performance as our GPU implementation is presented. We discuss the achieved physics performance and validate it with Monte Carlo simulated data. We show a computing performance analysis comparing consumer and server grade GPUs, and a CPU. We show the feasibility of using a full GPU decoding and particle tracking algorithm for high-throughput particle trajectories reconstruction, where our algorithm improves the throughput up to 7.4$\times$ compared to the LHCb baseline.


title: A class of global large, smooth solutions for the magnetohydrodynamics with the Hall and ion-slip effects

abstract: In this paper, the Cauchy's problem for fractional MHD system with the Hall and ion-slip effects is considered. By exploring the structure of semilinear and quasilinear terms, we prove the global existence of solutions for a class of large initial data. Both the velocity and magnetic fields could be arbitrarily large in $H^3(\mathbb{R}^3)$.


title: A general framework for ensemble distribution distillation

abstract: Ensembles of neural networks have been shown to give better performance than single networks, both in terms of predictions and uncertainty estimation. Additionally, ensembles allow the uncertainty to be decomposed into aleatoric (data) and epistemic (model) components, giving a more complete picture of the predictive uncertainty. Ensemble distillation is the process of compressing an ensemble into a single model, often resulting in a leaner model that still outperforms the individual ensemble members. Unfortunately, standard distillation erases the natural uncertainty decomposition of the ensemble. We present a general framework for distilling both regression and classification ensembles in a way that preserves the decomposition. We demonstrate the desired behaviour of our framework and show that its predictive performance is on par with standard distillation.


title: Bioconjugated oligonucleotides: recent developments and thera-eutic applications

abstract: Oligonucleotide-based agents have the potential to treat or cure almost any disease, and are one of the key therapeutic drug classes of the future. Bioconjugated oligonucleotides, a subset of this class, are emerging from basic research and being successfully translated to the clinic. In this review, we first briefly describe two approaches for inhibiting specific genes using oligonucleotides -- antisense DNA (ASO) and RNA interference (RNAi) -- followed by a discussion on delivery to cells. We then summarize and analyze recent developments in bioconjugated oligonucleotides including those possessing GalNAc, cell penetrating peptides, $\alpha$-tocopherol, aptamers, antibodies, cholesterol, squalene, fatty acids, or nucleolipids. These novel conjugates provide a means to enhance tissue targeting, cell internalization, endosomal escape, target binding specificity, resistance to nucleases, and more. We next describe those bioconjugated oligonucleotides approved for patient use or in clinical trials. Finally, we summarize the state of the field, describe current limitations, and discuss future prospects. Biocon-jugation chemistry is at the centerpiece of this therapeutic oligonucleotide revolution, and significant opportunities exist for development of new modification chemistries, for mechanistic studies at the chemical-biology interface, and for translating such agents to the clinic.


title: The Invariant Subspace Problem

abstract: The invariant subspace problem is solved correcting my earlier attempts [6]-[12].


title: Distributed Algorithms for Composite Optimization: Unified Framework and Convergence Analysis

abstract: We study distributed composite optimization over networks: agents minimize a sum of smooth (strongly) convex functions, the agents' sum-utility, plus a nonsmooth (extended-valued) convex one. We propose a general unified algorithmic framework for such a class of problems and provide a unified convergence analysis leveraging the theory of operator splitting. Distinguishing features of our scheme are: (i) When the agents' functions are strongly convex, the algorithm converges at a linear rate, whose dependence on the agents' functions and network topology is decoupled, matching the typical rates of centralized optimization; the rate expression improves on existing results; (ii) When the objective function is convex (but not strongly convex), similar separation as in (i) is established for the coefficient of the proved sublinear rate; (iii) The algorithm can adjust the ratio between the number of communications and computations to achieve a rate (in terms of computations) independent on the network connectivity; and (iv) A by-product of our analysis is a tuning recommendation for several existing (non accelerated) distributed algorithms yielding the fastest provably (worst-case) convergence rate. This is the first time that a general distributed algorithmic framework applicable to composite optimization enjoys all such properties.


title: Theoretical single droplet model for particle formation in flame spray pyrolysis

abstract: In the current work, we develop a single droplet model to describe particle formation in multicomponent-liquid droplet combustion. Both the gas-to-particle conversion and droplet-to-particle conversion routes of different solution properties are investigated, together with the population balance model and the droplet drying model. For multi-component droplets without precursors, the droplet combustion is limited by the species diffusion in the liquid phase. The model can well predict the droplet shrinkage history observed by previous PDA measurements. For the precursor with a low boiling point than its thermal decomposition temperature, the precursor in the droplet can then transform into nanoparticles through the gas-to-particle conversion route. The population balance model reveals that the generated nanoparticle size relies on both the precursor mass fraction and the residence time, which is consistent with the vapor-fed aerosol flame synthesis. For the precursor that tends to decompose or precipitate in the liquid, it then undergoes the droplet-to-particle conversion route. The droplet behavior can be classified by the ratio of droplet evaporation time and precursor reaction or precipitation time. For small droplets with short evaporation time, the nanoparticle formation obeys the one-droplet-one-particle rule. For large droplets with long evaporation time, the competition among precipitation, thermal decomposition, and evaporation determines the final nanoparticle morphology. The single droplet model established in this study can potentially guide the precursor design and be coupled with the turbulent flame simulation of the whole flame spray pyrolysis burner.


title: Partitioning Items Into Mutually Exclusive Groups

abstract: We investigate a new model for partitioning a set of items into groups (clusters). The number of groups is given and the distances between items are well defined. These distances may include weights. The sum of the distances between all members of the same group is calculated for each group, and the objective is to find the partition of the set of items that minimizes the sum of these individual sums. Two problems are formulated and solved. In the first problem the number of items in each group are given. For example, all groups must have the same number of items. In the second problem there is no restriction on the number of items in each group. We propose an optimal algorithm for each of the two problems as well as a heuristic algorithm. Problems with up to 100 items and 50 groups are tested. In the majority of instances the optimal solution was found using IBM's CPLEX. The heuristic approach, which is very fast, found all confirmed optimal solutions and equal or better solutions when CPLEX was stopped after five hours. The problem with given group sizes can also be formulated and solved as a quadratic assignment problem.


title: ICE-BeeM: Identifiable Conditional Energy-Based Deep Models Based on Nonlinear ICA

abstract: We consider the identifiability theory of probabilistic models and establish sufficient conditions under which the representations learned by a very broad family of conditional energy-based models are unique in function space, up to a simple transformation. In our model family, the energy function is the dot-product between two feature extractors, one for the dependent variable, and one for the conditioning variable. We show that under mild conditions, the features are unique up to scaling and permutation. Our results extend recent developments in nonlinear ICA, and in fact, they lead to an important generalization of ICA models. In particular, we show that our model can be used for the estimation of the components in the framework of Independently Modulated Component Analysis (IMCA), a new generalization of nonlinear ICA that relaxes the independence assumption. A thorough empirical study shows that representations learned by our model from real-world image datasets are identifiable, and improve performance in transfer learning and semi-supervised learning tasks.


title: Direct Observation of a Feshbach-resonance by Coincidence-detection of Ions and Electrons in Penning Ionization Collisions

abstract: Observation of molecular dynamics with quantum state resolution is one of the major challenges in chemical physics. Complete characterization of collision dynamics leads to the microscopic understanding and unraveling of different quantum phenomena such as scattering resonances. We present a new experimental approach for observing molecular dynamics involving neutral particles and ions that is capable in providing state-to-state mapping of the dynamics. We use Penning ionization reaction between argon and metastable helium to generate argon ion and ground state helium atom pairs at separation of several angstroms. The energy of ejected electron carries the information about the initial electronic state of an ion. The coincidence detection of ionic products provides a state resolved description of the post-ionization ion-neutral dynamics. We demonstrate that correlation between the electron and ion energy spectra enables us to directly observe the spin-orbit excited Feshbach resonance state of HeAr$^+$. We measure the lifetime of the quasi-bound HeAr$^+$ A$_2$ state and discuss possible applications of our method.


title: Rational points on del Pezzo surfaces of degree four

abstract: We study the distribution of the Brauer group and the frequency of the Brauer--Manin obstruction to the Hasse principle and weak approximation in a family of smooth del Pezzo surfaces of degree four over the rationals.


title: Thermal conductivity of free-standing silicon nanowire using Raman spectroscopy

abstract: Low dimensional systems, nanowires, in particular, have exhibited excellent optical and electronic properties. Understanding the thermal properties in semiconductor nanowires is very important for their applications in their electronic devices. In the present study, the thermal conductivity of a freestanding silicon nanowire (NW) is estimated employing the Raman spectroscopy. The advantage of this technique is that the light source (laser) can be used both as heating and excitation source. The variations of the first-order Raman peak position of the freestanding silicon NW with respect to temperature and laser power are carried out. A critical analysis of effective laser power absorbed by exposed silicon NW, the detailed Raman study along with the concept of longitudinal heat distribution in silicon NW, the thermal conductivity of the freestanding silicon NW of 112 nm diameter is estimated to be ~53 W/m.K.


title: On Learning a Hidden Directed Graph with Path Queries

abstract: In this paper, we consider the problem of reconstructing a directed graph using path queries. In this query model of learning, a graph is hidden from the learner, and the learner can access information about it with path queries. For a source and destination node, a path query returns whether there is a directed path from the source to the destination node in the hidden graph. In this paper we first give bounds for learning graphs on $n$ vertices and $k$ strongly connected components. We then study the case of bounded degree directed trees and give new algorithms for learning "almost-trees" -- directed trees to which extra edges have been added. We also give some lower bound constructions justifying our approach.


title: Variation on a theme by Kiselev and Nazarov: H{\"o}lder estimates for non-local transport-diffusion, along a non-divergence-free BMO field

abstract: We prove uniform H\"older regularity estimates for a transport-diffusion equation with a fractional diffusion operator,and a general advection field in BMO, as long as the order of the diffusion dominates the transport term at small scales;our only requirement is the smallness of the negative part of the divergence in some critical Lebesgue space. In comparison to a celebrated result by L.Silvestre (2012), our advection field does not need to be bounded. A similar result can be obtained in the super-critical case if the advection field is H\"older continuous. Our proof is inspired by A.Kiselev and F.Nazarov (2010) and is based on the dual evolution technique. The idea is to propagate an atom property (i.e. localization and integrability in Lebesgue spaces) under the dual conservation law, when it is coupled with the fractional diffusion operator.


title: Towards new cross-validation-based estimators for Gaussian process regression: efficient adjoint computation of gradients

abstract: We consider the problem of estimating the parameters of the covariance function of a Gaussian process by cross-validation. We suggest using new cross-validation criteria derived from the literature of scoring rules. We also provide an efficient method for computing the gradient of a cross-validation criterion. To the best of our knowledge, our method is more efficient than what has been proposed in the literature so far. It makes it possible to lower the complexity of jointly evaluating leave-one-out criteria and their gradients.


title: The role of regularization in classification of high-dimensional noisy Gaussian mixture

abstract: We consider a high-dimensional mixture of two Gaussians in the noisy regime where even an oracle knowing the centers of the clusters misclassifies a small but finite fraction of the points. We provide a rigorous analysis of the generalization error of regularized convex classifiers, including ridge, hinge and logistic regression, in the high-dimensional limit where the number $n$ of samples and their dimension $d$ go to infinity while their ratio is fixed to $\alpha= n/d$. We discuss surprising effects of the regularization that in some cases allows to reach the Bayes-optimal performances. We also illustrate the interpolation peak at low regularization, and analyze the role of the respective sizes of the two clusters.

categories: stat.ML cond-mat.dis-nn cs.LG math.ST stat.TH


title: Towards Utilizing Unlabeled Data in Federated Learning: A Survey and Prospective

abstract: Federated Learning (FL) proposed in recent years has received significant attention from researchers in that it can bring separate data sources together and build machine learning models in a collaborative but private manner. Yet, in most applications of FL, such as keyboard prediction, labeling data requires virtually no additional efforts, which is not generally the case. In reality, acquiring large-scale labeled datasets can be extremely costly, which motivates research works that exploit unlabeled data to help build machine learning models. However, to the best of our knowledge, few existing works aim to utilize unlabeled data to enhance federated learning, which leaves a potentially promising research topic. In this paper, we identify the need to exploit unlabeled data in FL, and survey possible research fields that can contribute to the goal.


title: Boosting the Performance of Plug-and-Play Priors via Denoiser Scaling

abstract: Plug-and-play priors (PnP) is an image reconstruction framework that uses an image denoiser as an imaging prior. Unlike traditional regularized inversion, PnP does not require the prior to be expressible in the form of a regularization function. This flexibility enables PnP algorithms to exploit the most effective image denoisers, leading to their state-of-the-art performance in various imaging tasks. In this paper, we propose a new denoiser scaling technique to explicitly control the amount of PnP regularization. Traditionally, the performance of PnP algorithms is controlled via intrinsic parameters of the denoiser related to the noise variance. However, many powerful denoisers, such as the ones based on convolutional neural networks (CNNs), do not have tunable parameters that would allow controlling their influence within PnP. To address this issue, we introduce a scaling parameter that adjusts the magnitude of the denoiser input and output. We theoretical justify the denoiser scaling from the perspectives of proximal optimization, statistical estimation, and consensus equilibrium. Finally, we provide numerical experiments demonstrating the ability of denoiser scaling to systematically improve the performance of PnP for denoising CNN priors that do not have explicitly tunable parameters.


title: Composite Higgs Bosons and Mini Black Holes

abstract: Pairs of standard model fermions can annihilate to produce mini black holes with gauge quantum numbers of the Higgs boson at $M_{Planck}$. This leads to a Nambu-Jona-Lasinio model at the Planck scale with strong coupling which binds fermion pairs into Higgs fields. At critical coupling the renormalization group dresses these objects, which then descend in scale to emerge as OBSERVABLE boundstate Higgs bosons at low energies, and we obtain the multi-Higgs spectrum of a "scalar democracy." The observed Higgs boson is a gravitationally bound $\bar{t}t$ composite. Sequential states may be seen at the LHC, and/or its upgrades.


title: Maximally inflected real trigonal curves on Hirzebruch surfaces

abstract: In 2014 A. Degtyarev, I. Itenberg and the author gave a description, up to fiberwise equivariant deformations, of maximally inflected real trigonal curves of type~I (over a base $ B $ of an arbitrary genus) in terms of the combinatorics of sufficiently simple graphs and for $ B=\mathbb{P}^1 $ obtained a complete classification of such curves. In this paper, the mentioned results are extended to maximally inflected real trigonal curves of type~II over $ B=\mathbb{P}^1 $. As usual, the results for such curves are extended to real Jacobian elliptic surfaces with all singular fibers real.


title: Optomechanical cooling by STIRAP-assisted energy transfer $:$ an alternative route towards the mechanical ground state

abstract: Standard optomechanical cooling methods ideally require weak coupling and cavity damping rates which enable the motional sidebands to be well resolved. If the coupling is too large then sideband-resolved cooling is unstable or the rotating wave approximation can become invalid. In this work we describe a protocol to cool a mechanical resonator coupled to a driven optical mode in an optomechanical cavity, which is also coupled to an optical mode in another auxiliary optical cavity, and both the cavities are frequency-modulated. We show that by modulating the amplitude of the drive as well, one can execute a type of STIRAP transfer of occupation from the mechanical mode to the lossy auxiliary optical mode which results in cooling of the mechanical mode. We show how this protocol can outperform normal optomechanical sideband cooling in various regimes such as the strong coupling and the unresolved sideband limit.


title: Ferroelastic switching with van der Waals direction transformation in layered PdSe2 driven by uniaxial and shear strain

abstract: Uniaxial and biaxial strain approaches are usually implemented to switch the ferroelastic states, which play a key role in the application of the ferroics and shape memory materials. In this work, by using the first-principles calculations, we found not only uniaxial strain, but also shear strain can induce a novel ferroelastic switching, in which the van der Waals (vdW) layered direction rotates with the ferroelastic transition in layered bulk PdSe2. The shear strain induces ferroelastic switching with three times amplitude smaller than uniaxial strain. The novel three-states ferroelastic switching in layered PdSe2 also occurs under shear strain. Our result shows that the shear strain could be used as an effective approach for manipulating the functionalities of layered materials in potential device applications.


title: Birational sheets in reductive groups

abstract: We define the group analogue of birational sheets, a construction performed by Losev for reductive Lie algebras. For G semisimple simply connected, we describe birational sheets in terms of Lusztig-Spaltenstein induction and we prove that they form a partition of G, and that they are unibranch varieties with smooth normalization by means of a local study.


title: XUV Spectral Compression by Four-Wave Mixing

abstract: Extreme-ultraviolet (XUV) sources including high-harmonic generation, free-electron lasers, soft x-ray lasers and laser-driven plasmas are widely used for applications ranging from femtochemistry and attosecond science to coherent diffractive imaging and EUV lithography. The bandwidth of the XUV light emitted by these sources reflects the XUV generation process used. While light from soft-x-ray lasers and XUV FELs typically has a relatively narrow bandwidth, plasma sources and HHG sources driven by few-cycle laser pulses emit broadband XUV pulses. Since these characteristic properties of a given XUV source impose limitations to applications, techniques enabling modification of the XUV bandwidth are highly desirable. Here we demonstrate a concept for efficient spectral compression of a broadband XUV pulse via four-wave mixing (FWM) in the presence of a broadband near-infrared (NIR) pulse in a krypton gas jet, exploiting a phase-matching scheme based on closely-spaced resonances. Our concept provides new possibilities for tailoring the spectral bandwidth of XUV beams.


title: Aggregated hold out for sparse linear regression with a robust loss function

abstract: Sparse linear regression methods generally have a free hyperparameter which controls the amount of sparsity, and is subject to a bias-variance tradeoff. This article considers the use of Aggregated hold-out to aggregate over values of this hyperparameter, in the context of linear regression with the Huber loss function. Aggregated hold-out (Agghoo) is a procedure which averages estimators selected by hold-out (cross-validation with a single split). In the theoretical part of the article, it is proved that Agghoo satisfies a non-asymptotic oracle inequality when it is applied to sparse estimators which are parametrized by their zero-norm. In particular , this includes a variant of the Lasso introduced by Zou, Hasti{\'e} and Tibshirani. Simulations are used to compare Agghoo with cross-validation. They show that Agghoo performs better than CV when the intrinsic dimension is high and when there are confounders correlated with the predictive covariates.


title: Migdal-Eliashberg theory of multi-band high-temperature superconductivity in field-effect-doped hydrogenated (111) diamond

abstract: We perform single- and multi-band Migdal-Eliashberg (ME) calculations with parameters exctracted from density functional theory (DFT) simulations to study superconductivity in the electric-field-induced 2-dimensional hole gas at the hydrogenated (111) diamond surface. We show that according to the Eliashberg theory it is possible to induce a high-T$_{\text{c}}$ superconducting phase when the system is field-effect doped to a surface hole concentration of $6\times10^{14}\,$cm$^{-2}$, where the Fermi level crosses three valence bands. Starting from the band-resolved electron-phonon spectral functions $\alpha^2F_{jj'}(\omega)$ computed ab initio, we iteratively solve the self-consistent isotropic Migdal-Eliashberg equations, in both the single-band and the multi-band formulations, in the approximation of a constant density of states at the Fermi level. In the single-band formulation, we find T$_{\text{c}}\approx40\,$K, which is enhanced between $4\%$ and $8\%$ when the multi-band nature of the system is taken into account. We also compute the multi-band-sensistive quasiparticle density of states to act as a guideline for future experimental works.


title: Optical characterisation of micro-fabricated Fresnel zone plates for atomic waveguides

abstract: We optically assess Fresnel zone plates (FZPs) that are designed to guide cold atoms. Imaging of various ring patterns produced by the FZPs gives an average RMS error in the brightest part of the ring of 3% with respect to trap depth. This residue will be due to the imaging system, incident beam shape and FZP manufacturing tolerances. Axial propagation of the potentials is presented experimentally and through numerical simulations, illustrating prospects for atom guiding without requiring light sheets.


title: Nonequilibrium Processes in Repulsive Binary Mixtures

abstract: We consider rapid cooling processes in classical, 3-dimensional, purely repulsive binary mixtures in which an initial infinite-temperature (ideal-gas) configuration is instantly quenched to zero temperature. It is found that such systems display two kinds of ordering processes, the type of which can be controlled by tuning the interactions between unlike particles. While strong inter-species repulsion leads to chemical ordering in terms of an unmixing process, weak repulsion gives rise to spontaneous crystallization, maintaining chemical homogeneity. This result indicates the existence of a transition in the topography of the underlying potential-energy landscape as the intra-species interaction strength is varied. Furthermore, the dual-type behavior appears to be universal for repulsive pair-interaction potential-energy functions in general, with the propensity for the crystallization process being related to their behavior in the neighborhood of zero separation.


title: Query-Efficient Correlation Clustering

abstract: Correlation clustering is arguably the most natural formulation of clustering. Given n objects and a pairwise similarity measure, the goal is to cluster the objects so that, to the best possible extent, similar objects are put in the same cluster and dissimilar objects are put in different clusters. A main drawback of correlation clustering is that it requires as input the $\Theta(n^2)$ pairwise similarities. This is often infeasible to compute or even just to store. In this paper we study \emph{query-efficient} algorithms for correlation clustering. Specifically, we devise a correlation clustering algorithm that, given a budget of $Q$ queries, attains a solution whose expected number of disagreements is at most $3\cdot OPT + O(\frac{n^3}{Q})$, where $OPT$ is the optimal cost for the instance. Its running time is $O(Q)$, and can be easily made non-adaptive (meaning it can specify all its queries at the outset and make them in parallel) with the same guarantees. Up to constant factors, our algorithm yields a provably optimal trade-off between the number of queries $Q$ and the worst-case error attained, even for adaptive algorithms. Finally, we perform an experimental study of our proposed method on both synthetic and real data, showing the scalability and the accuracy of our algorithm.


title: Equigeodesics on generalized flag manifolds with $G_2$-type $t$-roots

abstract: We study homogeneous curves in generalized flag manifolds $G/K$ with $G_2$-type $t$-roots, which are geodesics with respect to each $G$-invariant metric on $G/K$. These curves are called equigeodesics. The tangent space of such flag manifolds splits into six isotropy summands, which are in one-to-one correspondence with $t$-roots. Also, these spaces are a generalization of the exceptional full flag manifold $G_2/T$. We give a characterization for structural equigeodesics for flag manifolds with $G_2$-type $t$-roots, and we give for each such flag manifold, a list of subspaces in which the vectors are structural equigeodesic vectors.


title: PointTrackNet: An End-to-End Network For 3-D Object Detection and Tracking From Point Clouds

abstract: Recent machine learning-based multi-object tracking (MOT) frameworks are becoming popular for 3-D point clouds. Most traditional tracking approaches use filters (e.g., Kalman filter or particle filter) to predict object locations in a time sequence, however, they are vulnerable to extreme motion conditions, such as sudden braking and turning. In this letter, we propose PointTrackNet, an end-to-end 3-D object detection and tracking network, to generate foreground masks, 3-D bounding boxes, and point-wise tracking association displacements for each detected object. The network merely takes as input two adjacent point-cloud frames. Experimental results on the KITTI tracking dataset show competitive results over the state-of-the-arts, especially in the irregularly and rapidly changing scenarios.


title: Magneto-Stark and Zeeman effect as origin of second harmonic generation of excitons in Cu$_2$O

abstract: We report on the experimental and theoretical investigation of magnetic-field-induced second harmonic generation (SHG) and two-photon absorption (TPA) of excited exciton states ($n \geq 3$) of the yellow series in Cu$_2$O. In this centrosymmetric material, SHG can occur due to constructive interplay of electric dipole and electric quadrupole/magnetic dipole transitions for light propagating along the low-symmetry directions [111] or [112]. By application of a magnetic field in Voigt configuration, SHG gets also allowed for excitation along the [110]-axis and even the high-symmetry cubic direction [001]. Combining a symmetry analysis and a microscopic theory, we uncover the two key contributions to the magnetic-field-induced SHG: the Zeeman effect and the magneto-Stark effect. We demonstrate systematic dependencies of the SHG intensity on the linear polarization angles of the ingoing fundamental laser and the outgoing SHG beam. In general, the resulting contour plots in combination with a symmetry analysis allow one to determine uniquely the character of involved transitions. Moreover, we can separate in magnetic field the Zeeman and the magneto-Stark effect through appropriate choice of the experimental geometry and polarization configuration. We present a microscopic theory of the second harmonic generation of excitons in a centrosymmetric cubic semiconductor taking into account the symmetry and the band structure of cuprous oxide. Based on the developed microscopic theory we identify the main contributions to the second-order nonlinear susceptibility of $S$-, $P$- and $D$-excitons. We analyze the redistribution of SHG intensities between the excitonic states both in the absence and presence of the magnetic field and show good agreement with the experimental data. With increasing exciton principal quantum number the magneto-Stark effect overpowers the influence of the Zeeman effect.


title: An Open-set Recognition and Few-Shot Learning Dataset for Audio Event Classification in Domestic Environments

abstract: The problem of training with a small set of positive samples is known as few-shot learning (FSL). It is widely known that traditional deep learning (DL) algorithms usually show very good performance when trained with large datasets. However, in many applications, it is not possible to obtain such a high number of samples. In the image domain, typical FSL applications include those related to face recognition. In the audio domain, music fraud or speaker recognition can be clearly benefited from FSL methods. This paper deals with the application of FSL to the detection of specific and intentional acoustic events given by different types of sound alarms, such as door bells or fire alarms, using a limited number of samples. These sounds typically occur in domestic environments where many events corresponding to a wide variety of sound classes take place. Therefore, the detection of such alarms in a practical scenario can be considered an open-set recognition (OSR) problem. To address the lack of a dedicated public dataset for audio FSL, researchers usually make modifications on other available datasets. This paper is aimed at poviding the audio recognition community with a carefully annotated dataset (https://zenodo.org/record/3689288) for FSL in an OSR context comprised of 1360 clips from 34 classes divided into pattern sounds} and unwanted sounds. To facilitate and promote research on this area, results with state-of-the-art baseline systems based on transfer learning are also presented.


title: Declarative Programming with Intensional Sets in Java Using JSetL

abstract: Intensional sets are sets given by a property rather than by enumerating their elements. In previous work, we have proposed a decision procedure for a first-order logic language which provides Restricted Intensional Sets (RIS), i.e., a sub-class of intensional sets that are guaranteed to denote finite---though unbounded---sets. In this paper we show how RIS can be exploited as a convenient programming tool also in a conventional setting, namely, the imperative O-O language Java. We do this by considering a Java library, called JSetL, that integrates the notions of logical variable, (set) unification and constraints that are typical of constraint logic programming languages into the Java language. We show how JSetL is naturally extended to accommodate for RIS and RIS constraints, and how this extension can be exploited, on the one hand, to support a more declarative style of programming and, on the other hand, to effectively enhance the expressive power of the constraint language provided by the library.


title: High-Energy and High-Quality Ion beams in Light Sail Acceleration

abstract: A superintense laser pulse illuminating a thin solid-density foil can, in principle, accelerate the entire foil, therefore yielding dense, collimated, and quasi-monoenergetic ion beams. These unique features render radiation pressure acceleration in the light sail regime a promising acceleration mechanism suited for applications where dense and high-flux ion beams are required. However, the onset of several instabilities typically results into foil deformation and heating, which cause premature termination of the radiation pressure acceleration stage and strong broadening of the ion spectrum. Here we show that (i) a relation between the attainable ion energy per nucleon and the development of instabilities exists, such that increasing the ion energy results into an increase of transverse modulation effects and, (ii) that the above relation can be weakened with proper matching of laser pulse-foil parameters, such that high-energy dense ion beams with high-quality spectral features can be produced.


title: Mid-flight Propeller Failure Detection and Control of Propeller-deficient Quadcopter using Reinforcement Learning

abstract: Quadcopters can suffer from loss of propellers in mid-flight, thus requiring a need to have a system that detects single and multiple propeller failures and an adaptive controller that stabilizes the propeller-deficient quadcopter. This paper presents reinforcement learning based controllers for quadcopters with 4, 3, and 2 (opposing) functional propellers. The paper also proposes a neural network based propeller fault detection system to detect propeller loss and switch to the appropriate controller. The simulation results demonstrate a stable quadcopter with efficient waypoint tracking for all controllers. The detection system is able to detect propeller failure in a short time and stabilize the quadcopter.


title: Randomization matters. How to defend against strong adversarial attacks

abstract: Is there a classifier that ensures optimal robustness against all adversarial attacks? This paper answers this question by adopting a game-theoretic point of view. We show that adversarial attacks and defenses form an infinite zero-sum game where classical results (e.g. Sion theorem) do not apply. We demonstrate the non-existence of a Nash equilibrium in our game when the classifier and the Adversary are both deterministic, hence giving a negative answer to the above question in the deterministic regime. Nonetheless, the question remains open in the randomized regime. We tackle this problem by showing that, undermild conditions on the dataset distribution, any deterministic classifier can be outperformed by a randomized one. This gives arguments for using randomization, and leads us to a new algorithm for building randomized classifiers that are robust to strong adversarial attacks. Empirical results validate our theoretical analysis, and show that our defense method considerably outperforms Adversarial Training against state-of-the-art attacks.


title: Object Relational Graph with Teacher-Recommended Learning for Video Captioning

abstract: Taking full advantage of the information from both vision and language is critical for the video captioning task. Existing models lack adequate visual representation due to the neglect of interaction between object, and sufficient training for content-related words due to long-tailed problems. In this paper, we propose a complete video captioning system including both a novel model and an effective training strategy. Specifically, we propose an object relational graph (ORG) based encoder, which captures more detailed interaction features to enrich visual representation. Meanwhile, we design a teacher-recommended learning (TRL) method to make full use of the successful external language model (ELM) to integrate the abundant linguistic knowledge into the caption model. The ELM generates more semantically similar word proposals which extend the ground-truth words used for training to deal with the long-tailed problem. Experimental evaluations on three benchmarks: MSVD, MSR-VTT and VATEX show the proposed ORG-TRL system achieves state-of-the-art performance. Extensive ablation studies and visualizations illustrate the effectiveness of our system.


title: Search for a Variation of the Fine Structure around the Supermassive Black Hole in Our Galactic Center

abstract: Searching for space-time variations of the constants of Nature is a promising way to search for new physics beyond General Relativity and the standard model motivated by unification theories and models of dark matter and dark energy. We propose a new way to search for a variation of the fine-structure constant using measurements of late-type evolved giant stars from the S-star cluster orbiting the supermassive black hole in our Galactic Center. A measurement of the difference between distinct absorption lines (with different sensitivity to the fine structure constant) from a star leads to a direct estimate of a variation of the fine structure constant between the star's location and Earth. Using spectroscopic measurements of 5 stars, we obtain a constraint on the relative variation of the fine structure constant below $10^{-5}$. This is the first time a varying constant of Nature is searched for around a black hole and in a high gravitational potential. This analysis shows new ways the monitoring of stars in the Galactic Center can be used to probe fundamental physics.


title: Errata and notes on the paper "A generalization of Springer theory using nearby cycles"

abstract: We provide some corrections and clarifications to the paper [Gr3] of the title. In particular, we clarify the "left/right" conventions on complex reflection groups and their braid groups. Most importantly, we fill in a gap related to the treatment of cuts in the Picard-Lefschetz theory part of the argument. The statements of the main results are not affected.


title: Overfitting in adversarially robust deep learning

abstract: It is common practice in deep learning to use overparameterized networks and train for as long as possible; there are numerous studies that show, both theoretically and empirically, that such practices surprisingly do not unduly harm the generalization performance of the classifier. In this paper, we empirically study this phenomenon in the setting of adversarially trained deep networks, which are trained to minimize the loss under worst-case adversarial perturbations. We find that overfitting to the training set does in fact harm robust performance to a very large degree in adversarially robust training across multiple datasets (SVHN, CIFAR-10, CIFAR-100, and ImageNet) and perturbation models ($\ell_\infty$ and $\ell_2$). Based upon this observed effect, we show that the performance gains of virtually all recent algorithmic improvements upon adversarial training can be matched by simply using early stopping. We also show that effects such as the double descent curve do still occur in adversarially trained models, yet fail to explain the observed overfitting. Finally, we study several classical and modern deep learning remedies for overfitting, including regularization and data augmentation, and find that no approach in isolation improves significantly upon the gains achieved by early stopping. All code for reproducing the experiments as well as pretrained model weights and training logs can be found at https://github.com/locuslab/robust_overfitting.


title: Calculations of System Adequacy Considering Heat Transition Pathways

abstract: The decarbonisation of heat in developed economies represents a significant challenge, with increased penetration of electrical heating technologies potentially leading to unprecedented increases in peak electricity demand. This work considers a method to evaluate the impact of rapid electrification of heat by utilising historic gas demand data. The work is intended to provide a data-driven complement to popular generative heat demand models, with a particular aim of informing regulators and actors in capacity markets as to how policy changes could impact on medium-term system adequacy metrics (up to five years ahead). Results from a GB case study show that the representation of heat demand using scaled gas demand profiles increases the rate at which 1-in-20 system peaks grow by 60\%, when compared to the use of scaled electricity demand profiles. Low end-use system efficiency, in terms of aggregate coefficient of performance and demand side response capabilities, are shown to potentially lead to a doubling of electrical demand-temperature sensitivity following five years of heat demand growth.


title: Assignment Flows for Data Labeling on Graphs: Convergence and Stability

abstract: The assignment flow recently introduced in the J. Math. Imaging and Vision 58/2 (2017), constitutes a high-dimensional dynamical system that evolves on an elementary statistical manifold and performs contextual labeling (classification) of data given in any metric space. Vertices of a given graph index the data points and define a system of neighborhoods. These neighborhoods together with nonnegative weight parameters define regularization of the evolution of label assignments to data points, through geometric averaging induced by the affine e-connection of information geometry. Regarding evolutionary game dynamics, the assignment flow may be characterized as a large system of replicator equations that are coupled by geometric averaging. This paper establishes conditions on the weight parameters that guarantee convergence of the continuous-time assignment flow to integral assignments (labelings), up to a negligible subset of situations that will not be encountered when working with real data in practice. Furthermore, we classify attractors of the flow and quantify corresponding basins of attraction. This provides convergence guarantees for the assignment flow which are extended to the discrete-time assignment flow that results from applying a Runge-Kutta-Munthe-Kaas scheme for numerical geometric integration of the assignment flow. Several counter-examples illustrate that violating the conditions may entail unfavorable behavior of the assignment flow regarding contextual data classification.


title: Revisiting Ensembles in an Adversarial Context: Improving Natural Accuracy

abstract: A necessary characteristic for the deployment of deep learning models in real world applications is resistance to small adversarial perturbations while maintaining accuracy on non-malicious inputs. While robust training provides models that exhibit better adversarial accuracy than standard models, there is still a significant gap in natural accuracy between robust and non-robust models which we aim to bridge. We consider a number of ensemble methods designed to mitigate this performance difference. Our key insight is that model trained to withstand small attacks, when ensembled, can often withstand significantly larger attacks, and this concept can in turn be leveraged to optimize natural accuracy. We consider two schemes, one that combines predictions from several randomly initialized robust models, and the other that fuses features from robust and standard models.


title: Efficient reinforcement learning control for continuum robots based on Inexplicit Prior Knowledge

abstract: Compared to rigid robots that are generally studied in reinforcement learning, the physical characteristics of some sophisticated robots such as soft or continuum robots are higher complicated. Moreover, recent reinforcement learning methods are data-inefficient and can not be directly deployed to the robot without simulation. In this paper, we propose an efficient reinforcement learning method based on inexplicit prior knowledge in response to such problems. We first corroborate the method by simulation and employed directly in the real world. By using our method, we can achieve active visual tracking and distance maintenance of a tendon-driven robot which will be critical in minimally invasive procedures. Codes are available at https://github.com/Skylark0924/TendonTrack.


title: Influence of finite temperature Exchange-Correlation effects in Hydrogen

abstract: We use density functional molecular dynamics (DFT-MD) to study the effect of finite temperature exchange-correlation (xc) in Hydrogen. Using the Kohn-Sham approach, the xc energy of the system, $E_{xc}(r_{s})$ is replaced by the xc free energy $f_{xc}(r_{s},\Theta)$ within the local density approximation (LDA) based on parametrized path integral Monte Carlo (PIMC) data for the uniform electron gas (UEG) at warm dense matter (WDM) conditions. We observe insignificant changes in the equation of state (EOS) at the region of metal-insulator transition compared to the regular LDA form, whereas significant changes are observed for T$>$10000 K, i.e., in the important WDM regime. Thus, our results further corroborate the need for temperature-dependent xc functionals for DFT simulations of WDM systems. Moreover, we present the first finite-temperature DFT results for the EOS of Hydrogen in the electron liquid regime up to $r_{s}=14$ and find a drastic impact (about $20\%$) of thermal xc effects, which manifests at lower temperatures compared to WDM. We expect our results to be important for many applications beyond DFT, like quantum hydrodynamics and astrophysical models.


title: Space-time discontinuous Galerkin approximation of acoustic waves with point singularities

abstract: We develop a convergence theory of space-time discretizations for the linear, 2nd-order wave equation in polygonal domains $\Omega\subset\mathbb{R}^2$, possibly occupied by piecewise homogeneous media with different propagation speeds. Building on an unconditionally stable space-time DG formulation developed in [Moiola, Perugia 2018], we (a) prove optimal convergence rates for the space-time scheme with local isotropic corner mesh refinement on the spatial domain, and (b) demonstrate numerically optimal convergence rates of a suitable \emph{sparse} space-time version of the DG scheme. The latter scheme is based on the so-called \emph{combination formula}, in conjunction with a family of anisotropic space-time DG-discretizations. It results in optimal-order convergent schemes, also in domains with corners, with a number of degrees of freedom that scales essentially like the DG solution of one stationary elliptic problem in $\Omega$ on the finest spatial grid. Numerical experiments for both smooth and singular solutions support convergence rate optimality on spatially refined meshes of the full and sparse space-time DG schemes.