title: Fluid pressure heterogeneity during fluid flow in rocks: New laboratory measurement device and method

abstract: We present a new type of transducer capable of measuring local pore fluid pressure in jacketed rock samples under elevated confining pressure conditions. The transducers are passive (strain-gauge based), of small size (7 mm in diameter at the contact with the rock and around 10 mm in length), and have minimal dead volume (a few mm$^3$). The transducers measure the differential pressure between the confining fluid and the internal pore pressure. The design is easily adaptable to tune the sensitivity and working pressure range up to several hundred megapascals. An array of four such transducers was tested during hydrostatic pressurisation cycles on Darley Dale sandstone and Westerly granite. The prototypes show very good linearity up to 80 MPa with maximum deviations of the order of 0.25 MPa, regardless of the combination of pore and confining pressure. Multiple internal pore pressure measurements allow us to quantify the local decrease in permeability associated with faulting in Darley Dale sandstone, and also prove useful in tracking the development of pore pressure fronts during transient flow in low permeability Westerly granite.


title: UV dust attenuation as a function of stellar mass and its evolution with redshift

abstract: Studying the UV dust attenuation, as well as its relation to other galaxy parameters such as the stellar mass, plays an important role in multi-wavelength research. This work relates the dust attenuation to the stellar mass of star forming galaxies, and its evolution with redshift. A sample of galaxies with an estimate of the dust attenuation computed from the infrared excess was used. The dust attenuation vs. stellar mass data, separated in redshift bins, was modelled by a single parameter linear function, assuming a nonzero constant apparent dust attenuation for low mass galaxies. But the origin of this effect is still to be determined and several possibilities are explored (actual high dust content, variation of the dust-to-metal ratio, variation of the stars-dust geometry). The best-fitting parameter of this model is then used to study the redshift evolution of the cosmic dust attenuation and is found to be in agreement with results from the literature. This work also gives evidence to a redshift evolution of the dust attenuation - stellar mass relationship, as is suggested by recent works in the highest redshift range.


title: Hierarchical Qualitative Clustering: clustering mixed datasets with critical qualitative information

abstract: Clustering can be used to extract insights from data or to verify some of the assumptions held by the domain experts, namely data segmentation. In the literature, few methods can be applied in clustering qualitative values using the context associated with other variables present in the data, without losing interpretability. Moreover, the metrics for calculating dissimilarity between qualitative values often scale poorly for high dimensional mixed datasets. In this study, we propose a novel method for clustering qualitative values, based on Hierarchical Clustering (HQC), and using Maximum Mean Discrepancy. HQC maintains the original interpretability of the qualitative information present in the dataset. We apply HQC to two datasets. Using a mixed dataset provided by Spotify, we showcase how our method can be used for clustering music artists based on the quantitative features of thousands of songs. In addition, using financial features of companies, we cluster company industries, and discuss the implications in investment portfolios diversification.


title: Towards analyzing large graphs with quantum annealing and quantum gate computers

abstract: The use of quantum computing in graph community detection and regularity checking related to Szemeredi's Regularity Lemma (SRL) are demonstrated with D-Wave Systems' quantum annealer and simulations. We demonstrate the capability of quantum computing in solving hard problems relevant to big data. A new community detection algorithm based on SRL is also introduced and tested. In worst case scenario of regularity check we use Grover's algorithm and quantum phase estimation algorithm, in order to speed-up computations using a quantum gate computers.


title: Expectation and Price in Incomplete Markets

abstract: Risk-neutral pricing dictates that the discounted derivative price is a martingale in a measure equivalent to the economic measure. The residual ambiguity for incomplete markets is here resolved by minimising the entropy of the price measure from the economic measure, subject to mark-to-market constraints, following arguments based on the optimisation of portfolio risk. The approach accounts for market and funding convexities and incorporates available price information, interpolating between methodologies based on expectation and replication.


title: Covariant derivatives of eigenfunctions along parallel tensors over space forms and a conjecture motivated by the vertex algebraic structure

abstract: We study the covariant derivatives of an eigenfunction for the Laplace-Beltrami operator on a complete, connected Riemannian manifold with nonzero constant sectional curvature. We show that along every parallel tensor, the covariant derivative is a scalar multiple of the eigenfunction. We also show that the scalar is a polynomial depending on the eigenvalue and prove some properties. A conjecture motivated by the study of vertex algebraic structure on space forms is also announced, suggesting the existence of interesting structures in these polynomials that awaits further exploration.


title: Classification Confidence Estimation with Test-Time Data-Augmentation

abstract: Machine learning plays an increasingly significant role in many aspects of our lives (including medicine, transportation, security, justice and other domains), making the potential consequences of false predictions increasingly devastating. These consequences may be mitigated if we can automatically flag such false predictions and potentially assign them to alternative, more reliable mechanisms, that are possibly more costly and involve human attention. This suggests the task of detecting errors, which we tackle in this paper for the case of visual classification. To this end, we propose a novel approach for classification confidence estimation. We apply a set of semantics-preserving image transformations to the input image, and show how the resulting image sets can be used to estimate confidence in the classifier's prediction. We demonstrate the potential of our approach by extensively evaluating it on a wide variety of classifier architectures and datasets, including ResNext/ImageNet, achieving state of the art performance. This paper constitutes a significant revision of our earlier work in this direction (Bahat & Shakhnarovich, 2018).


title: Cherenkov Telescope Array sensitivity to branon dark matter models

abstract: In the absence of a clear hint of dark matter (DM) signals in the GeV regime so far, heavy, $\mathcal{O}$(TeV) DM candidates are gradually earning more and more attention within the community. Among others, extra-dimensional \textit{brane-world} models may produce thermal DM candidates with masses up to 100 TeV. These heavy DM candidates could be detected with the next generation of very-high-energy gamma-ray observatories such as the Cherenkov Telescope Array (CTA). In this work, we study the sensitivity of CTA to branon DM via the observation of representative astrophysical DM targets, namely dwarf spheroidal galaxies. In particular, we focus on Draco and Sculptor, two well-known dwarfs visible from the Northern and Southern Hemisphere, respectively. For each of these targets, we simulated 300\,h of CTA observations and studied the sensitivity of both CTA-North and CTA-South to branon annihilations using the latest publicly available instrument response functions and most recent analysis tools. We computed annihilation cross section values needed to reach a $5\sigma$ detection as a function of the branon mass. Additionally, in the absence of a predicted DM signal, we obtained $2\sigma$ upper limits on the annihilation cross section. These limits lie $1.5-2$ orders of magnitude above the thermal relic cross section value, depending on the considered branon mass. Yet, CTA will allow to exclude a significant portion of the brane tension-mass parameter space in the $0.1-60$ TeV branon mass range, and up to tensions of $\sim 10$ TeV. More importantly, CTA will significantly enlarge the region already excluded by AMS and CMS, and will provide valuable complementary information to future SKA radio observations. We conclude that CTA will possess potential to constrain brane-world models and, more in general, TeV DM candidates.


title: Goos-H\"anchen Shifts in Gapped Graphene subject to External Fields

abstract: We study Dirac fermions in gapped graphene that are subjected to a magnetic field and a potential barrier harmonically oscillating in time. The tunneling modes inside the gap and the associated Goos-H\"anchen (GH) shifts are analytically investigated. We show that the GH shifts in transmission for the central band and the first two sidebands change sign at the Dirac points $\epsilon+l\hbar\tilde{\omega}$ $(l=0,\pm 1)$. We also find that the GH shifts can be either negative or positive and becomes zero at transmission resonances.


title: General approach for constructing Hamiltonians for nonadiabatic holonomic quantum computation

abstract: The main challenges in achieving high-fidelity quantum gates are to reduce the influence of control errors caused by imperfect Hamiltonians and the influence of decoherence caused by environment noise. To overcome control errors, a promising proposal is nonadiabatic holonomic quantum computation, which has attracted much attention in both theories and experiments. While the merit of holonomic operations resisting control errors has been well exploited, an important issue following is how to shorten the evolution time needed for realizing a holonomic gate so as to avoid the influence of environment noise as much as possible. In this paper, we put forward a general approach of constructing Hamiltonians for nonadiabatic holonomic quantum computation, which makes it possible to minimize the evolution time and might open a new horizon for the realistic implementation of nonadiabatic holonomic quantum computation.


title: A Survey on Recent Progress in the Theory of Evolutionary Algorithms for Discrete Optimization

abstract: The theory of evolutionary computation for discrete search spaces has made significant progress in the last ten years. This survey summarizes some of the most important recent results in this research area. It discusses fine-grained models of runtime analysis of evolutionary algorithms, highlights recent theoretical insights on parameter tuning and parameter control, and summarizes the latest advances for stochastic and dynamic problems. We regard how evolutionary algorithms optimize submodular functions and we give an overview over the large body of recent results on estimation of distribution algorithms. Finally, we present the state of the art of drift analysis, one of the most powerful analysis technique developed in this field.


title: Gauge-invariant operators of open bosonic string field theory in the low-energy limit

abstract: In the AdS/CFT correspondence we consider correlation functions of gauge-invariant operators on the gauge theory side, which we obtain in the low-energy limit of the open string sector. To investigate this low-energy limit we consider the action of open bosonic string field theory including source terms for gauge-invariant operators and classically integrate out massive fields to obtain the effective action for massless fields. While the gauge-invariant operators depend linearly on the open string field and do not resemble the corresponding operators such as the energy-momentum tensor in the low-energy limit, we find that nonlinear dependence is generated in the process of integrating out massive fields. We also find that the gauge transformation is modified in such a way that the effective action and the modified gauge transformation can be written in terms of the same set of multi-string products which satisfy weak $A_\infty$ relations, and we present explicit expressions for the multi-string products.


title: Binary intersection formalized

abstract: We provide a reformulation and a formalization of the classical result by Juhani Karhum\"aki characterizing intersections of two languages of the form $\{x,y\}^*\cap \{u,v\}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL.


title: Model-based Reinforcement Learning: A Survey

abstract: Sequential decision making, commonly formalized as Markov Decision Process (MDP) optimization, is a important challenge in artificial intelligence. Two key approaches to this problem are reinforcement learning (RL) and planning. This paper presents a survey of the integration of both fields, better known as model-based reinforcement learning. Model-based RL has two main steps. First, we systematically cover approaches to dynamics model learning, including challenges like dealing with stochasticity, uncertainty, partial observability, and temporal abstraction. Second, we present a systematic categorization of planning-learning integration, including aspects like: where to start planning, what budgets to allocate to planning and real data collection, how to plan, and how to integrate planning in the learning and acting loop. After these two sections, we also discuss implicit model-based RL as an end-to-end alternative for model learning and planning, and we cover the potential benefits of model-based RL. Along the way, the survey also draws connections to several related RL fields, like hierarchical RL and transfer learning. Altogether, the survey presents a broad conceptual overview of the combination of planning and learning for MDP optimization.


title: A Super-resolution Optical Classifier with High Photon Efficiency

abstract: We propose and demonstrate a photon-efficient optical classifier to overcome the Rayleigh limit in spatial resolution. It utilizes mode-selective sum frequency generation and single-pixel photon detection to resolve closely spaced incoherent sources based on photon counting statistics. Super-resolving and photon efficient, this technique can find applications in microscopy, light detection and ranging (LiDAR), and astrophysics.


title: Bitcoin Covenants: Three Ways to Control the Future

abstract: A bitcoin covenant is a mechanism to enforce conditions on how the control of coins will be transferred in the future. This work introduces deleted-key covenants; using pre-signed transactions with secure key deletion. With this, a general class of covenants are possible without introducing new security risks to bitcoin. There is a range of security models for the key deletion process, but this is subject to a security-convenience trade-off and requires interactivity in a multi-party context. On the other hand, this work makes a compelling case for what can be gained through a soft-fork upgrade to the signature hash system [Dec17] which enables recovered-key covenants through elliptic curve key recovery. This has similar properties to script-based covenant mechanisms proposed previously [Rub20]. Key factors are discussed and compared for the three covenant mechanisms, including; the enforcement process, methods for proving accessibility of funds and whether or not they are bound by a covenant, methods for dynamic fee allocation, the underlying cryptographic assumptions, and their feasibility in single-party, hierarchical and adversarial multi-party contexts. Despite the relative downsides of deleted-key covenants, they are a practical tool for custody protocol design. The comparison shows precisely how soft-fork proposals improve the practicality of bitcoin covenants, through non-interactive enforcement and tighter cryptographic assumptions, to enhance custody protocols and enable some adversarial applications such as payment protocols.


title: Non-simplicial quantum toric varieties

abstract: In this paper, we define quantum toric varieties associated to an arbitrary fan in a finitely generated subgroup of some $\mathbb{R}^d$ generalizing the article arXiv:2002.03876 of Katzarkov, Lupercio, Meersseman and Verjovsky.


title: Exclusive axionlike particle production by gluon -- induced interactions in hadronic collisions

abstract: The exclusive production of axionlike particles (ALPs) by gluon -- induced interactions is investigated in this exploratory study considering $pp$ and $PbPb$ collisions for the energies of the next run of the Large Hadron Collider (LHC). Assuming the Duhram model, we estimate the associated cross sections for the rapidity ranges probed by central and forward detectors. A comparison with the predictions for the exclusive ALP production by photon -- induced interactions is presented. Our results indicate that the contribution of gluon -- induced interactions is nonnegligible and can become dominant in $pp$ collisions for small values of the ALP mass.


title: Frontier Orbitals and Quasiparticle Energy Levels in Ionic Liquids

abstract: Room temperature ionic liquids play an important role in many technological applications and a detailed understanding of their frontier molecular orbitals is required to optimize interfacial barriers, reactivity and stability with respect to electron injection and removal. In this work, we calculate quasiparticle energy levels of ionic liquids using first-principles many-body perturbation theory within the GW approximation and compare our results to various mean-field approaches, including semilocal and hybrid density-functional theory and Hartree-Fock. We find that the mean-field results depend qualitatively and quantitatively on the treatment of exchange-correlation effects, while GW calculations produce results that are in excellent agreement with experimental photoelectron spectra of gas phase ion pairs and ionic liquids. These results establish the GW approach as a valuable tool for understanding the electronic structures of ionic liquids.


title: Revisiting the hypertriton lifetime puzzle

abstract: Conflicting values of the hypertriton ($_{\Lambda}^{3}$H) lifetime were extracted in recent relativistic heavy-ion collision experiments. The ALICE Collaboration's reported $_{\Lambda}^{3}$H lifetime $\tau(_{\Lambda}^{3}$H) is compatible within measurement uncertainties with the free $\Lambda$ lifetime $\tau_{\Lambda}$, as naively expected for a loosely bound $\Lambda$ hyperon in $_{\Lambda}^{3}$H, whereas STAR's reported range of $\tau(_{\Lambda}^{3}$H) values is considerably shorter: $\tau_{\rm STAR}(_{\Lambda}^{3}$H)$\sim$(0.4-0.7)$\tau_{\Lambda}$. This $_{\Lambda}^{3}$H lifetime puzzle is revisited theoretically using $_{\Lambda}^{3}$H three-body wavefunctions generated in a chiral effective field theory approach to calculate the decay rate $\Gamma(_{\Lambda}^{3}$H$\,\to ^3$He$\,+\pi^-$). Significant but opposing contributions arise from $\Sigma NN$ admixtures in $_{\Lambda}^{3}$H and from $\pi^-$-$^3$He final-state interaction. Evaluating the inclusive $\pi^-$ decay rate $\Gamma_{\pi^-}(_{\Lambda}^{3}$H) via a branching ratio $\Gamma(_{\Lambda}^{3}$H$\,\to ^{3}$He+$\pi^-)/\Gamma_{\pi^-}(_{\Lambda}^{3}$H) determined in helium bubble-chamber experiments, and adding $\Gamma_{\pi^0}(_{\Lambda}^{3}$H) through the $\Delta I=\frac{1}{2}$ rule, we derive $\tau(_{\Lambda}^{3}$H) assuming several different values of the $\Lambda$ separation energy $B_{\Lambda}(_{\Lambda}^{3}$H). It is concluded that each of ALICE and STAR reported $\tau(_{\Lambda}^{3}$H) intervals implies its own constraint on $B_{\Lambda}(_{\Lambda}^{3}$H): $B_{\Lambda}\lesssim 0.1$ MeV for ALICE, $B_{\Lambda}\gtrsim 0.2$ MeV for STAR.


title: Gaussian Process Repetitive Control for Suppressing Spatial Disturbances

abstract: Motion systems are often subject to disturbances such as cogging, commutation errors, and imbalances, that vary with velocity and appear periodic in time for constant operating velocities. The aim of this paper is to develop a repetitive controller (RC) for disturbances that are not periodic in the time domain, yet occur due to an identical position-domain disturbance. A new spatial RC framework is developed, allowing to attenuate disturbances that are periodic in the position domain but manifest a-periodic in the time domain. A Gaussian process (GP) based memory is employed with a suitable periodic kernel that can effectively deal with the intermittent observations inherent to the position domain. A mechatronic example confirms the potential of the method.


title: Space Alternating Variational Estimation Based Sparse Bayesian Learning for Complex-value Sparse Signal Recovery Using Adaptive Laplace Priors

abstract: Due to its self-regularizing nature and its ability to quantify uncertainty, the Bayesian approach has achieved excellent recovery performance across a wide range of sparse signal recovery applications. However, most existing methods are based on the real-value signal model, with the complex-value signal model rarely considered. Motivated by the adaptive least absolute shrinkage and selection operator (LASSO) and the sparse Bayesian learning (SBL) framework, a hierarchical model with adaptive Laplace priors is proposed in this paper for recovery of complex sparse signals. Moreover, the space alternating approach is integrated into the algorithm to reduce the computational complexity of the proposed method. In experiments, the proposed algorithm is studied for complex Gaussian random dictionaries and different types of complex signals. These experiments show that the proposed algorithm offers better recovery performance for different types of complex signals than state-of-the-art methods.


title: Weighted quaternionic Cauchy singular integral

abstract: We investigate some spectral properties of the weighted quaternionic Cauchy transform when acting on the right quaternionic Hilbert space of Gaussian integrable functions. We study its boundedness, compactness, and memberships to the $k$-Schatten class, and we identify its range. This is done by means of its restriction to the n-th S-polyregular Bargmann space of the second kind, for which we provide an explicit closed expression for its action on the quaternionic It\^o--Hermite polynomials constituting an orthogonal basis. We also exhibit an orthogonal basis of eigenfunctions of its n-Bergman projection leading to the explicit determination of its singular values. The obtained results generalize those given for weighted Cauchy transform on the complex plane to the quaternionic setting.


title: Correction of Faulty Background Knowledge based on Condition Aware and Revise Transformer for Question Answering

abstract: The study of question answering has received increasing attention in recent years. This work focuses on providing an answer that compatible with both user intent and conditioning information corresponding to the question, such as delivery status and stock information in e-commerce. However, these conditions may be wrong or incomplete in real-world applications. Although existing question answering systems have considered the external information, such as categorical attributes and triples in knowledge base, they all assume that the external information is correct and complete. To alleviate the effect of defective condition values, this paper proposes condition aware and revise Transformer (CAR-Transformer). CAR-Transformer (1) revises each condition value based on the whole conversation and original conditions values, and (2) it encodes the revised conditions and utilizes the conditions embedding to select an answer. Experimental results on a real-world customer service dataset demonstrate that the CAR-Transformer can still select an appropriate reply when conditions corresponding to the question exist wrong or missing values, and substantially outperforms baseline models on automatic and human evaluations. The proposed CAR-Transformer can be extended to other NLP tasks which need to consider conditioning information.


title: Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification

abstract: Learning how to predict future events from patterns of past events is difficult when the set of possible event types is large. Training an unrestricted neural model might overfit to spurious patterns. To exploit domain-specific knowledge of how past events might affect an event's present probability, we propose using a temporal deductive database to track structured facts over time. Rules serve to prove facts from other facts and from past events. Each fact has a time-varying state---a vector computed by a neural net whose topology is determined by the fact's provenance, including its experience of past events. The possible event types at any time are given by special facts, whose probabilities are neurally modeled alongside their states. In both synthetic and real-world domains, we show that neural probabilistic models derived from concise Datalog programs improve prediction by encoding appropriate domain knowledge in their architecture.


title: Vector Electrometry in a Wide-Gap Semiconductor Device Using a Spin Ensemble Quantum Sensor

abstract: Nitrogen-vacancy (NV) centers in diamond work as a quantum electrometer. Using an ensemble state of NV centers, we propose vector electrometry and demonstrate measurements in a diamond electronic device. A transverse electric field applied to the N-V axis under a high voltage was measured while applying a transverse magnetic field. The response of the energy level shift against the electric field was significantly enhanced compared with that against an axial magnetic field. Repeating the measurement of the transverse electric field for multiple N-V axes, we obtained the components of the electric field generated in the device.


title: Vortex Gas Modeling of Turbulent Circulation Statistics

abstract: Statistical properties of circulation encode relevant information about the multi-scale structure of turbulent cascades. Recent massive computational efforts have posed challenging theoretical issues, as the dependence of circulation moments upon Reynolds numbers and length scales, and the specific shape of the heavy-tailed circulation probability distribution functions. We address these focal points in an investigation of circulation statistics for planar cuts of three-dimensional flows. The model introduced here borrows ideas from the structural approach to turbulence, whereby turbulent flows are depicted as dilute vortex gases, combined with the standard Obukhov-Kolmogorov phenomenological framework of small-scale intermittency. We are able to reproduce, in this way, key statistical features of circulation, in close agreement with empirical observations compiled from direct numerical simulations.


title: Linear transformations between dominating sets in the TAR-model

abstract: Given a graph $G$ and an integer $k$, a token addition and removal ({\sf TAR} for short) reconfiguration sequence between two dominating sets $D_{\sf s}$ and $D_{\sf t}$ of size at most $k$ is a sequence $S= \langle D_0 = D_{\sf s}, D_1 \ldots, D_\ell = D_{\sf t} \rangle$ of dominating sets of $G$ such that any two consecutive dominating sets differ by the addition or deletion of one vertex, and no dominating set has size bigger than $k$. We first improve a result of Haas and Seyffarth, by showing that if $k=\Gamma(G)+\alpha(G)-1$ (where $\Gamma(G)$ is the maximum size of a minimal dominating set and $\alpha(G)$ the maximum size of an independent set), then there exists a linear {\sf TAR} reconfiguration sequence between any pair of dominating sets. We then improve these results on several graph classes by showing that the same holds for $K_{\ell}$-minor free graph as long as $k \ge \Gamma(G)+O(\ell \sqrt{\log \ell})$ and for planar graphs whenever $k \ge \Gamma(G)+3$. Finally, we show that if $k=\Gamma(G)+tw(G)+1$, then there also exists a linear transformation between any pair of dominating sets.


title: The Hamilton-Jacobi Equation and Holographic Renormalization Group Flows on Sphere

abstract: We study the Hamilton-Jacobi formulation of effective mechanical actions associated with holographic renormalization group flows when the field theory is put on the sphere and mass terms are turned on. Although the system is supersymmetric and it is described by a superpotential, Hamilton's characteristic function is not readily given by the superpotential when the boundary of AdS is curved. We propose a method to construct the solution as a series expansion in scalar field degrees of freedom. The coefficients are functions of the warp factor to be determined by a differential equation one obtains when the ansatz is substituted into the Hamilton-Jacobi equation. We also show how the solution can be derived from the BPS equations without having to solve differential equations. The characteristic function readily provides information on holographic counterterms which cancel divergences of the on-shell action near the boundary of AdS.


title: Overview of Gaussian process based multi-fidelity techniques with variable relationship between fidelities

abstract: The design process of complex systems such as new configurations of aircraft or launch vehicles is usually decomposed in different phases which are characterized for instance by the depth of the analyses in terms of number of design variables and fidelity of the physical models. At each phase, the designers have to compose with accurate but computationally intensive models as well as cheap but inaccurate models. Multi-fidelity modeling is a way to merge different fidelity models to provide engineers with accurate results with a limited computational cost. Within the context of multi-fidelity modeling, approaches relying on Gaussian Processes emerge as popular techniques to fuse information between the different fidelity models. The relationship between the fidelity models is a key aspect in multi-fidelity modeling. This paper provides an overview of Gaussian process-based multi-fidelity modeling techniques for variable relationship between the fidelity models (e.g., linearity, non-linearity, variable correlation). Each technique is described within a unified framework and the links between the different techniques are highlighted. All the approaches are numerically compared on a series of analytical test cases and four aerospace related engineering problems in order to assess their benefits and disadvantages with respect to the problem characteristics.


title: A time-space tradeoff for Lehman's deterministic integer factorization method

abstract: Fermat's well-known factorization algorithm is based on finding a representation of natural numbers $N$ as the difference of squares. In 1895, Lawrence generalized this idea and applied it to multiples $kN$ of the original number. A systematic approach to choose suitable values for $k$ was introduced by Lehman in 1974, which resulted in the first deterministic factorization algorithm considerably faster than trial division. In this paper, we construct a time-space tradeoff for Lawrence's generalization and apply it together with Lehman's result to obtain a deterministic integer factorization algorithm with runtime complexity $O(N^{2/9+o(1)})$. This is the first exponential improvement since the establishment of the $O(N^{1/4+o(1)})$ bound in 1977.


title: Correlating surface energy with adsorption energy by means of intrinsic characteristics of substrates

abstract: Surface energy is fundamental in controlling surface properties and surface-driven processes like heterogeneous catalysis, as adsorption energy is. It is thus crucial to establish an effective scheme to determine surface energy and its relation with adsorption energy. Herein, we propose a model to quantify the effects of the intrinsic characteristics of materials on the material-dependent property and anisotropy of surface energy, based on the period number and group number of bulk atoms, and the valence-electron number, electronegativity and coordination of surface atoms. Our scheme holds for elemental crystals in both solid and liquid phases, body-centered-tetragonal intermetallics, fluorite-structure intermetallics, face-centered-cubic intermetallics, Mg-based surface alloys and semiconductor compounds, which further identifies a quantitative relation between surface energy and adsorption energy and rationalizes the material-dependent error of first-principle methods in calculating the two quantities. This model is predictive with easily accessible parameters and thus allows the rapid screening of materials for targeted properties.


title: Derivative Estimates on Distributions of McKean-Vlasov SDEs

abstract: By using the heat kernel parameter expansion with respect to the frozen SDEs, the intrinsic derivative is estimated for the law of Mckean-Vlasov SDEs with respect to the initial distribution. As an application, the total variation distance between the laws of two solutions is bounded by the Wasserstein distance for initial distributions. These extend some recent results proved for distribution-free noise by using the coupling method and Malliavin calculus.


title: Formalizing and Guaranteeing* Human-Robot Interaction

abstract: Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial settings; instead, they will directly interact with the general public. The growing field of Human-Robot Interaction (HRI) studies various aspects of this scenario - from social norms to joint action to human-robot teams and more. Researchers in HRI have made great strides in developing models, methods, and algorithms for robots acting with and around humans, but these "computational HRI" models and algorithms generally do not come with formal guarantees and constraints on their operation. To enable human-interactive robots to move from the lab to real-world deployments, we must address this gap. This article provides an overview of verification, validation and synthesis techniques used to create demonstrably trustworthy systems, describes several HRI domains that could benefit from such techniques, and provides a roadmap for the challenges and the research needed to create formalized and guaranteed human-robot interaction.


title: Deep Learning Based Load Balancing for improved QoS towards 6G

abstract: Deep learning has made great strides lately with the availability of powerful computing machines and the advent of user-friendly programming environments. It is anticipated that the deep learning algorithms will entirely provision the majority of operations in 6G. One such environment where deep learning can be the right solution is load balancing in future 6G intelligent wireless networks. Load balancing presents an efficient, cost-effective method to improve the data process capability, throughput, and expand the bandwidth, thus enhancing the adaptability and availability of networks. Hence a load balancing algorithm based on Long Short Term Memory(LSTM) deep neural network is proposed through which the coverage area of base station changes according to geographic traffic distribution, catering the requirement for future generation 6G heterogeneous network. The LSTM model performance is evaluated by considering three different scenarios, and the results were presented. Load variance coefficient(LVC) and load factor(LF) are introduced and validated over two wireless network layouts(WNL) to study the Quality of Service(QoS) and load distribution. The proposed method shows a decrease of LVC by 98.311% and 99.21% for WNL1, WNL2 respectively.


title: Dyson Spheres

abstract: I review the origins and development of the idea of Dyson spheres, their purpose, their engineering, and their detectability. I explicate the ways in which the popular imagining of them as monolithic objects would make them dynamically unstable under gravity and radiation pressure, and mechanically unstable to buckling. I develop a model for the radiative coupling between a star and large amounts of material orbiting it, and connect the observational features of a star plus Dyson sphere system to the gross radiative properties of the sphere itself. I discuss the still-unexplored problem of the effects of radiative feedback on the central star's structure and luminosity. Finally, I discuss the optimal sizes of Dyson spheres under various assumptions about their purpose as sources of low-entropy emission, dissipative work, or computation.


title: Inferring epistasis from genomic data with comparable mutation and outcrossing rate

abstract: We consider a population evolving due to mutation, selection and recombination, where selection includes single-locus terms (additive fitness) and two-loci terms (pairwise epistatic fitness). We further consider the problem of inferring fitness in the evolutionary dynamics from one or several snap-shots of the distribution of genotypes in the population. In the recent literature this has been done by applying the Quasi-Linkage Equilibrium (QLE) regime first obtained by Kimura in the limit of high recombination. Here we show that the approach also works in the interesting regime where the effects of mutations are comparable to or larger than recombination. This leads to a modified main epistatic fitness inference formula where the rates of mutation and recombination occur together. We also derive this formula using by a previously developed Gaussian closure that formally remains valid when recombination is absent. The findings are validated through numerical simulations.


title: Beyond accuracy: quantifying trial-by-trial behaviour of CNNs and humans by measuring error consistency

abstract: A central problem in cognitive science and behavioural neuroscience as well as in machine learning and artificial intelligence research is to ascertain whether two or more decision makers (be they brains or algorithms) use the same strategy. Accuracy alone cannot distinguish between strategies: two systems may achieve similar accuracy with very different strategies. The need to differentiate beyond accuracy is particularly pressing if two systems are near ceiling performance, like Convolutional Neural Networks (CNNs) and humans on visual object recognition. Here we introduce trial-by-trial error consistency, a quantitative analysis for measuring whether two decision making systems systematically make errors on the same inputs. Making consistent errors on a trial-by-trial basis is a necessary condition for similar processing strategies between decision makers. Our analysis is applicable to compare algorithms with algorithms, humans with humans, and algorithms with humans. When applying error consistency to object recognition we obtain three main findings: (1.) Irrespective of architecture, CNNs are remarkably consistent with one another. (2.) The consistency between CNNs and human observers, however, is little above what can be expected by chance alone -- indicating that humans and CNNs are likely implementing very different strategies. (3.) CORnet-S, a recurrent model termed the "current best model of the primate ventral visual stream", fails to capture essential characteristics of human behavioural data and behaves essentially like a standard purely feedforward ResNet-50 in our analysis. Taken together, error consistency analysis suggests that the strategies used by human and machine vision are still very different -- but we envision our general-purpose error consistency analysis to serve as a fruitful tool for quantifying future progress.


title: Delayed Recognition; the Co-citation Perspective

abstract: A Sleeping Beauty is a publication that is apparently unrecognized for some period of time before experiencing sudden recognition by citation. Various reasons, including resistance to new ideas, have been attributed to such delayed recognition. We examine this phenomenon in the special case of co-citations, which represent new ideas generated through the combination of existing ones. Using relatively stringent selection criteria derived from the work of others, we analyze a very large dataset of over 940 million unique co-cited article pairs, and identified 1,196 cases of delayed co-citations. We further classify these 1,196 cases with respect to amplitude, rate of citation, and disciplinary origin and discuss alternative approaches towards identifying such instances.


title: What determines the maximum stellar surface density of galaxies?

abstract: Observationally, it has been reported that the densest stellar system in the Universe does not exceed a maximum stellar surface density, $\Sigma^{\max}_{*}$ = $3\times10^5$M$_{\odot}$pc$^{-2}$, throughout a wide physical scale ranging from star cluster to galaxy. This suggests there exists a fundamental physics which regulates the star formation and stellar density. However, factors that determine this maximum limit are not clear. In this study, we show that $\Sigma^{\max}_{*}$ of galaxies is not a constant as previous work reported, but actually depends on the stellar mass. We select galaxy sample from the Sloan Digital Sky Survey Data Release 12 at $z=0.01-0.5$. In contrast to a constant maximum predicted by theoretical models, $\Sigma^{\max}_{*}$ strongly depends on stellar mass especially for less massive galaxies with $\sim10^{10}$M$_{\odot}$. We also found that a majority of high-$\Sigma_{*}$ galaxies show red colours and low star-formation rates. These galaxies probably reach the $\Sigma^{\max}_{*}$ as a consequence of the galaxy evolution from blue star forming to red quiescent by quenching star formation. One possible explanation of the stellar-mass dependency of $\Sigma^{\max}_{*}$ is a mass dependent efficiency of stellar feedback. The stellar feedback could be relatively more efficient in a shallower gravitational potential, which terminates star formation quickly before the stellar system reaches a high stellar density.


title: A note on the three dimensional Dirac operator with zigzag type boundary conditions

abstract: In this note the three dimensional Dirac operator $A_m$ with boundary conditions, which are the analogue of the two dimensional zigzag boundary conditions, is investigated. It is shown that $A_m$ is self-adjoint in $L^2(\Omega;\mathbb{C}^4)$ for any open set $\Omega \subset \mathbb{R}^3$ and its spectrum is described explicitly in terms of the spectrum of the Dirichlet Laplacian in $\Omega$. In particular, whenever the spectrum of the Dirichlet Laplacian is purely discrete, then also the spectrum of $A_m$ consists of discrete eigenvalues that accumulate at $\pm \infty$ and one additional eigenvalue of infinite multiplicity.


title: Optical properties and carrier dynamics in Co-doped ZnO nanorods

abstract: The controlled modification of the electronic properties of ZnO nanorods via transition metal doping is reported. A series of ZnO nanorods were synthesized by chemical bath growth with varying Co content from 0 to 20 atomic % in the growth solution. Optoelectronic behavior was probed using cathodoluminescence, time-resolved luminescence, transient absorbance spectroscopy, and the incident photon-to-current conversion efficiency (IPCE). Analysis indicates the crucial role of surface defects in determining the electronic behavior. Significantly, Co-doping extends the light absorption of the nanorods into the visible region, increases the surface defects, shortens the non-radiative lifetimes, while leaving the radiative lifetime constant. Furthermore, for 1 atomic % Co-doping the IPCE of the ZnO nanorods is enhanced. These results demonstrate that doping can controllably tune the functional electronic properties of ZnO nanorods for applications.


title: Image-level Harmonization of Multi-Site Data using Image-and-Spatial Transformer Networks

abstract: We investigate the use of image-and-spatial transformer networks (ISTNs) to tackle domain shift in multi-site medical imaging data. Commonly, domain adaptation (DA) is performed with little regard for explainability of the inter-domain transformation and is often conducted at the feature-level in the latent space. We employ ISTNs for DA at the image-level which constrains transformations to explainable appearance and shape changes. As proof-of-concept we demonstrate that ISTNs can be trained adversarially on a classification problem with simulated 2D data. For real-data validation, we construct two 3D brain MRI datasets from the Cam-CAN and UK Biobank studies to investigate domain shift due to acquisition and population differences. We show that age regression and sex classification models trained on ISTN output improve generalization when training on data from one and testing on the other site.


title: FairRec: Fairness-aware News Recommendation with Decomposed Adversarial Learning

abstract: News recommendation is important for online news services. Existing news recommendation models are usually learned from users' news click behaviors. Usually the behaviors of users with the same sensitive attributes (e.g., genders) have similar patterns and news recommendation models can easily capture these patterns. It may lead to some biases related to sensitive user attributes in the recommendation results, e.g., always recommending sports news to male users, which is unfair since users may not receive diverse news information. In this paper, we propose a fairness-aware news recommendation approach with decomposed adversarial learning and orthogonality regularization, which can alleviate unfairness in news recommendation brought by the biases of sensitive user attributes. In our approach, we propose to decompose the user interest model into two components. One component aims to learn a bias-aware user embedding that captures the bias information on sensitive user attributes, and the other aims to learn a bias-free user embedding that only encodes attribute-independent user interest information for fairness-aware news recommendation. In addition, we propose to apply an attribute prediction task to the bias-aware user embedding to enhance its ability on bias modeling, and we apply adversarial learning to the bias-free user embedding to remove the bias information from it. Moreover, we propose an orthogonality regularization method to encourage the bias-free user embeddings to be orthogonal to the bias-aware one to better distinguish the bias-free user embedding from the bias-aware one. For fairness-aware news ranking, we only use the bias-free user embedding. Extensive experiments on benchmark dataset show that our approach can effectively improve fairness in news recommendation with minor performance loss.


title: Learning to Format Coq Code Using Language Models

abstract: Should the final right bracket in a record declaration be on a separate line? Should arguments to the rewrite tactic be separated by a single space? Coq code tends to be written in distinct manners by different people and teams. The expressiveness, flexibility, and extensibility of Coq's languages and notations means that Coq projects have a wide variety of recognizable coding styles, sometimes explicitly documented as conventions on naming and formatting. In particular, even inexperienced users can distinguish vernacular using the standard library and plain Ltac from idiomatic vernacular using the Mathematical Components (MathComp) library and SSReflect. While coding conventions are important for comprehension and maintenance, they are costly to document and enforce. Rule-based formatters, such as Coq's beautifier, have limited flexibility and only capture small fractions of desired conventions in large verification projects. We believe that application of language models - a class of Natural Language Processing (NLP) techniques for capturing regularities in corpora - can provide a solution to this conundrum. More specifically, we believe that an approach based on automatically learning conventions from existing Coq code, and then suggesting idiomatic code to users in the proper context, can be superior to manual approaches and static analysis tools - both in terms of effort and results. As a first step, we here outline initial models to learn and suggest space formatting in Coq files, with a preliminary implementation for Coq 8.10, and evaluated on a corpus based on MathComp 1.9.0 which comprises 164k lines of Coq code from four core projects.


title: Optimal Rates of Distributed Regression with Imperfect Kernels

abstract: Distributed machine learning systems have been receiving increasing attentions for their efficiency to process large scale data. Many distributed frameworks have been proposed for different machine learning tasks. In this paper, we study the distributed kernel regression via the divide and conquer approach. This approach has been proved asymptotically minimax optimal if the kernel is perfectly selected so that the true regression function lies in the associated reproducing kernel Hilbert space. However, this is usually, if not always, impractical because kernels that can only be selected via prior knowledge or a tuning process are hardly perfect. Instead it is more common that the kernel is good enough but imperfect in the sense that the true regression can be well approximated by but does not lie exactly in the kernel space. We show distributed kernel regression can still achieves capacity independent optimal rate in this case. To this end, we first establish a general framework that allows to analyze distributed regression with response weighted base algorithms by bounding the error of such algorithms on a single data set, provided that the error bounds has factored the impact of the unexplained variance of the response variable. Then we perform a leave one out analysis of the kernel ridge regression and bias corrected kernel ridge regression, which in combination with the aforementioned framework allows us to derive sharp error bounds and capacity independent optimal rates for the associated distributed kernel regression algorithms. As a byproduct of the thorough analysis, we also prove the kernel ridge regression can achieve rates faster than $N^{-1}$ (where $N$ is the sample size) in the noise free setting which, to our best knowledge, are first observed and novel in regression learning.


title: Machine learning fairness notions: Bridging the gap with real-world applications

abstract: Fairness emerged as an important requirement to guarantee that Machine Learning (ML) predictive systems do not discriminate against specific individuals or entire sub-populations, in particular, minorities. Given the inherent subjectivity of viewing the concept of fairness, several notions of fairness have been introduced in the literature. This paper is a survey that illustrates the subtleties between fairness notions through a large number of examples and scenarios. In addition, unlike other surveys in the literature, it addresses the question of: which notion of fairness is most suited to a given real-world scenario and why? Our attempt to answer this question consists in (1) identifying the set of fairness-related characteristics of the real-world scenario at hand, (2) analyzing the behavior of each fairness notion, and then (3) fitting these two elements to recommend the most suitable fairness notion in every specific setup. The results are summarized in a decision diagram that can be used by practitioners and policymakers to navigate the relatively large catalog of ML.


title: Morphology and ionization characteristics of planetary nebulae PB 1 and PC 19

abstract: We present results of our study of two planetary nebulae (PNe), PB1 and PC 19. We use the optical spectra of these two PNe observed at 2 m Himalayan Chandra Telescope and also archival and literature data for the study. We use the morphokinematic code SHAPE to construct 3D morphologies of the PNe and the photoionization code CLOUDY to model the observed spectra. The 3D model of PB 1 consists of an elongated shell surrounded by a bipolar halo and that of PC 19 consists of an open lobed bipolar structure and a spiral filamentary pair. We analyze the ionization structure of the PNe by deriving several plasma parameters and by photoionization modelling. We estimate the elemental abundances of the the elements, He, C, N, O, Ne, S, Ar, and Cl, from our analysis. We find He, C and N abundances to be significantly higher in case of PB 1. We estimate different physical parameters of the central stars, namely effective temperature, luminosity and gravity, and of the nebula, namely hydrogen density profiles, radii, etc., from photoionization modelling. We estimate distances to the PNe as $\sim$4.3 kpc for PB 1 and as $\sim$5.6 kpc for PC 19 by fitting the photoionization models to absolute observed fluxes. Progenitor masses are estimated from theoretical evolutionary trajectories and are found to be $\sim$1.67 and $\sim$2.38 $M_{\odot}$ for PB 1 and PC 19, respectively.


title: On quantum corrections to geodesics in de-Sitter spacetime

abstract: We find a coordinate-independent wave-packet solution of the massive Klein-Gordon equation with the conformal coupling to gravity in the de-Sitter universe. This solution can locally be represented through the superposition of positive-frequency plane waves at any space-time point, assuming that the scalar-field mass $M$ is much bigger than the de-Sitter Hubble constant $H$. The solution is also shown to be related to the two-point function in the de-Sitter quantum vacuum. Moreover, we study the wave-packet propagation over cosmological times, depending on the ratio of $M$ and $H$. In doing so, we find that this wave packet propagates like a point-like particle of the same mass if $M \ggg H$, but, if otherwise, the wave packet behaves highly non-classically.


title: Symbolic powers in weighted oriented graphs

abstract: Let $D$ be a weighted oriented graph with the underlying graph $G$ when vertices with non-trivial weights are sinks and $I(D), I(G) $ be the edge ideals corresponding to $D$ and $G,$ respectively. We give explicit description of the symbolic powers of $I(D)$ using the concept of strong vertex covers. We show that the ordinary and symbolic powers of $I(D)$ and $I(G)$ behave in a similar way. We provide a description for symbolic powers and Waldschmidt constant of $I(D)$ for certain classes of weighted oriented graphs. When $D$ is a weighted oriented odd cycle we compute $\reg (I(D)^{(s)}/I(D)^s)$ and prove $\reg I(D)^{(s)}\leq\reg I(D)^s$ and show that equality holds when there is only one vertex with non-trivial weight.


title: Oxidation states, Thouless' pumps, and non-trivial ionic transport in non-stoichiometric electrolytes

abstract: Thouless' quantization of adiabatic particle transport permits to associate an integer topological charge with each atom of an electronically gapped material. If these charges are additive and independent of atomic positions, they provide a rigorous definition of atomic oxidation states and atoms can be identified as integer-charge carriers in ionic conductors. Whenever these conditions are met, charge transport is necessarily convective, i.e. it cannot occur without substantial ionic flow, a transport regime that we dub trivial. We show that the topological requirements that allow these conditions to be broken are the same that would determine a Thouless' pump mechanism if the system were subject to a suitably defined time-periodic Hamiltonian. The occurrence of these requirements determines a non-trivial transport regime whereby charge can flow without any ionic convection, even in electronic insulators. These results are first demonstrated with a couple of simple molecular models that display a quantum pump mechanism upon introduction of a fictitious time dependence of the atomic positions along a closed loop in configuration space. We finally examine the impact of our findings on the transport properties of non-stoichiometric alkali-halide melts, where the same topological conditions that would induce a quantum pump mechanism along certain closed loops in configuration space also determine a non-trivial transport regime such that most of the total charge current results to be uncorrelated from the ionic ones.

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


title: Description of alpha-clustering of 8Be nucleus states in high-precision theoretical approach

abstract: Scrupulous theoretical study of 8Be nucleus states, both clustered and non-clustered, is performed over a wide range of the excitation energies. The quantities which characterize the degree of the alpha-clustering of these states: spectroscopic factors, cluster form factors as well as the alpha-decay widths are computed in the framework of an accurate ab initio approach developed. Other basic properties of 8Be spectrum: the binding and excitation energies, mean values of the isospin are calculated simultaneously. In the majority of instances the results of the computations turn out to be in a good agreement with the spectroscopic data. A number of predictions are made and corresponding verification experiment is proposed. Prospects of the developed approach for nuclear spectroscopy are demonstrated.


title: Theoretical and observational constraints on regularized 4$D$ Einstein-Gauss-Bonnet gravity

abstract: Regularized Einstein-Gauss-Bonnet (EGB) theory of gravity in four dimensions is a new attempt to include nontrivial contributions of Gauss-Bonnet term. In this paper, we make a detailed analysis on possible constraints of the model parameters of the theory from recent cosmological observations, and some theoretical constraints as well. Our results show that the theory with vanishing bare cosmological constant, $\Lambda_0$, is ruled out by the current observational value of $w_{de}$, and the observations of GW170817 and GRB 170817A as well. For nonvanishing bare cosmological constant, instead, our results show that the current observation of the speed of GWs measured by GW170817 and GRB 170817A would place a constraints on $\tilde{\alpha}$, a dimensionless parameter of the theory, as $-7.78\times10^{-16}\le \tilde{\alpha} \leq 3.33\times10^{-15}$.


title: ML Models of Vibrating H$_2$CO: Comparing Reproducing Kernels, FCHL and PhysNet

abstract: Machine Learning (ML) has become a promising tool for improving the quality of atomistic simulations. Using formaldehyde as a benchmark system for intramolecular interactions, a comparative assessment of ML models based on state-of-the-art variants of deep neural networks (NN), reproducing kernel Hilbert space (RKHS+F), and kernel ridge regression (KRR) is presented. Learning curves for energies and atomic forces indicate rapid convergence towards excellent predictions for B3LYP, MP2, and CCSD(T)-F12 reference results for modestly sized (in the hundreds) training sets. Typically, learning curve off-sets decay as one goes from NN (PhysNet) to RKHS+F to KRR (FCHL). Conversely, the predictive power for extrapolation of energies towards new geometries increases in the same order with RKHS+F and FCHL performing almost equally. For harmonic vibrational frequencies, the picture is less clear, with PhysNet and FCHL yielding respectively flat learning at $\sim$ 1 and $\sim$ 0.2 cm$^{-1}$ no matter which reference method, while RKHS+F models level off for B3LYP, and exhibit continued improvements for MP2 and CCSD(T)-F12. Finite-temperature molecular dynamics (MD) simulations with the same initial conditions yield indistinguishable infrared spectra with good performance compared with experiment except for the high-frequency modes involving hydrogen stretch motion which is a known limitation of MD for vibrational spectroscopy. For sufficiently large training set sizes all three models can detect insufficient convergence (``noise'') of the reference electronic structure calculations in that the learning curves level off. Transfer learning (TL) from B3LYP to CCSD(T)-F12 with PhysNet indicates that additional improvements in data efficiency can be achieved.


title: Exploring pedagogical content knowledge of physics instructors using the force concept inventory

abstract: The Force Concept Inventory (FCI) has been widely used to assess student understanding of introductory mechanics concepts by educators and physics education researchers. Many of the items on the FCI have strong distractor choices corresponding to students' alternate conceptions in mechanics. Instruction is unlikely to be effective if instructors do not explicitly take into account students' initial knowledge state in their instructional design. We discuss research involving the FCI to evaluate the pedagogical content knowledge of instructors of varying teaching experience. For each item on the FCI, instructors were asked to identify the most common incorrect answer choice of introductory physics students. We also discussed the responses individually with some instructors. Then we used the FCI pre-test and post-test data from a large population (~900) of introductory students to assess the pedagogical content knowledge of the physics instructors related to the FCI. While the physics instructors, on average, performance better than random guessing at identifying introductory students' difficulties with FCI content, they did not identify many common difficulties of introductory physics students. Moreover, the ability to correctly identify students' difficulties was not correlated with the teaching experience of instructors.


title: The collapsibility of CAT(0) square 2-complexes

abstract: We give a sufficient condition for the collapsibility of finite square 2-complexes. We show that any finite, CAT(0) square 2-complex retracts to a point through CAT(0) subspaces.


title: Interior-Boundary Conditions for the Dirac Equation at Point Sources in 3 Dimensions

abstract: A recently proposed approach for avoiding the ultraviolet divergence of Hamiltonians with particle creation is based on interior-boundary conditions (IBCs). The approach works well in the non-relativistic case, that is, for the Laplacian operator. Here, we study how the approach can be applied to Dirac operators. While this has been done successfully already in 1 space dimension, and more generally for codimension-1 boundaries, the situation of point sources in 3 dimensions corresponds to a codimension-3 boundary. One would expect that, for such a boundary, Dirac operators do not allow for boundary conditions because they are known not to allow for point interactions in 3d, which also correspond to a boundary condition. And indeed, we confirm this expectation here by proving that there is no self-adjoint operator on (a truncated) Fock space that would correspond to a Dirac operator with an IBC at configurations with a particle at the origin. However, we also present a positive result showing that there are self-adjoint operators with IBC (on the boundary consisting of configurations with a particle at the origin) that are, away from those configurations, given by a Dirac operator plus a sufficiently strong Coulomb potential.


title: Euclidean Geometry and Elliptic Curves

abstract: In this paper, we demonstrate the intimate relationships among some geometric figures and the families of elliptic curves with positive ranks. These geometric figures include \textit{\textbf{Heron triangles}}, \textit{\textbf{Brahmagupta quadrilaterals}} and \textit{\textbf{Bicentric quadrilaterals}}. Firstly, we investigate the important properties of these figures and then utilizing these properties, we show that how to construct various families of elliptic curves with different positive ranks having different torsion subgroups.


title: Voronoi Diagrams Generated by the Archimedes Spiral

abstract: Voronoi mosaics inspired by the seed points placed on the Archimedes Spirals are reported. Voronoi entropy was calculated for these patterns. Equidistant and non-equidistant patterns are treated. Voronoi mosaics built from cells of equal size which are of primary importance for decorative arts are reported. The pronounced prevalence of hexagons is inherent for the patterns with an equidistant and non-equidistant distribution of points, when the distance between the seed points is of the same order of magnitude as the distance between the turns of the spiral. Penta- and heptagonal 'defected' cells appeared in the Voronoi diagrams due to the finite nature of the pattern. The ordered Voronoi tessellations demonstrating the Voronoi entropy larger than 1.71, reported for the random 2D distribution of points, were revealed. The dependence of the Voronoi entropy on the total number of the seed points located on the Archimedes Spirals is reported. The aesthetic attraction of the Voronoi mosaics arising from seed points placed on the Archimedes Spirals is discussed.


title: Crowded transport within networked representations of complex geometries

abstract: Transport in crowded, complex environments occurs across many spatial scales. Geometric restrictions can hinder the motion of individuals and, combined with crowding between individuals, can have drastic effects on global transport phenomena. However, in general, the interplay between crowding and geometry in complex real-life environments is poorly understood. Existing analytical methodologies are not always readily extendable to heterogeneous environments: in these situations predictions of crowded transport behaviour within heterogeneous environments rely on computationally intensive mesh-based approaches. Here, we take a different approach by employing networked representations of complex environments to provide an efficient framework within which the interactions between networked geometry and crowding can be explored. We demonstrate how the framework can be used to: extract detailed information at the level of the whole population or an individual within it; identify the topological features of environments that enable accurate prediction of transport phenomena; and, provide insights into the design of optimal environments.


title: Asymptotic of summation functions

abstract: We will study the asymptotic behavior of summation functions of a natural argument, including the asymptotic behavior of summation functions of a prime argument in the paper. A general formula is obtained for determining the asymptotic behavior of the sums of functions of a prime argument based on the asymptotic law of primes. We will show, that under certain conditions: $\sum_{p \leq n} {f(p)}= \sum_{k=2}^n {\frac {f(k)}{\log(k)}(1+o(1))}$, where $p$ is a prime number. In the paper, the necessary and sufficient conditions for the fulfillment of this formula are proved.


title: The Mobius Function and Congruent Numbers

abstract: This work provides a complete characterization of congruent numbers in terms of Pythagorean triples. Specifically, we show that every congruent number can be written as $$\frac{nm\left(m-n\right)\left(m+n\right)}{\sigma^2}$$ were as $$\sigma \vert \rho\biggl(\left(m-n\right)\left(m+n\right)\biggr),\indent \text{or} \indent \sigma \vert \rho( nm )$$ were $\rho(\alpha)$ denotes the non-square free part of its argument $\alpha$. As a consequence, in order to find congruent numbers it suffices to devise a condition so that the equality $\mu(m-n)+1 = \gcd(m,n)$ or $\mu(m+n)+1 =\gcd(m,n)$ holds, were $\mu$ is the Mobius function.


title: Individual-level Modeling of COVID-19 Epidemic Risk

abstract: The ongoing COVID-19 pandemic calls for a multi-faceted public health response comprising complementary interventions to control the spread of the disease while vaccines and therapies are developed. Many of these interventions need to be informed by epidemic risk predictions given available data, including symptoms, contact patterns, and environmental factors. Here we propose a novel probabilistic formalism based on Individual-Level Models (ILMs) that offers rigorous formulas for the probability of infection of individuals, which can be parameterised via Maximum Likelihood Estimation (MLE) applied on compartmental models defined at the population level. We describe an approach where individual data collected in real-time is integrated with overall case counts to update the a predictor of the susceptibility of infection as a function of individual risk factors.


title: Online Multi-Facility Location

abstract: Facility Location problems ask to place facilities in a way that optimizes a given objective function so as to provide a service to all clients. These are one of the most well-studied optimization problems spanning many research areas such as operations research, computer science, and management science. Traditionally, these problems are solved with the assumption that clients need to be served by one facility each. In many real-world scenarios, it is very likely that clients need a robust service that requires more than one facility for each client. In this paper, we capture this robustness by exploring a generalization of Facility Location problems, called Multi-Facility Location problems, in the online setting. An additional parameter k, which represents the number of facilities required to serve a client, is given. We propose the first online algorithms for the metric and non-metric variants of Multi-Facility Location and measure their performance with competitive analysis, the standard to measure online algorithms, in the worst case, in which the cost of the online algorithm is compared to that of the optimal offline algorithm that knows the entire input sequence in advance.


title: Evolutionary Processes in Quantum Decision Theory

abstract: The review presents the basics of quantum decision theory, with the emphasis on temporary processes in decision making. The aim is to explain the principal points of the theory. The difference of an operationally testable rational choice between alternatives from a choice decorated by irrational feelings is elucidated. Quantum-classical correspondence is emphasized. A model of quantum intelligence network is described. Dynamic inconsistencies are shown to be resolved in the frame of the quantum decision theory.


title: Tusas: A fully implicit parallel approach for coupled phase-field equations

abstract: We develop a fully-coupled, fully-implicit approach for phase-field modeling of solidification in metals and alloys. Predictive simulation of solidification in pure metals and metal alloys remains a significant challenge in the field of materials science, as microstructure formation during the solidification process plays a critical role in the properties and performance of the solid material. Our simulation approach consists of a finite element spatial discretization of the fully-coupled nonlinear system of partial differential equations at the microscale, which is treated implicitly in time with a preconditioned Jacobian-free Newton-Krylov method. The approach allows time steps larger than those restricted by the traditional explicit CFL limit and is algorithmically scalable as well as efficient due to an effective preconditioning strategy based on algebraic multigrid and block factorization. We implement this approach in the open-source Tusas framework, which is a general, flexible tool developed in C++ for solving coupled systems of nonlinear partial differential equations. The performance of our approach is analyzed in terms of algorithmic scalability and efficiency, while the computational performance of Tusas is presented in terms of parallel scalability and efficiency on emerging heterogeneous architectures. We demonstrate that modern algorithms, discretizations, and computational science, and heterogeneous hardware provide a robust route for predictive phase-field simulation of microstructure evolution during additive manufacturing.


title: Federated Mutual Learning

abstract: Federated learning (FL) enables collaboratively training deep learning models on decentralized data. However, there are three types of heterogeneities in FL setting bringing about distinctive challenges to the canonical federated learning algorithm (FedAvg). First, due to the Non-IIDness of data, the global shared model may perform worse than local models that solely trained on their private data; Second, the objective of center server and clients may be different, where center server seeks for a generalized model whereas client pursue a personalized model, and clients may run different tasks; Third, clients may need to design their customized model for various scenes and tasks; In this work, we present a novel federated learning paradigm, named Federated Mutual Leaning (FML), dealing with the three heterogeneities. FML allows clients training a generalized model collaboratively and a personalized model independently, and designing their private customized models. Thus, the Non-IIDness of data is no longer a bug but a feature that clients can be personally served better. The experiments show that FML can achieve better performance than alternatives in typical FL setting, and clients can be benefited from FML with different models and tasks.


title: The Eclipse of 21 June 1629 in Beijing in the Context of the Reform of the Chinese Calendar

abstract: This paper examines the predictions made by Chinese, Muslim and Jesuit astronomers of the eclipse of 21 June 1629 in Beijing, allegedly the event that determined Emperor Chongzhen's resolution to reform the calendar using the Western method. In order to establish the accuracy of these predictions, as reported at the time by the Chinese scholar and convert Xu Guangqi, we have compared them with an accurate reconstruction of the eclipse made at NASA. In contrast with current opinions, we argue that the prediction made by the Jesuits was indeed the most accurate. It was in fact instrumental in dissipating Chongzhen's doubts about the need to entrust Jesuit missionaries serving at the Chinese court with the task of reforming the calendar, leading to the first important scientific collaboration between Europe and China.


title: Adaptive SpMV/SpMSpV on GPUs for Input Vectors of Varied Sparsity

abstract: Despite numerous efforts for optimizing the performance of Sparse Matrix and Vector Multiplication (SpMV) on modern hardware architectures, few works are done to its sparse counterpart, Sparse Matrix and Sparse Vector Multiplication (SpMSpV), not to mention dealing with input vectors of varied sparsity. The key challenge is that depending on the sparsity levels, distribution of data, and compute platform, the optimal choice of SpMV/SpMSpV kernel can vary, and a static choice does not suffice. In this paper, we propose an adaptive SpMV/SpMSpV framework, which can automatically select the appropriate SpMV/SpMSpV kernel on GPUs for any sparse matrix and vector at the runtime. Based on systematic analysis on key factors such as computing pattern, workload distribution and write-back strategy, eight candidate SpMV/SpMSpV kernels are encapsulated into the framework to achieve high performance in a seamless manner. A comprehensive study on machine learning based kernel selector is performed to choose the kernel and adapt with the varieties of both the input and hardware from both accuracy and overhead perspectives. Experiments demonstrate that the adaptive framework can substantially outperform the previous state-of-the-art in real-world applications on NVIDIA Tesla K40m, P100 and V100 GPUs.


title: On the residence-time of Jovian electrons in the inner heliosphere

abstract: Jovian electrons serve as an important test-particle distribution in the inner heliosphere and have been used extensively in the past to study the (diffusive) transport of cosmic rays in the inner heliosphere. With new limits on the Jovian source function (i.e. the particle intensity just outside the Jovian magnetosphere), and a new set of in-situ observations at 1 AU for both cases of good and poor magnetic connection between the source and observer, we revisit some of these earlier simulations. We aim to find the optimal numerical set-up that can be used to simulate the propagation of 6 MeV Jovian electrons in the inner heliosphere. Using such a set-up, we further aim to study the residence (propagation) times of these particles for different levels of magnetic connection between Jupiter and an observer at Earth (1 AU). Using an advanced Jovian electron propagation model based on the stochastic differential equation (SDE) approach, we calculate the Jovian electron intensity for different model parameters. A comparison with observations leads to an optimal numerical set-up, which is then used to calculate the so-called residence (propagation) times of these particles. Comparing to in-situ observations, we are able to derive transport parameters that are appropriate to study the propagation of 6 MeV Jovian electrons in the inner heliosphere. Moreover, using these values, we show that the method of calculating the residence time applied in former literature is not suited to being interpreted as the propagation time of physical particles. This is due to an incorrect weighting of the probability distribution. We propose and apply a new method, where the results from each pseudo-particle are weighted by its resulting phase-space density (i.e. the number of physical particles that it represents). Thereby we obtain more reliable estimates for the propagation time.


title: Nonclassicality of open circuit QED systems in the deep-strong coupling regime

abstract: We investigate theoretically how the ground state of a qubit-resonator system in the deep-strong coupling (DSC) regime is affected by the coupling to an environment. We employ as a variational ansatz for the ground state of the qubit-resonator-environment system a superposition of coherent states displaced in qubit-state-dependent directions. We show that the reduced density matrix of the qubit-resonator system strongly depends on how the system is coupled to the environment, i.e., capacitive or inductive, because of the broken rotational symmetry of the eigenstates of the DSC system in the resonator phase space. When the resonator couples to the qubit and the environment in different ways (for instance, one is inductive and the other is capacitive), the system is almost unaffected by the resonator-waveguide coupling. In contrast, when the two couplings are of the same type (for instance, both are inductive), by increasing the resonator-waveguide coupling strength, the average number of virtual photons increases and the quantum superposition realized in the qubit-resonator entangled ground state is partially degraded. Since the superposition becomes more fragile with increasing the qubit-resonator coupling, there exists an optimal coupling strength to maximize the nonclassicality of the qubit-resonator system.


title: The inverse-deformation approach to fracture

abstract: We propose a one-dimensional, nonconvex elastic constitutive model with higher gradients that can predict spontaneous fracture at a critical load via a bifurcation analysis. It overcomes the problem of discontinuous deformations without additional field variables, such as damage or phase-field variables, and without a priori specified surface energy. Our main tool is the use of the inverse deformation, which can be extended to be a piecewise smooth mapping even when the original deformation has discontinuities describing cracks opening. We exploit this via the inverse-deformation formulation of finite elasticity due to Shield and Carlson, including higher gradients in the energy. The problem is amenable to a rigorous global bifurcation analysis in the presence of a unilateral constraint. Fracture under hard loading occurs on a bifurcating solution branch at a critical applied stretch level and fractured solutions are found to have surface energy arising from higher gradient effects.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment

abstract: By increasing mobile devices in technology and human life, using a runtime and mobile services has gotten more complex along with the composition of a large number of atomic services. Different services are provided by mobile cloud components to represent the non-functional properties as Quality of Service (QoS), which is applied by a set of standards. On the other hand, the growth of the energy-source heterogeneity in mobile clouds is an emerging challenge according to the energy-saving problem in mobile nodes. To mobile cloud service composition as an NP-Hard problem, an efficient selection method should be taken by problem using optimal energy-aware methods that can extend the deployment and interoperability of mobile cloud components. Also, an energy-aware service composition mechanism is required to preserve high energy saving scenarios for mobile cloud components. In this paper, an energy-aware mechanism is applied to optimize mobile cloud service composition using a hybrid Shuffled Frog Leaping Algorithm and Genetic Algorithm (SFGA). Experimental results capture that the proposed mechanism improves the feasibility of the service composition with minimum energy consumption, response time, and cost for mobile cloud components against some current algorithms.


title: The optical loss study of molecular layer for a cryogenic interferometric gravitational-wave detector

abstract: The detection of gravitational-waves provides us with a deep insight into the universe. In order to increase the number of detectable gravitational-wave sources, several future gravitational-wave detectors will operate with cryogenic mirrors. Recent studies, however, showed residual gas molecules inside the vacuum chamber adhere to the cryogenic mirror surface and form a molecular layer which grows with time. The growing molecular layer introduces an additional optical loss in the mirror which can decrease the detector's performance. We theoretically estimate the optical loss by the molecular layer in a cryogenically operated gravitational-wave detector. The impacts on a cryogenic gravitational-wave detector is discussed based on the results of optical loss estimation.


title: Strategies to reduce the environmental impact in the MRPC array of the EEE experiment

abstract: The Extreme Energy Events (EEE) Project employs Multi-gap Resistive Plate Chamber (MRPC) for studying the secondary cosmic ray muons in Extensive Air Showers. The array consists of about 60 tracking detectors, sparse on Italian territory and at CERN. The MRPCs are flowed with a gas mixture based on $C_2H_2F_4$ and $SF_6$, both of which are fluorinated greenhouse gases with a high environmental impact on the atmosphere. Due to the restrictions imposed by the European Union, these gases are being phased out of production and their cost is largely increasing. The EEE Collaboration started a campaign to reduce the gas emission from its array with the aim of containing costs and decreasing the experiment global warming impact. One method is to reduce the gas rate in each EEE detector. Another is to develop a gas recirculation system, whose a first prototype has been installed at one of the EEE stations located at CERN. Jointly a parallel strategy is focused on searching for environmental friendly gas mixtures which are able to substitute the standard mixture without affecting the MRPC performance. An overview and first results are presented here.


title: Accurate bulk properties of nuclei from $A = 2$ to $\infty$ from potentials with $\Delta$ isobars

abstract: We optimize $\Delta$-full nuclear interactions from chiral effective field theory. The low-energy constants of the contact potentials are constrained by two-body scattering phase shifts, and by properties of bound-state of $A=2$ to $4$ nucleon systems and nuclear matter. The pion-nucleon couplings are taken from a Roy-Steiner analysis. The resulting interactions yield accurate binding energies and radii for a range of nuclei from $A=16$ to $A=132$, and provide accurate equations of state for nuclear matter and realistic symmetry energies. Selected excited states are also in agreement with data.


title: Moret-Bailly families and non-liftable schemes

abstract: Generalizing the Moret-Bailly pencil of supersingular abelian surfaces to higher dimensions, we construct for each field of characteristic p>0 a smooth projective variety with trivial dualizing sheaf that does not formally lift to characteristic zero. Our approach heavily relies on local unipotent group schemes, the Beauville--Bogomolov Decomposition for K\"ahler manifolds with $c_1=0$, and equivariant deformation theory


title: Analysis of the 1S and 2S states of the $\Lambda_Q$ and $\Xi_Q$ with the QCD sum rules

abstract: In this article, we study the ground states and the first radial excited states of the flavor antitriplet heavy baryon states $\Lambda_Q$ and $\Xi_Q$ with the spin-parity $J^P={1\over 2}^{+}$ by carrying out the operator product expansion up to the vacuum condensates of dimension $10$ in a consistent way. We observe that the higher dimensional vacuum condensates play an important role, and obtain very stable QCD sum rules with variations of the Borel parameters for the heavy baryon states for the first time. The predicted masses $6.08\pm0.09\,\rm{GeV}$, $2.78\pm0.08\,\rm{GeV}$ and $2.96\pm0.09\,\rm{GeV}$ for the first radial excited states $\Lambda_b(\rm 2S)$, $\Lambda_c(\rm 2S)$ and $\Xi_c(\rm 2S)$ respectively are in excellent agreement with the experimental data and support assigning the $\Lambda_b(6072)$, $\Lambda_c(2765)$ and $\Xi_c(2980/2970)$ to be the first radial excited states of the $\Lambda_b$, $\Lambda_c$ and $\Xi_c$, respectively, the predicted mass $6.24\pm0.07\,\rm{GeV}$ for the $\Xi_b(\rm 2S)$ can be confronted to the experimental data in the future.


title: Large-scale inference of liver fat with neural networks on UK Biobank body MRI

abstract: The UK Biobank Imaging Study has acquired medical scans of more than 40,000 volunteer participants. The resulting wealth of anatomical information has been made available for research, together with extensive metadata including measurements of liver fat. These values play an important role in metabolic disease, but are only available for a minority of imaged subjects as their collection requires the careful work of image analysts on dedicated liver MRI. Another UK Biobank protocol is neck-to-knee body MRI for analysis of body composition. The resulting volumes can also quantify fat fractions, even though they were reconstructed with a two- instead of a three-point Dixon technique. In this work, a novel framework for automated inference of liver fat from UK Biobank neck-to-knee body MRI is proposed. A ResNet50 was trained for regression on two-dimensional slices from these scans and the reference values as target, without any need for ground truth segmentations. Once trained, it performs fast, objective, and fully automated predictions that require no manual intervention. On the given data, it closely emulates the reference method, reaching a level of agreement comparable to different gold standard techniques. The network learned to rectify non-linearities in the fat fraction values and identified several outliers in the reference. It outperformed a multi-atlas segmentation baseline and inferred new estimates for all imaged subjects lacking reference values, expanding the total number of liver fat measurements by factor six.


title: Nonlinear spectral synthesis of soliton gas in deep-water surface gravity waves

abstract: Soliton gases represent large random soliton ensembles in physical systems that display integrable dynamics at the leading order. Despite significant theoretical developments and observational evidence of ubiquity of soliton gases in fluids and optical media their controlled experimental realization has been missing. We report the first controlled synthesis of a dense soliton gas in deep-water surface gravity waves using the tools of nonlinear spectral theory (inverse scattering transform (IST)) for the one-dional focusing nonlinear Schr\"odinger equation. The soliton gas is experimentally generated in a one-dimensional water tank where we demonstrate that we can control and measure the density of states, i. e. the probability density function parametrizing the soliton gas in the IST spectral phase space. Nonlinear spectral analysis of the generated hydrodynamic soliton gas reveals that the density of states slowly changes under the influence of perturbative higher-order effects that break the integrability of the wave dynamics.


title: PLATO-2: Towards Building an Open-Domain Chatbot via Curriculum Learning

abstract: To build a high-quality open-domain chatbot, we introduce the effective training process of PLATO-2 via curriculum learning. There are two stages involved in the learning process. In the first stage, a coarse-grained generation model is trained to learn response generation under the simplified framework of one-to-one mapping. In the second stage, a fine-grained generative model augmented with latent variables and an evaluation model are further trained to generate diverse responses and to select the best response, respectively. PLATO-2 was trained on both Chinese and English data, whose effectiveness and superiority are verified through comprehensive evaluations, achieving new state-of-the-art results.


title: Operando Control of Skyrmion Density in a Lorentz Transmission Electron Microscope with Current Pulses

abstract: Magnetic skyrmions hold promise for spintronic devices. To explore the dynamical properties of skyrmions in devices, a nanoscale method to image spin textures in response to a stimulus is essential. Here, we apply a technique for operando electrical current pulsing of chiral magnetic devices in a Lorentz transmission electron microscope. In ferromagnetic multilayers with interfacial Dzyaloshinskii-Moriya interaction (DMI), we study the creation and annihilation of skyrmions localized by point-like pinning sites due to defects. Using a combination of experimental and micromagnetic techniques, we establish a thermal contribution for the creation and annihilation of skyrmions in our study. Our work reveals a mechanism for controlling skyrmion density, which enables an examination of skyrmion magnetic field stability as a function of density. We find that high-density skyrmion states are more stable than low-density states or isolated skyrmions resisting annihilation over a magnetic field range that increases monotonically with density.


title: On the strong concavity of the dual function of an optimization problem

abstract: We provide three new proofs of the strong concavity of the dual function of some convex optimization problems. For problems with nonlinear constraints, we show that the the assumption of strong convexity of the objective cannot be weakened to convexity and that the assumption that the gradients of all constraints at the optimal solution are linearly independent cannot be further weakened. Finally, we illustrate our results with several examples.


title: Generation of sub-40 fs pulses at 1.8 \mu m by chirp-assisted Raman scattering in hydrogen-filled hollow-core fibre

abstract: The possibility of performing time-resolved spectroscopic studies in the molecular fingerprinting region or extending the cut-off wavelength of high-harmonic generation has recently boosted the development of efficient mid-infrared ultrafast lasers. In particular, fibre lasers based on active media such as thulium or holmium are a very active area of research since they are robust, compact and can operate at high repetition rates. These systems, however, are still complex, are unable to deliver pulses shorter than 100 fs and are not yet as mature as their near-infrared counterparts. Here we report generation of sub-40 fs pulses at 1.8 microns, with quantum efficiencies of 50% and without need for post-compression, in hydrogen-filled hollow-core photonic crystal fibre pumped by a commercial 300-fs fibre laser at 1030 nm. This is achieved by pressure-tuning the dispersion and avoiding Raman gain suppression by adjusting the chirp of the pump pulses and the proportion of higher order modes launched into the fibre. The system is optimized using a physical model that incorporates the main linear and nonlinear contributions to the optical response. The approach is average power-scalable, permits adjustment of the pulse shape and can potentially allow access to much longer wavelengths.


title: Siting thousands of radio transmitter towers on terrains with billions of points

abstract: This paper presents a system that sites (finds optimal locations for) thousands of radio transmitter towers on terrains of up to two billion elevation posts. Applications include cellphone towers, camera systems, or even mitigating environmental visual nuisances. The transmitters and receivers may be situated above the terrain. The system has been parallelized with OpenMP to run on a multicore CPU.


title: Concave Aspects of Submodular Functions

abstract: Submodular Functions are a special class of set functions, which generalize several information-theoretic quantities such as entropy and mutual information [1]. Submodular functions have subgradients and subdifferentials [2] and admit polynomial-time algorithms for minimization, both of which are fundamental characteristics of convex functions. Submodular functions also show signs similar to concavity. Submodular function maximization, though NP-hard, admits constant-factor approximation guarantees, and concave functions composed with modular functions are submodular. In this paper, we try to provide a more complete picture of the relationship between submodularity with concavity. We characterize the super-differentials and polyhedra associated with upper bounds and provide optimality conditions for submodular maximization using the-super differentials. This paper is a concise and shorter version of our longer preprint [3].

categories: cs.DM cs.IT cs.LG math.CO math.IT math.OC


title: Lipschitzness Is All You Need To Tame Off-policy Generative Adversarial Imitation Learning

abstract: Despite the recent success of reinforcement learning in various domains, these approaches remain, for the most part, deterringly sensitive to hyper-parameters and are often riddled with essential engineering feats allowing their success. We consider the case of off-policy generative adversarial imitation learning, and perform an in-depth review, qualitative and quantitative, of the method. We show that forcing the learned reward function to be local Lipschitz-continuous is a sine qua non condition for the method to perform well. We then study the effects of this necessary condition and provide several theoretical results involving the local Lipschitzness of the state-value function. We complement these guarantees with empirical evidence attesting to the strong positive effect that the consistent satisfaction of the Lipschitzness constraint on the reward has on imitation performance. Finally, we tackle a generic pessimistic reward preconditioning add-on spawning a large class of reward shaping methods, which makes the base method it is plugged into provably more robust, as shown in several additional theoretical guarantees. We then discuss these through a fine-grained lens and share our insights. Crucially, the guarantees derived and reported in this work are valid for any reward satisfying the Lipschitzness condition, nothing is specific to imitation. As such, these may be of independent interest.


title: Eightfold Fermionic Excitation in a Charge Density Wave Compound

abstract: Unconventional quasiparticle excitations in condensed matter systems have become one of the most important research frontiers. Beyond two- and fourfold degenerate Weyl and Dirac fermions, three-, six- and eightfold symmetry protected degeneracies have been predicted however remain challenging to realize in solid state materials. Here, charge density wave compound TaTe4 is proposed to hold eightfold fermionic excitation and Dirac point in energy bands. High quality TaTe4 single crystals are prepared, where the charge density wave is revealed by directly imaging the atomic structure and a pseudogap of about 45 meV on the surface. Shubnikov de-Haas oscillations of TaTe4 are consistent with band structure calculation. Scanning tunneling microscopy reveals atomic step edge states on the surface of TaTe4. This work uncovers that charge density wave is able to induce new topological phases and sheds new light on the novel excitations in condensed matter materials.


title: Optimal surface topography for cell adhesion is driven by cell membrane mechanics

abstract: Titanium surface treated with titanium oxide nanotubes was used in many studies to quantify the effect of surface topography on cell fate. However, the predicted optimal diameter of nanotubes considerably differs among studies. We propose a model that explain cell adhesion to nanostructured surface by considering deformation energy of cell protrusions into titanium nanotubes and adhesion to surface. The optimal surface topology is defined as a geometry that gives membrane a minimum energy shape. A dimensionless parameter, the cell interaction index, was proposed to describe interplay between the cell membrane bending, intrinsic curvature and strength of cell adhesion. Model simulation show that optimal nanotube diameter ranging from 20 nm to 100 nm (cell interaction index between 0.2 and 1, respectively) is feasible within certain range of parameters describing adhesion and bending energy. The results indicates a possibility to tune the topology of nanostructural surface in order to enhance proliferation and differentation of cells mechanically compatible with given surface geometry while suppress the growth of other mechanically incompatible cells.