title: Summing multilinear operators by blocks: the isotropic and anisotropic cases

abstract: Unifying several directions of the development of the study of summing multilinear operators between Banach spaces, we construct a general framework that studies, under one single definition, multilinear operators that are summing with respect to sums taken over any number of indices, iterated and non-iterated sums (the isotropic and the anisotropic cases), sums over arbitrary blocks and over several different sequence norms. A large number of special classes of multilinear operators and of methods of generating classes of multilinear operators are recovered as particular instances. Ideal properties and coincidence theorems for the general classes are proved.


title: Handwritten Character Recognition Using Unique Feature Extraction Technique

abstract: One of the most arduous and captivating domains under image processing is handwritten character recognition. In this paper we have proposed a feature extraction technique which is a combination of unique features of geometric, zone-based hybrid, gradient features extraction approaches and three different neural networks namely the Multilayer Perceptron network using Backpropagation algorithm (MLP BP), the Multilayer Perceptron network using Levenberg-Marquardt algorithm (MLP LM) and the Convolutional neural network (CNN) which have been implemented along with the Minimum Distance Classifier (MDC). The procedures lead to the conclusion that the proposed feature extraction algorithm is more accurate than its individual counterparts and also that Convolutional Neural Network is the most efficient neural network of the three in consideration.


title: Non-Hermitian Avalanche Effect: Non-Perturbative Effect Induced by Local Non-Hermitian Perturbation on a Z2 Topological Order

abstract: In this paper, based on a non-Hermitian toric-code model, we surprisingly find that the degeneracy of ground states can be changed by a local non-Hermitian perturbation (even in thermodynamic limit). We call it non-Hermitian avalanche effect. As the physics consequences of the non-Hermitian avalanche effect, a correspondence between bulk quasi-particles and topologically protected degenerate ground states for Z2 topological order is borken down. In addition, the PT symmetry breaking transition of the topologically degenerate ground states subspace can be observed by fidelity susceptibility.


title: Magnetosphere of an orbiting neutron star

abstract: We conduct force-free simulations of a single neutron star undergoing orbital motion in flat spacetime, mimicking the trajectory of the star about the center of mass on a compact binary system. Our attention is focused on the kinetic energy being extracted from the orbit by the acceleration of the magnetic dipole moment of the neutron star, and particularly, on how this energy gets distributed within its surrounding magnetosphere. A detailed study of the resulting magnetospheric configurations in our setting is presented, incorporating as well the effects due to neutron star spin and the misalignment of the magnetic and orbital axes. We find many features resembling those of pulsar magnetospheres for the orbiting neutron star --even in the absence of spin--, being of particular interest the development of a spiral current sheet that extends beyond the light cylinder. Then, we use recent advances in pulsar theory to estimate electromagnetic emissions produced at the reconnection regions of such current sheets.


title: Weak Well-Posedness of Multidimensional Stable Driven SDEs in the Critical Case

abstract: We establish weak well-posedness for critical symmetric stable driven SDEs in R d with additive noise Z, d $\ge$ 1. Namely, we study the case where the stable index of the driving process Z is $\alpha$ = 1 which exactly corresponds to the order of the drift term having the coefficient b which is continuous and bounded. In particular, we cover the cylindrical case when Zt = (Z 1 t ,. .. , Z d t) and Z 1 ,. .. , Z d are independent one dimensional Cauchy processes. Our approach relies on L p-estimates for stable operators and uses perturbative arguments. 1. Statement of the problem and main results We are interested in proving well-posedness for the martingale problem associated with the following SDE: (1.1) X t = x + t 0 b(X s)ds + Z t , where (Z s) s$\ge$0 stands for a symmetric d-dimensional stable process of order $\alpha$ = 1 defined on some filtered probability space ($\Omega$, F, (F t) t$\ge$0 , P) (cf. [2] and the references therein) under the sole assumptions of continuity and boundedness on the vector valued coefficient b: (C) The drift b : R d $\rightarrow$ R d is continuous and bounded. 1 Above, the generator L of Z writes: L$\Phi$(x) = p.v. R d \{0} [$\Phi$(x + z) -- $\Phi$(x)]$\nu$(dz), x $\in$ R d , $\Phi$ $\in$ C 2 b (R d), $\nu$(dz) = d$\rho$ $\rho$ 2$\mu$ (d$\theta$), z = $\rho$$\theta$, ($\rho$, $\theta$) $\in$ R * + x S d--1. (1.2) (here $\times$, $\times$ (or $\times$) and | $\times$ | denote respectively the inner product and the norm in R d). In the above equation, $\nu$ is the L{\'e}vy intensity measure of Z, S d--1 is the unit sphere of R d and$\mu$ is a spherical measure on S d--1. It is well know, see e.g. [20] that the L{\'e}vy exponent $\Phi$ of Z writes as: (1.3) $\Phi$($\lambda$) = E[exp(i $\lambda$, Z 1)] = exp -- S d--1 | $\lambda$, $\theta$ |$\mu$(d$\theta$) , $\lambda$ $\in$ R d , where $\mu$ = c 1$\mu$ , for a positive constant c 1 , is the so-called spectral measure of Z. We will assume some non-degeneracy conditions on $\mu$. Namely we introduce assumption (ND) There exists $\kappa$ $\ge$ 1 s.t. (1.4) $\forall$$\lambda$ $\in$ R d , $\kappa$ --1 |$\lambda$| $\le$ S d--1 | $\lambda$, $\theta$ |$\mu$(d$\theta$) $\le$ $\kappa$|$\lambda$|. 1 The boundedness of b is here assumed for technical simplicity. Our methodology could apply, up to suitable localization arguments, to a drift b having linear growth.


title: Multisecond ligand dissociation dynamics from atomistic simulations

abstract: Coarse-graining of fully atomistic molecular dynamics simulations is a long-standing goal in order to allow the description of processes occurring on biologically relevant timescales. For example, the prediction of pathways, rates and rate-limiting steps in protein-ligand unbinding is crucial for modern drug discovery. To achieve the enhanced sampling, we first perform dissipation-corrected targeted molecular dynamics simulations, which yield free energy and friction profiles of the molecular process under consideration. In a second step, we use these fields to perform temperature-boosted Langevin simulations which account for the desired molecular kinetics occurring on multisecond timescales and beyond. Adopting the dissociation of solvated sodium chloride as well as trypsin-benzamidine and Hsp90-inhibitor protein-ligand complexes as test problems, we are able to reproduce rates from molecular dynamics simulation and experiments within a factor of 2-20, and dissociation constants within a factor of 1-4. Analysis of the friction profiles reveals that binding and unbinding dynamics are mediated by changes of the surrounding hydration shells in all investigated systems.


title: Outer scale of the wide-range Prandtl/Schmidt number spectrum on beam wander for oceanic optical turbulence

abstract: Light propagation in ocean is influenced by the refractive-index which is related to temperature, salinity, outer-scale, etc. Based on Hill's model 1 (H1), two kinds of oceanic refractive-index spectrum (ORIS) have been proposed to describe the second order characteristic of refractive-index. Most recently, several ORIS models were proposed based on Hill's model 4 (H4), which gave a better precision in high wave-numbers (viscous-diffusive range). However, the outer scale, as a key parameter related to practical environment, has not been introduced into any oceanic H4-based spectra. In this paper, we take the outer-scale parameter into an H4-based spectrum which is adapted to the wide-range Prandtl/Schmidt number [Opt. Express. 20, 11111(2019)]. The proposed outer-scaled spectrum could be used in analyzing wave propagation in limited outer-scaled environment with different values of average temperature and salinity. We further derived the beam wander formula of collimated laser beam. Numerical calculations show that the beam wander influenced by outer-scale length $L_{0}$ is more obvious than that influenced by average temperature $\langle T\rangle$, when $L_{0}$ varies from $10 \rm m$ to $100 \rm m$, and $\langle T\rangle$ ranges from $0^{\circ} \rm C$ to $30^{\circ} \rm C$. When salinity fluctuations prevails ($\omega \rightarrow 0$), the influence of outer scale becomes weaker. In contribution proportion of beam wander, the temperature-salt coupling term is the much larger than that of temperature or salinity term.


title: Robust Two-Step Wavelet-Based Inference for Time Series Models

abstract: Complex time series models such as (the sum of) ARMA$(p,q)$ models with additional noise, random walks, rounding errors and/or drifts are increasingly used for data analysis in fields such as biology, ecology, engineering and economics where the length of the observed signals can be extremely large. Performing inference on and/or prediction from these models can be highly challenging for several reasons: (i) the data may contain outliers that can adversely affect the estimation procedure; (ii) the computational complexity can become prohibitive when models include more than just a few parameters and/or the time series are large; (iii) model building and/or selection adds another layer of (computational) complexity to the previous task; and (iv) solutions that address (i), (ii) and (iii) simultaneously do not exist in practice. For this reason, this paper aims at jointly addressing these challenges by proposing a general framework for robust two-step estimation based on a bounded influence M-estimator of the wavelet variance. In this perspective, we first develop the conditions for the joint asymptotic normality of the latter estimator thereby providing the necessary tools to perform (direct) inference for scale-based analysis of signals. Taking advantage of the model-independent weights of this first-step estimator that are computed only once, we then develop the asymptotic properties of two-step robust estimators using the framework of the Generalized Method of Wavelet Moments (GMWM), hence defining the Robust GMWM (RGMWM) that we then use for robust model estimation and inference in a computationally efficient manner even for large time series. Simulation studies illustrate the good finite sample performance of the RGMWM estimator and applied examples highlight the practical relevance of the proposed approach.


title: Radial Based Analysis of GRNN in Non-Textured Image Inpainting

abstract: Image inpainting algorithms are used to restore some damaged or missing information region of an image based on the surrounding information. The method proposed in this paper applies the radial based analysis of image inpainting on GRNN. The damaged areas are first isolated from rest of the areas and then arranged by their size and then inpainted using GRNN. The training of the neural network is done using different radii to achieve a better outcome. A comparative analysis is done for different regression-based algorithms. The overall results are compared with the results achieved by the other algorithms as LS-SVM with reference to the PSNR value.


title: Cycles in synchronous iterative voting: general robustness and examples in Approval Voting

abstract: We consider synchronous iterative voting, where voters are given the opportunity to strategically choose their ballots depending on the outcome deduced from the previous collective choices.We propose two settings for synchronous iterative voting, one of classical flavor with a discrete space of states, and a more general continuous-space setting extending the first one. We give a general robustness result for cycles not relying on a tie-breaking rule, showing that they persist under small enough perturbations of the behavior of voters. Then we give examples in Approval Voting of electorates applying simple, sincere and consistent heuristics (namely Laslier's Leader Rule or a modification of it) leading to cycles with bad outcomes, either not electing an existing Condorcet winner, or possibly electing a candidate ranked last by a majority of voters. Using the robustness result, it follows that those "bad cycles" persist even if only a (large enough) fraction of the electorate updates its choice of ballot at each iteration.We complete these results with examples in other voting methods, including ranking methods satisfying the Condorcet criterion; an in silico experimental study of the rarity of preference profiles exhibiting bad cycles; and an example exhibiting chaotic behavior.


title: Unsourced Multiuser Sparse Regression Codes achieve the Symmetric MAC Capacity

abstract: Unsourced random-access (U-RA) is a type of grant-free random access with a virtually unlimited number of users, of which only a certain number $K_a$ are active on the same time slot. Users employ exactly the same codebook, and the task of the receiver is to decode the list of transmitted messages. Recently a concatenated coding construction for U-RA on the AWGN channel was presented, in which a sparse regression code (SPARC) is used as an inner code to create an effective outer OR-channel. Then an outer code is used to resolve the multiple-access interference in the OR-MAC. In this work we show that this concatenated construction can achieve a vanishing per-user error probability in the limit of large blocklength and a large number of active users at sum-rates up to the symmetric Shannon capacity, i.e. as long as $K_aR < 0.5\log_2(1+K_a\SNR)$. This extends previous point-to-point optimality results about SPARCs to the unsourced multiuser scenario. Additionally, we calculate the algorithmic threshold, that is a bound on the sum-rate up to which the inner decoding can be done reliably with the low-complexity AMP algorithm.


title: Optimal Scheduling for Maximizing Information Freshness & System Performance in Industrial Cyber-Physical Systems

abstract: Age of Information is a newly introduced metric, getting vivid attention for measuring the freshness of information in real-time networks. This parameter has evolved to guarantee the reception of timely information from the latest status update, received by a user from any real-time application. In this paper, we study a centralized, closed-loop, networked controlled industrial wireless sensor-actuator network for cyber-physical production systems. Here, we jointly address the problem of transmission scheduling of sensor updates and the restoration of an information flow-line after any real-time update having hard-deadline drops from it, resulting a break in the loop. Unlike existing real-time scheduling policies that only ensure timely updates, this work aims to accomplish both the time-sensitivity and data freshness in new and regenerative real-time updates in terms of the age of information. Here, the coexistence of both cyber and physical units and their individual requirements for providing the quality of service to the system, as a whole, seems to be one of the major challenges to handle. In this work, minimization of staleness of the time-critical updates to extract maximum utilization out of its information content and its effects on other network performances are thoroughly investigated. A greedy scheduling policy called Deadline-aware highest latency first has been used to solve this problem; its performance optimality is proved analytically. Finally, our claim is validated by comparing the results obtained by our algorithm with those of other popular scheduling policies through extensive simulations.


title: Structural Decompositions of Epistemic Logic Programs

abstract: Epistemic logic programs (ELPs) are a popular generalization of standard Answer Set Programming (ASP) providing means for reasoning over answer sets within the language. This richer formalism comes at the price of higher computational complexity reaching up to the fourth level of the polynomial hierarchy. However, in contrast to standard ASP, dedicated investigations towards tractability have not been undertaken yet. In this paper, we give first results in this direction and show that central ELP problems can be solved in linear time for ELPs exhibiting structural properties in terms of bounded treewidth. We also provide a full dynamic programming algorithm that adheres to these bounds. Finally, we show that applying treewidth to a novel dependency structure---given in terms of epistemic literals---allows to bound the number of ASP solver calls in typical ELP solving procedures.


title: Random real branched coverings of the projective line

abstract: In this paper, we construct a natural probability measure on the space of real branched coverings from a real projective algebraic curve $(X,c_X)$ to the projective line $(\mathbb{C}\mathbb{P}^1,\textrm{conj})$. We prove that the space of degree $d$ real branched coverings having "many" real branched points (for example more than $\sqrt{d}^{1+\alpha}$, for any $\alpha>0$) has exponentially small measure. In particular, maximal real branched coverings, that is real branched coverings such that all the branched points are real, are exponentially rare.


title: Generating Class-Level Integration Tests Using Call Site Information

abstract: Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated unit-tests with high code coverage could be ineffective, i.e., they may not detect all faults or kill all injected mutants. In this paper, we propose CLING, an integration-level test case generation approach that exploits how a pair of classes, the caller and the callee, interact with each other through method calls. In particular, CLING generates integration-level test cases that maximize the Coupled Branches Criterion (CBC). Coupled branches are pairs of branches containing a branch of the caller and a branch of the callee such that an integration test that exercises the former also exercises the latter. CBC is a novel integration-level coverage criterion, measuring the degree to which a test suite exercises the interactions between a caller and its callee classes. We implemented CLING and evaluated the approach on 140 pairs of classes from five different open-source Java projects. Our results show that (1) CLING generates test suites with high CBC coverage, thanks to the definition of the test suite generation as a many-objectives problem where each couple of branches is an independent objective; (2) such generated suites trigger different class interactions and can kill on average 7.7% (with a maximum of 50%) of mutants that are not detected by tests generated at the unit level; (3) CLING can detect integration faults coming from wrong assumptions about the usage of the callee class (32 for our subject systems) that remain undetected when using automatically generated unit-level test suites.


title: A 100 ps TOF Detection System for On-Line Range- Monitoring in Hadrontherapy

abstract: The accuracy of hadrontherapy treatment is currently limited by ion-range uncertainties. In order to fully exploit the potential of this technique, we propose the development of a novel system for online control of particle therapy, based on TOF-resolved (time-of-flight) Prompt Gamma (PG) imaging with 100 ps time resolution. Our aim is to detect a possible deviation of the proton range with respect to treatment planning within the first few irradiation spots at the beginning of the session. The system consists of a diamond-based beam hodoscope for single proton tagging, operated in time coincidence with one or more gamma detectors placed downstream of the patient. The TOF between the proton time of arrival in the hodoscope and the PG detection time provides an indirect measurement of the proton range in the patient with a precision strictly related to the system time resolution. With a single ~38 cm$^{3}$ BaF2 detector placed at 15 cm from a heterogeneous PMMA target, we obtained a coincidence time resolution of 101 ps (rms). This system allowed us to measure the thickness and position of an air cavity within a PMMA target, and the associated proton range shift: a 3 mm shift can be detected at 2$\sigma$ confidence level within a single large irradiation spot (~10$^{8}$ protons). We are currently conceiving a multi-channel PG timing detector with 3D target coverage. Each pixel will provide the PG detection time and its hit position, that can be used to reconstruct the 3D distribution of PG vertices in the patient. Our approach does not require collimation and allows to dramatically increase the detection efficiency. Since both signal detection and background rejection are based on TOF, the constraints on energy resolution can be relaxed to further improve time resolution.


title: Simulating artificial one-dimensional physics with ultra-cold fermionic atoms: three exemplary themes

abstract: For over twenty years, ultra-cold atomic systems have formed an almost perfect arena for simulating different quantum many-body phenomena and exposing their non-obvious and very often counterintuitive features. Thanks to extremely precise controllability of different parameters they are able to capture different quantum properties which were previously recognized only as theoretical curiosities. Here, we go over the current experimental progress in exploring the curious one-dimensional quantum world of fermions from the perspective of three subjectively selected trends being currently under vigorous experimental validation: (i) unconventional pairing in attractively interacting fermionic mixtures, (ii) fermionic systems subjected to the artificial spin-orbit coupling, (iii) fermionic gases of atoms with high SU(N) symmetry of internal states.


title: Polarized Gaussian basis sets from one-electron ions

abstract: We demonstrate that basis sets suitable for electronic structure calculations can be obtained from simple accuracy considerations for the hydrogenic one-electron ions $Y^{(Y-1)+}$ for $Y\in[1,Z]$, necessitating no self-consistent field calculations at all. It is shown that even-tempered basis sets with parameters from the commonly-used universal Gaussian basis set (UGBS) [E. V. R. de Castro and F. E. Jorge, J. Chem. Phys. 108, 5225 (1998)] reproduce non-relativistic spin-restricted spherical Hartree-Fock total energies from fully numerical calculations to better accuracy than UGBS, which is shown to exhibit huge errors for some elements, e.g. 0.19 $E_{h}$ for Th$^+$ and 0.13 $E_{h}$ for Lu as it has been parametrized for a single atomic configuration. Having shown the feasibility of the one-electron approach, partially energy-optimized basis sets are formed for all atoms in the periodic table, $1\leq Z\leq118$, by optimizing the even-tempered parameters for $Z^{(Z-1)+}$. As the hydrogenic Gaussian basis sets suggested in the present work are built strictly from first principles, also polarization shells can be obtained in the same fashion in contrast to previous approaches. The accuracy of the polarized basis sets is demonstrated by calculations on a small set of molecules by comparison to fully numerical reference values, which show that chemical accuracy can be reached even for challenging cases like SF$_6$. The present approach is straightforward to extend to relativistic calculations, and could facilitate studies beyond the established periodic table.


title: Evaluation of convolutional neural networks using a large multi-subject P300 dataset

abstract: Deep neural networks (DNN) have been studied in various machine learning areas. For example, event-related potential (ERP) signal classification is a highly complex task potentially suitable for DNN as signal-to-noise ratio is low, and underlying spatial and temporal patterns display a large intra- and intersubject variability. Convolutional neural networks (CNN) have been compared with baseline traditional models, i.e. linear discriminant analysis (LDA) and support vector machines (SVM) for single trial classification using a large multi-subject publicly available P300 dataset of school-age children (138 males and 112 females). For single trial classification, classification accuracy stayed between 62% and 64% for all tested classification models. When applying the trained classification models to averaged trials, accuracy increased to 76-79% without significant differences among classification models. CNN did not prove superior to baseline for the tested dataset. Comparison with related literature, limitations and future directions are discussed.


title: Prediction and Evaluation in College Hockey using the Bradley-Terry-Zermelo Model

abstract: We describe the application of the Bradley-Terry model to NCAA Division I Men's Ice Hockey. A Bayesian construction gives a joint posterior probability distribution for the log-strength parameters, given a set of game results and a choice of prior distribution. For several suitable choices of prior, it is straightforward to find the maximum a posteriori point (MAP) and a Hessian matrix, allowing a Gaussian approximation to be constructed. Posterior predictive probabilities can be estimated by 1) setting the log-strengths to their MAP values, 2) using the Gaussian approximation for analytical or Monte Carlo integration, or 3) applying importance sampling to re-weight the results of a Monte Carlo simulation. We define a method to evaluate any models which generate predicted probabilities for future outcomes, using the Bayes factor given the actual outcomes, and apply it to NCAA tournament results. Finally, we describe an on-line tool which currently estimates probabilities of future results using MAP evaluation and describe how it can be refined using the Gaussian approximation or importance sampling.


title: Roof Age Determination for the Automated Site-Selection of Rooftop Solar

abstract: Rooftop solar is one of the most promising tools for drawing down greenhouse gas (GHG) emissions and is cost-competitive with fossil fuels in many areas of the world today. One of the most important criteria for determining the suitability of a building for rooftop solar is the current age of its roof. The reason for this is simple -- because rooftop solar installations are long-lived, the roof needs to be new enough to last for the lifetime of the solar array or old enough to justify being replaced. In this paper we present a data-driven method for determining the age of a roof from historical satellite imagery, which removes one of the last obstacles to a fully automated pipeline for rooftop solar site selection. We estimate that a full solution to this problem would reduce customer acquisition costs for rooftop solar by $\sim$20\%, leading to an additional $\sim$750 megatons of CO$_2$ displaced between 2020 and 2050.


title: Solving Decomposable Sparse Systems

abstract: Amendola et al. proposed a method for solving systems of polynomial equations lying in a family which exploits a recursive decomposition into smaller systems. A family of systems admits such a decomposition if and only if the corresponding Galois group is imprimitive. When the Galois group is imprimitive we consider the problem of computing an explicit decomposition. A consequence of Esterov's classification of sparse polynomial systems with imprimitive Galois groups is that this decomposition is obtained by inspection. This leads to a recursive algorithm to solve decomposable sparse systems, which we present and give evidence for its efficiency.


title: Resource Sharing in the Edge: A Distributed Bargaining-Theoretic Approach

abstract: The growing demand for edge computing resources, particularly due to increasing popularity of Internet of Things (IoT), and distributed machine/deep learning applications poses a significant challenge. On the one hand, certain edge service providers (ESPs) may not have sufficient resources to satisfy their applications according to the associated service-level agreements. On the other hand, some ESPs may have additional unused resources. In this paper, we propose a resource-sharing framework that allows different ESPs to optimally utilize their resources and improve the satisfaction level of applications subject to constraints such as communication cost for sharing resources across ESPs. Our framework considers that different ESPs have their own objectives for utilizing their resources, thus resulting in a multi-objective optimization problem. We present an $N$-person \emph{Nash Bargaining Solution} (NBS) for resource allocation and sharing among ESPs with \emph{Pareto} optimality guarantee. Furthermore, we propose a \emph{distributed}, primal-dual algorithm to obtain the NBS by proving that the strong-duality property holds for the resultant resource sharing optimization problem. Using synthetic and real-world data traces, we show numerically that the proposed NBS based framework not only enhances the ability to satisfy applications' resource demands, but also improves utilities of different ESPs.


title: Considering discrepancy when calibrating a mechanistic electrophysiology model

abstract: Uncertainty quantification (UQ) is a vital step in using mathematical models and simulations to take decisions. The field of cardiac simulation has begun to explore and adopt UQ methods to characterise uncertainty in model inputs and how that propagates through to outputs or predictions. In this perspective piece we draw attention to an important and under-addressed source of uncertainty in our predictions -- that of uncertainty in the model structure or the equations themselves. The difference between imperfect models and reality is termed model discrepancy, and we are often uncertain as to the size and consequences of this discrepancy. Here we provide two examples of the consequences of discrepancy when calibrating models at the ion channel and action potential scales. Furthermore, we attempt to account for this discrepancy when calibrating and validating an ion channel model using different methods, based on modelling the discrepancy using Gaussian processes (GPs) and autoregressive-moving-average (ARMA) models, then highlight the advantages and shortcomings of each approach. Finally, suggestions and lines of enquiry for future work are provided.


title: Shadow of a Spinning Black Hole in an Expanding Universe

abstract: We study the influence of the cosmic expansion on the size of the shadow of a spinning black hole observed by a comoving observer. We first consider that the expansion is driven by a cosmological constant only and build the connection between the Kerr-de Sitter metric and the FLRW metric. We clarify that the notion of a comoving observer is well defined in the spacetime of a spinning black hole only in the sense of being asymptotic. The angular size of the shadow for a comoving observer is calculated. Significantly we find that the angular size approaches a non-zero finite value for a distant comoving observer, while it vanishes for a distant static observer. Furthermore, by adopting the approximate method proposed in \cite{Bisnovatyi-Kogan:2018vxl} we extend the study to the general multi-component universe case. The results show that the difference between the horizontal and vertical angular size changes a lot, while their ratio, i.e. the oblateness, keeps unchanged when the supermassive spinning black hole is at a high redshift, due to the common amplification factor exerted by the cosmic expansion. In addition, when $a=0$, our results agree with the previous studies in \cite{Perlick:2018iye,Bisnovatyi-Kogan:2018vxl}.


title: Possibility and prevention of inappropriate data manipulation in Polar Data Journal

abstract: Stakeholders in the scientific field must always maintain transparency in the process of publishing research results in journals. Unfortunately, although research misconduct has stopped, certain forms of manipulation continue to appear in other forms. As new techniques of scientific publishing develop, science stakeholders need to examine the possibility of inappropriate activity in these new platforms. The National Institute of Polar Research in Japan launched a new data journal Polar Data Journal (PDJ) in 2017 to review the quality of data obtained in the polar region. To maintain transparency in this new data journal, we investigated the possibility of inappropriate data manipulation in peer reviews before the inception of this journal. We clarified inappropriate activity for the data in the peer review and considered preventive measures. We designed a specific workflow for PDJ. This included two measures: (i) the comparison of hash values in the review process and (ii) open peer review report publishing. Using the hash value comparison, we detected two instances of inappropriate data manipulation after the start of the journal. This research will help improve workflow in data journals and data repositories.


title: State Representation and Polyomino Placement for the Game Patchwork

abstract: Modern board games are a rich source of entertainment for many people, but also contain interesting and challenging structures for game playing research and implementing game playing agents. This paper studies the game Patchwork, a two player strategy game using polyomino tile drafting and placement. The core polyomino placement mechanic is implemented in a constraint model using regular constraints, extending and improving the model in (Lagerkvist, Pesant, 2008) with: explicit rotation handling; optional placements; and new constraints for resource usage. Crucial for implementing good game playing agents is to have great heuristics for guiding the search when faced with large branching factors. This paper divides placing tiles into two parts: a policy used for placing parts and an evaluation used to select among different placements. Policies are designed based on classical packing literature as well as common standard constraint programming heuristics. For evaluation, global propagation guided regret is introduced, choosing placements based on not ruling out later placements. Extensive evaluations are performed, showing the importance of using a good evaluation and that the proposed global propagation guided regret is a very effective guide.


title: Giant Rashba spin splitting in strained KTaO3 ultrathin films for circular photogalvanic currents

abstract: Strong Rashba effects at surfaces and interfaces have attracted great attention for basic scientific exploration and practical applications. Here, the first-principles investigation shows that giant and tunable Rashba effects can be achieved in KTaO$_3$ (KTO) ultrathin films by applying biaxial stress. When increasing the in-plane compressive strain nearly to -5\%, the Rashba spin splitting energy reaches $E_{R}=140$ meV, approximately corresponding to the Rashba coupling constant $\alpha_{R}=1.3$ eV {\AA}. We investigate its strain-dependent crystal structures, energy bands, and related properties, and thereby elucidate the mechanism for the giant Rashba effects. Furthermore, we show that giant Rashba spin splitting can be kept in the presence of SrTiO$_3$ capping layer and/or Si substrate, and strong circular photogalvanic effect can be achieved to generate spin-polarized currents in the KTO thin films or related heterostructures, which are promising for future spintronic and optoelectronic applications.


title: Notes on Theory of Distributed Systems

abstract: Notes for the Yale course CPSC 465/565 Theory of Distributed Systems.


title: The quantum dynamical map of the spin boson model

abstract: One of the main frameworks to analyze the effects of the environment in a quantum computer is that of pure dephasing, where the dynamics of qubits can be characterised in terms of a well-known dynamical map. In this work we present a non-peturbative extension of such map beyond this simple pure-dephasing case, i.e. that is valid for a general spin coupled to a bosonic environment in a thermal state. To this aim, we use a Trotter decomposition and a Magnus expansion to simplify the unitary evolution operator in interaction picture. The proposed derivation can be extended to other finite-level open quantum systems including many body, initial system-environment correlated states, multiple-time correlation functions or quantum information protocols.


title: Exponential moving average versus moving exponential average

abstract: In this note we discuss the mathematical tools to define trend indicators which are used to describe market trends. We explain the relation between averages and moving averages on the one hand and the so called exponential moving average (EMA) on the other hand. We present a lot of examples and give the definition of the most frequently used trend indicator, the MACD, and discuss its properties.


title: Nmbr9 as a Constraint Programming Challenge

abstract: Modern board games are a rich source of interesting and new challenges for combinatorial problems. The game Nmbr9 is a solitaire style puzzle game using polyominoes. The rules of the game are simple to explain, but modelling the game effectively using constraint programming is hard. This abstract presents the game, contributes new generalized variants of the game suitable for benchmarking and testing, and describes a model for the presented variants. The question of the top possible score in the standard game is an open challenge.


title: Boundary Value Problems of Elliptic and Parabolic Type with Boundary Data of Negative Regularity

abstract: We study elliptic and parabolic boundary value problems in spaces of mixed scales with mixed smoothness on the half space. The aim is to solve boundary value problems with boundary data of negative regularity and to describe the singularities of solutions at the boundary. To this end, we derive mapping properties of Poisson operators in mixed scales with mixed smoothness. We also derive $\mathcal{R}$-sectoriality results for homogeneous boundary data in the case that the smoothness in normal direction is not too large.


title: Generalizing the Linearized Doubling approach, I: General theory and new minimal surfaces and self-shrinkers

abstract: In Part I of this article we generalize the Linearized Doubling (LD) approach, introduced in earlier work by NK, by proving a general theorem stating that if $\Sigma$ is a closed minimal surface embedded in a Riemannian three-manifold $(N,g)$ and its Jacobi operator has trivial kernel, then given a suitable family of LD solutions on $\Sigma$, a minimal surface $\breve{M}$ resembling two copies of $\Sigma$ joined by many small catenoidal bridges can be constructed by PDE gluing methods. (An LD solution $\varphi$ on $\Sigma$ is a singular solution of the Jacobi equation with logarithmic singularities which in the construction are replaced by catenoidal bridges.) We also determine the first nontrivial term in the expansion for the area $|\breve{M}|$ of $\breve{M}$ in terms of the sizes of its catenoidal bridges and confirm that it is negative; $|\breve{M}| < 2 | \Sigma|$ follows. We demonstrate the applicability of the theorem by first constructing new doublings of the Clifford torus. We then construct in Part II families of LD solutions for general $(O(2)\times \mathbb{Z}_2)$-symmetric backgrounds $(\Sigma, N,g)$. Combining with the theorem in Part I this implies the construction of new minimal doublings for such backgrounds. (Constructions for general backgrounds remain open.) This generalizes our earlier work for $\Sigma=\mathbb{S}^2 \subset N=\mathbb{S}^3$ providing new constructions even in that case. In Part III, applying the results of Parts I and II -- appropriately modified for the catenoid and the critical catenoid -- we construct new self-shrinkers of the mean curvature flow via doubling the spherical self-shrinker or the Angenent torus, new complete embedded minimal surfaces of finite total curvature in the Euclidean three-space via doubling the catenoid, and new free boundary minimal surfaces in the unit ball via doubling the critical catenoid.


title: Secure Distributed Storage: Rate-Privacy Trade-Off and XOR-Based Coding Scheme

abstract: We consider the problem of storing data in a distributed manner over $T$ servers. We require the data (i) to be recoverable from the $T$ servers, and (ii) to remain private from any $T-1$ colluding servers, where privacy is quantified in terms of mutual information between the data and all the information available at the $T-1$ colluding servers. For this model, we determine (i) the fundamental trade-off between storage size and the level of desired privacy, (ii) the optimal amount of local randomness necessary at the encoder, and (iii)~an explicit low-complexity coding scheme that solely relies on XOR operations and that asymptotically (with the data size) matches the fundamental limits found.


title: (Newtonian) Space-Time Algebra

abstract: The space-time (s-t) algebra provides a mathematical model for communication and computation using values encoded as events in discretized linear (Newtonian) time. Consequently, the input-output behavior of s-t algebra and implemented functions are consistent with the flow of time. The s-t algebra and functions are formally defined. A network design framework for s-t functions is described, and the design of temporal neural networks, a form of spiking neural networks, is discussed as an extended case study. Finally, the relationship with Allen's interval algebra is briefly discussed.


title: Multi-Complementary and Unlabeled Learning for Arbitrary Losses and Models

abstract: A weakly-supervised learning framework named as complementary-label learning has been proposed recently, where each sample is equipped with a single complementary label that denotes one of the classes the sample does not belong to. However, the existing complementary-label learning methods cannot learn from the easily accessible unlabeled samples and samples with multiple complementary labels, which are more informative. In this paper, to remove these limitations, we propose the novel multi-complementary and unlabeled learning framework that allows unbiased estimation of classification risk from samples with any number of complementary labels and unlabeled samples, for arbitrary loss functions and models. We first give an unbiased estimator of the classification risk from samples with multiple complementary labels, and then further improve the estimator by incorporating unlabeled samples into the risk formulation. The estimation error bounds show that the proposed methods are in the optimal parametric convergence rate. Finally, the experiments on both linear and deep models show the effectiveness of our methods.


title: Comparing the impact of subfields in scientific journals

abstract: The impact factor has been extensively used in the last years to assess journals visibility and prestige. While the impact factor is useful to compare journals, the specificities of subfields visibility in journals are overlooked whenever visibility is measured only at the journal level. In this paper, we analyze the subfields visibility in a subset of over 450,000 Physics papers. We show that the visibility of subfields is not regular in the considered dataset. In particular years, the variability in subfields impact factor in a journal reached 75% of the average subfields impact factor. We also found that the difference of subfields visibility in the same journal can be even higher than the difference of visibility between different journals. Our results show that subfields impact is an important factor accounting for journals visibility.


title: The effect of driving on model C interfaces

abstract: We consider the effect of uniform driving on the interface between two phases which are described by model C dynamics. The non-driven system has a classical Gaussian interface described by capillary wave theory. The model under driving retains Gaussian statistics but the interface statistics are modified by driving, notably the height fluctuations are suppressed and the correlation length of the fluctuations is increased. The model we introduce can also be used as a model for the effect of activity on interface dynamics.


title: AdaBERT: Task-Adaptive BERT Compression with Differentiable Neural Architecture Search

abstract: Large pre-trained language models such as BERT have shown their effectiveness in various natural language processing tasks. However, the huge parameter size makes them difficult to be deployed in real-time applications that require quick inference with limited resources. Existing methods compress BERT into small models while such compression is task-independent, i.e., the same compressed BERT for all different downstream tasks. Motivated by the necessity and benefits of task-oriented BERT compression, we propose a novel compression method, AdaBERT, that leverages differentiable Neural Architecture Search to automatically compress BERT into task-adaptive small models for specific tasks. We incorporate a task-oriented knowledge distillation loss to provide search hints and an efficiency-aware loss as search constraints, which enables a good trade-off between efficiency and effectiveness for task-adaptive BERT compression. We evaluate AdaBERT on several NLP tasks, and the results demonstrate that those task-adaptive compressed models are 12.7x to 29.3x faster than BERT in inference time and 11.5x to 17.0x smaller in terms of parameter size, while comparable performance is maintained.


title: Stable homotopy groups of spheres

abstract: We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a new computational method that yields a streamlined computation of the first 61 stable homotopy groups, and gives new information about the stable homotopy groups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence.


title: The Compositional Integral: A Brief Introduction

abstract: The Compositional Integral is defined, formally constructed, and discussed. A direct generalization of Riemann's construction of the integral; it is intended as an alternative way of looking at First Order Differential Equations. This brief notice aims to: familiarize the reader with a different approach to integration, fabricate a notation for a modified integral, and express a startling use for infinitely nested compositions. Taking inspiration from Euler's Method for approximating First Order Differential Equations, we affiliate the method with Riemann Sums; and look at it from a different, modern angle.


title: An extended quantum process algebra (eQPAlg) approach for distributed quantum systems

abstract: In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in QPAlg by introducing the concept of formally specifying the Quantum teleportation protocol. We have further introduced the formal description of protocol by using programs that best explains its working and satisfies the specification. Examples have been provided to describe the working of the improved algebra that formally explain the sending and receiving of both classical as well as quantum data, keeping in mind the principal features of quantum mechanics.


title: Bionic Sea Urchin Robot with Foldable Telescopic Actuator

abstract: This paper presents a couple of interesting ideas: a telescopic actuator design and a bio-inspired sea urchin robot. The "spines" of the sea urchin robot consist of fourteen telescopic actuators equally distributed over it's spherical body. The telescopic actuation system integrates linked 3D printed rack articulations that are locked in all axes if the pinion moves the links in a forward direction, creating a solid and rigid rack. Thus, the robot is able to propel and move by extending its spines. On the other hand, if the pinion moves the rigid articulations backward, these are unlocked and can be folded in a minimal space, enabling the bionic sea urchin robot to hide its spines inside its constrained spherical-body and be able to roll. Simulations and experiments are presented from both, the sea urchin robotic prototype and different scales of the telescopic actuation system.


title: Quantum Interference for Counting Clusters

abstract: Counting the number of clusters, when these clusters overlap significantly is a challenging problem in machine learning. We argue that a purely mathematical quantum theory, formulated using the path integral technique, when applied to non-physics modeling leads to non-physics quantum theories that are statistical in nature. We show that a quantum theory can be a more robust statistical theory to separate data to count overlapping clusters. The theory is also confirmed from data simulations.This works identify how quantum theory can be effective in counting clusters and hope to inspire the field to further apply such techniques.


title: A tight-binding model of an ambient-pressure molecular Dirac electron system

abstract: By deriving a tight-binding model, we demonstrate a mechanism of forming a nodal line of Dirac points in a single-component molecular conductor [Pt(dmtd)$_2$] [Zhou {\it et al.}, Chem. Commun. {\bfseries 55}, 3327 (2019)], consisting of HOMO and LUMO. The nodal line is obtained as the intersection of two surfaces, where one corresponds to the HOMO-LUMO band crossing and another is vanishing of the HOMO-LUMO couplings due to their different symmetries. The latter property is essential for the Dirac electron in molecular conductors. The nature of the open nodal line is discussed in terms of the parity of the wavefunctions at eight TRIMs (time reversal invariant momenta).


title: Parameter-Efficient Transfer from Sequential Behaviors for User Modeling and Recommendation

abstract: Inductive transfer learning has had a big impact on computer vision and NLP domains but has not been used in the area of recommender systems. Even though there has been a large body of research on generating recommendations based on modeling user-item interaction sequences, few of them attempt to represent and transfer these models for serving downstream tasks where only limited data exists. In this paper, we delve on the task of effectively learning a single user representation that can be applied to a diversity of tasks, from cross-domain recommendations to user profile predictions. Fine-tuning a large pre-trained network and adapting it to downstream tasks is an effective way to solve such tasks. However, fine-tuning is parameter inefficient considering that an entire model needs to be re-trained for every new task. To overcome this issue, we develop a parameter efficient transfer learning architecture, termed as PeterRec, which can be configured on-the-fly to various downstream tasks. Specifically, PeterRec allows the pre-trained parameters to remain unaltered during fine-tuning by injecting a series of re-learned neural networks, which are small but as expressive as learning the entire network. We perform extensive experimental ablation to show the effectiveness of the learned user representation in five downstream tasks. Moreover, we show that PeterRec performs efficient transfer learning in multiple domains, where it achieves comparable or sometimes better performance relative to fine-tuning the entire model parameters. Codes and datasets are available at https://github.com/fajieyuan/sigir2020_peterrec.


title: Asymmetry of the neutrino mean free path in partially spin polarized neutron matter within the Skyrme model

abstract: The asymmetry in the neutrino mean free path for the absorption reaction $\nu + n \rightarrow e^{-} + p$, is evaluated within hot neutron matter under a strong magnetic field. We consider densities in the range $0.05 \leq \rho \leq 0.4$ fm$^{-3}$, several temperatures up to 30 MeV and magnetic field strengths from $B=0$ up to $B=10^{18}$~G. Polarized neutron matter is described within the non--relativistic Hartree--Fock model using the LNS Skyrme interaction. The neutrino mean free path has a weak dependence with the temperature and in the strong magnetic field region, it decreases for growing values of it. This contrast with the scattering reaction $\nu + n \rightarrow \nu' + n'$, where the average mean free path is almost independent of the magnetic field and has a strong dependence with the temperature. We have evaluated the asymmetry from both the absorption and scattering reactions. Our results shows that the total asymmetry depends on the magnetic field intensity, the density and the temperature. For a density of $0.16$ fm$^{-3}$ and for a magnetic field strength of B=$10^{17}$~G, the asymmetry in the mean free path is found to be, $\sim 9\%$ and $\sim 3.4\%$ for temperatures of T$=15$ and $30$ MeV, respectively. While the same set of asymmetries for B=$10^{18}$~G, is $\sim 58\%$ and $\sim 48\%$.


title: Direct determination of neutron lifetime in $\beta$-decay

abstract: The neutron lifetime is determined for now most accurately by two methods --the so-called "beam method" and the method of neutron storage in a trap. The goal of this research is to obtain the neutron lifetime with a higher precision by eliminating the traditional systematic errors. A new feature is extracting the neutron lifetime only from the set of electron counting rates with their errors. The newly received neutron lifetime value is $$ \tau_{NT}=883.31\pm0.02(stat.)\pm0.02(sys.) \quad \mbox{s.} $$ The obtained neutron lifetime is the weighted average of two lifetimes, defined for different subsets of neutrons providing the well-known effect of the asymmetry in the neutron $\beta$-decay. Simple calculations predict the values of these lifetimes and show their correspondence to the known asymmetry parameters of neutron decay. The arithmetic mean (central) value for the two newly introduced neutron lifetimes was determined. The resulting weighted value $\tau_{NT}$ is in a good agreement with the lifetimes in the first and second methods in limits of their double errors, but exceeds them significantly in precision. In addition, estimates of the new lifetimes, which are called here as $L$-neutron lifetime and $R$-neutron lifetime, are fulfilled. The estimation results correspond to the known parameters of the neutron decay asymmetry. \keywords{neutron \and decay \and channel \and lifetime \and electron \and trap} \PACS{06.30.-k \and 12.90+b \and 13.30Ce \and 14.20.Dh \and 28.20-V \and 29.40 Cs}


title: Probing impact-parameter dependent nuclear parton densities from double parton scatterings in heavy-ion collisions

abstract: We propose a new method to determine the spatially or impact-parameter dependent nuclear parton distribution functions (nPDFs) using the double parton scattering (DPS) processes in high-energy heavy-ion (proton-nucleus and nucleus-nucleus) collisions. We derive a simple generic DPS formula in nuclear collisions by accommodating both the nuclear collision geometry and the spatially dependent nuclear modification effect, under the assumption that the impact-parameter dependence of nPDFs is only related to the nuclear thickness function. While the geometric effect is widely adopted, the impact of the spatially dependent nuclear modification on DPS cross sections has been overlooked so far, which can, however, be significant when the initial nuclear modification is large. In turn, the DPS cross sections in heavy-ion collisions can provide useful information on the spatial dependence of nPDFs. They can be, in general, obtained in minimum-bias nuclear collisions, featuring the virtue of independence of Glauber modeling.


title: Solutions to the $\sigma_k$-Loewner-Nirenberg problem on annuli are locally Lipschitz and not differentiable

abstract: We show for $k \geq 2$ that the locally Lipschitz viscosity solution to the $\sigma_k$-Loewner-Nirenberg problem on a given annulus $\{a < |x| < b\}$ is $C^{1,\frac{1}{k}}_{\rm loc}$ in each of $\{a < |x| \leq \sqrt{ab}\}$ and $\{\sqrt{ab} \leq |x| < b\}$ and has a jump in radial derivative across $|x| = \sqrt{ab}$. Furthermore, the solution is not $C^{1,\gamma}_{\rm loc}$ for any $\gamma > \frac{1}{k}$. Optimal regularity for solutions to the $\sigma_k$-Yamabe problem on annuli with finite constant boundary values is also established.


title: Information transmission bounds between moving terminals

abstract: In networks of mobile autonomous agents, e.g. for data acquisition, we may wish to maximize data transfer or to reliably transfer a minimum amount of data, subject to quality of service or energy constraints. These requirements can be guaranteed through both offline node design/specifications and online trajectory/communications design. Regardless of the distance between them, for a stationary point-to-point transmitter-receiver pair communicating across a single link under average power constraints, the total data transfer is unbounded as time tends to infinity. In contrast, we show that if the transmitter/receiver is moving at any constant speed away from each other, then the maximum transmittable data is bounded. Although general closed-form expressions as a function of communication and mobility profile parameters do not yet exist, we provide closed-form expressions for particular cases, such as ideal free space path loss. Under more general scenarios we instead give lower bounds on the total transmittable information across a single link between mobile nodes.


title: TunnelScatter: Low Power Communication for Sensor Tags using Tunnel Diodes

abstract: Due to extremely low power consumption, backscatter has become the transmission mechanism of choice for battery-free devices that operate on harvested energy. However, a limitation of recent backscatter systems is that the communication range scales with the strength of the ambient carrier signal(ACS). This means that to achieve a long range, a backscatter tag needs to reflect a strong ACS, which in practice means that it needs to be close to an ACS emitter. We present TunnelScatter, a mechanism that overcomes this limitation. TunnelScatter uses a tunnel diode-based radio frequency oscillator to enable transmissions when there is no ACS, and the same oscillator as a reflection amplifier to support backscatter transmissions when the ACS is weak. Our results show that even without an ACS, TunnelScatter is able to transmit through several walls covering a distance of 18 meter while consuming a peak biasing power of 57 microwatts. Based on TunnelScatter, we design battery-free sensor tags, called TunnelTags, that can sense physical phenomena and transmit them using the TunnelScatter mechanism.


title: Improving Dysarthric Speech Intelligibility Using Cycle-consistent Adversarial Training

abstract: Dysarthria is a motor speech impairment affecting millions of people. Dysarthric speech can be far less intelligible than those of non-dysarthric speakers, causing significant communication difficulties. The goal of our work is to develop a model for dysarthric to healthy speech conversion using Cycle-consistent GAN. Using 18,700 dysarthric and 8,610 healthy control Korean utterances that were recorded for the purpose of automatic recognition of voice keyboard in a previous study, the generator is trained to transform dysarthric to healthy speech in the spectral domain, which is then converted back to speech. Objective evaluation using automatic speech recognition of the generated utterance on a held-out test set shows that the recognition performance is improved compared with the original dysarthic speech after performing adversarial training, as the absolute WER has been lowered by 33.4%. It demonstrates that the proposed GAN-based conversion method is useful for improving dysarthric speech intelligibility.


title: Integrated Sensing and Earthmoving Vehicle for Lunar Landing Pad Construction

abstract: Reducing the forces necessary to construct projects like landing pads and blast walls is possibly one of the major drivers in reducing the costs of establishing lunar settlements. The interlock drive system generates traction by penetrating articulated spikes into the ground and by using the natural strength of the ground for traction. The spikes develop a high pull to weight ratio and promise good mobility in soft, rocky and steep terrain, energy-efficient operation, and their design is relatively simple. By penetrating the ground at regular intervals, the spikes also enable the in-situ measurement of a variety of ground properties, including penetration resistance, temperature, and pH. Here we present a concept for a light lunar bulldozer with interlocking spikes that uses a blade and a ripper to loosen and move soil over short distances, that maps ground properties in situ and that uses this information to construct landing pads and blast walls, and to otherwise interact with the ground in a targeted and efficient manner. Trials on Mediterranean soil have shown that this concept promises to satisfy many of the basic requirements expected of a lunar excavator. To better predict performance in a lunar or Martian environment, experiments on relevant soil simulants are needed.


title: Frequency-swept high-repetition rate optical source

abstract: We propose and numerically validate an all-optical scheme to generate optical pulse trains with varying temporal pulse-to-pulse delay and pulse duration. Applying a temporal sinusoidal phase modulation followed by a shaping of the spectral phase enables us to maintain high-quality Gaussian temporal profiles.


title: Deep learning to discover and predict dynamics on an inertial manifold

abstract: A data-driven framework is developed to represent chaotic dynamics on an inertial manifold (IM), and applied to solutions of the Kuramoto-Sivashinsky equation. A hybrid method combining linear and nonlinear (neural-network) dimension reduction transforms between coordinates in the full state space and on the IM. Additional neural networks predict time-evolution on the IM. The formalism accounts for translation invariance and energy conservation, and substantially outperforms linear dimension reduction, reproducing very well key dynamic and statistical features of the attractor.


title: On implicit regularization: Morse functions and applications to matrix factorization

abstract: In this paper, we revisit implicit regularization from the ground up using notions from dynamical systems and invariant subspaces of Morse functions. The key contributions are a new criterion for implicit regularization---a leading contender to explain the generalization power of deep models such as neural networks---and a general blueprint to study it. We apply these techniques to settle a conjecture on implicit regularization in matrix factorization.


title: On Concept of Petri Nets Receptors and Effectors

abstract: New subclasses of Petri nets - Petri nets receptors and Petri nets effectors are introduced. The introduction/exclusion of such substructures in the main Petri net may be fulfilled in accordance with the Fusion/Defusion principles. We propose two pairs of entities: position marking receptor (effector) and transition marking receptor (effector), which allow to observe parameters of the main Petri net and, if necessary, to carry out their regulation.


title: Burchnall-Chaundy Theory

abstract: The Burchnall-Chaundy theory concerns the classification of all pairs of commuting ordinary differential operators. We phrase this theory in the language of spectral data for integrable systems. In particular, we define spectral data for rank 1 commutative algebras $A$ of ordinary differential operators. We solve the inverse problem for such data, i.e. we prove that the algebra $A$ is (essentially) uniquely determined by its spectral data. The isomorphy type of $A$ is uniquely determined by the underlying spectral curve.


title: 3D printing in the context of Science, Technology, Engineering, and Mathematics education at the college/university level

abstract: An overview concerning 3D printing (a.k.a. additive manufacturing) within the context of Science, Technology, Engineering, and Mathematics (STEM) education at the college/university level is provided. The vast majority of quoted papers report self-made models for which faculty members and their students have created the necessary 3D print files themselves by various routes. The prediction by the Gartner consulting company that it will take more than ten years from July 2014 onwards for Classroom 3D Printing to reach its Plateau of Productivity in one of their hallmark Visibility versus Time (Hype Cycle) graphs is critically assessed. The bibliography of this book chapter sums up the state-of-the art in 3D printing for STEM (including nano-science and nano-engineering) education at the college level approximately four years after Gartner's prediction. Current methodologies and best practices of college-level Classroom 3D printing are described in the main section of this review. Detailed information is given mainly for those papers in which the authors of this book chapter are authors and co-authors. A straightforward route from crystallographic information framework files (CIFs) at a very large open-access database to 3D print files for atomic-level crystal and molecule structure models is described here in some detail. Because the development of methodologies and best practices are typical activities of the penultimate stage of a Hype Cycle, we conclude that (i) Gartner's prediction underestimates the creativity, resourcefulness, and commitment of college educators to their students and that (ii) Classroom 3D Printing will be a widespread reality significantly earlier than the middle of the next decade (at least in the USA as more than one half of the relevant/quoted papers originated there). An appendix provides a brief technical review of contemporary 3D printing techniques.


title: Uniform threshold for fixation of the stochastic sandpile model on the line

abstract: We consider the abelian stochastic sandpile model. In this model, a site is deemed unstable when it contains more than one particle. Each unstable site, independently, is toppled at rate $1$, sending two of its particles to neighbouring sites chosen independently. We show that when the initial average density is less than $1/2$, the system locally fixates almost surely. We achieve this bound by analysing the parity of the total number of times each site is visited by a large number of particles under the sandpile dynamics.


title: Adversarial Loss for Semantic Segmentation of Aerial Imagery

abstract: Automatic building extraction from aerial imagery has several applications in urban planning, disaster management, and change detection. In recent years, several works have adopted deep convolutional neural networks (CNNs) for building extraction, since they produce rich features that are invariant against lighting conditions, shadows, etc. Although several advances have been made, building extraction from aerial imagery still presents multiple challenges. Most of the deep learning segmentation methods optimize the per-pixel loss with respect to the ground truth without knowledge of the context. This often leads to imperfect outputs that may lead to missing or unrefined regions. In this work, we propose a novel loss function combining both adversarial and cross-entropy losses that learn to understand both local and global contexts for semantic segmentation. The newly proposed loss function deployed on the DeepLab v3+ network obtains state-of-the-art results on the Massachusetts buildings dataset. The loss function improves the structure and refines the edges of buildings without requiring any of the commonly used post-processing methods, such as Conditional Random Fields. We also perform ablation studies to understand the impact of the adversarial loss. Finally, the proposed method achieves a relaxed F1 score of 95.59% on the Massachusetts buildings dataset compared to the previous best F1 of 94.88%.


title: Perspectives and Ethics of the Autonomous Artificial Thinking Systems

abstract: The feasibility of autonomous artificial thinking systems needs to compare the way the human beings acquire their information and develops the thought with the current capacities of the autonomous information systems. Our model uses four hierarchies: the hierarchy of information systems, the cognitive hierarchy, the linguistic hierarchy and the digital informative hierarchy that combines artificial intelligence, the power of computers models, methods and tools to develop autonomous information systems. The question of the capability of autonomous system to provide a form of artificial thought arises with the ethical consequences on the social life and the perspective of transhumanism.


title: Deep Image Translation with an Affinity-Based Change Prior for Unsupervised Multimodal Change Detection

abstract: Image translation with convolutional neural networks has recently been used as an approach to multimodal change detection. Existing approaches train the networks by exploiting supervised information of the change areas, which, however, is not always available. A main challenge in the unsupervised problem setting is to avoid that change pixels affect the learning of the translation function. We propose two new network architectures trained with loss functions weighted by priors that reduce the impact of change pixels on the learning objective. The change prior is derived in an unsupervised fashion from relational pixel information captured by domain-specific affinity matrices. Specifically, we use the vertex degrees associated with an absolute affinity difference matrix and demonstrate their utility in combination with cycle consistency and adversarial training. The proposed neural networks are compared with state-of-the-art algorithms. Experiments conducted on three real datasets show the effectiveness of our methodology.


title: A note on representations of welded braid groups

abstract: In this note, we adapt the procedure of the Long-Moody procedure to construct linear representations of welded braid groups. We exhibit the natural setting in this context and compute the first examples of representations we obtain thanks to this method. We take this way also the opportunity to review the few known linear representations of welded braid groups.


title: Hydrodynamics of magnetic fluid droplets on superhydrophobic surfaces

abstract: The study reports the aspects of postimpact hydrodynamics of ferrofluid droplets on superhydrophobic SH surfaces in the presence of a horizontal magnetic field. A wide gamut of dynamics was observed by varying the impact Weber number We, the Hartmann number Ha and the magnetic field strength manifested through the magnetic Bond number Bom. For a fixed We 60, we observed that at moderately low Bom 300, droplet rebound off the SH surface is suppressed. The noted We is chosen to observe various impact outcomes and to reveal the consequent ferrohydrodynamic mechanisms. We also show that ferrohydrodynamic interactions leads to asymmetric spreading, and the droplet spreads preferentially in a direction orthogonal to the magnetic field lines. We show analytically that during the retraction regime, the kinetic energy of the droplet is distributed unequally in the transverse and longitudinal directions due to the Lorentz force. This ultimately leads to suppression of droplet rebound. We study the role of Bom at fixed We 60, and observed that the liquid lamella becomes unstable at the onset of retraction phase, through nucleation of holes, their proliferation and rupture after reaching a critical thickness only on SH surfaces, but is absent on hydrophilic surfaces. We propose an analytical model to predict the onset of instability at a critical Bom. The analytical model shows that the critical Bom is a function of the impact We, and the critical Bom decreases with increasing We. We illustrate a phase map encompassing all the post impact ferrohydrodynamic phenomena on SH surfaces for a wide range of We and Bom.


title: Warped Graphs of Nonpositively Curved Gluings

abstract: We prove that all finite graphs of groups with cyclic vertex and edge groups act freely and isometrically on a complete, nonpositively curved geodesic metric space.


title: Representations and fusion rules for the orbifold vertex operator algebras $L_{\widehat{\frak{sl}_2}}(k,0)^{\mathbb{Z}_3}$

abstract: For the cyclic group $\mathbb{Z}_3$ and positive integer $k$, we study the representations of the orbifold vertex operator algebra $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$. All the irreducible modules for $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$ are classified and constructed explicitly. Quantum dimensions and fusion rules for the orbifold vertex operator algebra $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$ are completely determined.


title: Prediction of flow characteristics in the bubble column reactor by the artificial pheromone-based communication of biological ants

abstract: In order to perceive the behavior presented by the multiphase chemical reactors, the ant colony optimization algorithm was combined with computational fluid dynamics (CFD) data. This intelligent algorithm creates a probabilistic technique for computing flow and it can predict various levels of three-dimensional bubble column reactor (BCR). This artificial ant algorithm is mimicking real ant behavior. This method can anticipate the flow characteristics in the reactor using almost 30 % of the whole data in the domain. Following discovering the suitable parameters, the method is used for predicting the points not being simulated with CFD, which represent mesh refinement of Ant colony method. In addition, it is possible to anticipate the bubble-column reactors in the absence of numerical results or training of exact values of evaluated data. The major benefits include reduced computational costs and time savings. The results show a great agreement between ant colony prediction and CFD outputs in different sections of the BCR. The combination of ant colony system and neural network framework can provide the smart structure to estimate biological and nature physics base phenomena. The ant colony optimization algorithm (ACO) framework based on ant behavior can solve all local mathematical answers throughout 3D bubble column reactor. The integration of all local answers can provide the overall solution in the reactor for different characteristics. This new overview of modelling can illustrate new sight into biological behavior in nature.


title: On Farrell-Tate cohomology of GL(3) over rings of quadratic integers

abstract: The goal of the present paper is to push forward the frontiers of computations on Farrell-Tate cohomology for arithmetic groups. The conjugacy classification of cyclic subgroups is reduced to the classification of modules of group rings over suitable rings of integers which are principal ideal domains, generalizing an old result of Reiner. As an example of the number-theoretic input required for the Farrell-Tate cohomology computations, we discuss in detail the homological torsion in PGL(3) over principal ideal rings of quadratic integers, accompanied by machine computations in the imaginary quadratic case.


title: From stochastic spin chains to quantum Kardar-Parisi-Zhang dynamics

abstract: We introduce the asymmetric extension of the Quantum Symmetric Simple Exclusion Process which is a stochastic model of fermions on a lattice hopping with random amplitudes. In this setting, we analytically show that the time-integrated current of fermions defines a height field which exhibits a quantum non-linear stochastic Kardar-Parisi-Zhang dynamics. Similarly to classical simple exclusion processes, we further introduce the discrete Cole-Hopf (or G\"artner) transform of the height field which satisfies a quantum version of the Stochastic Heat Equation. Finally, we investigate the limit of the height field theory in the continuum under the celebrated Kardar-Parisi-Zhang scaling and the regime of almost-commuting quantum noise.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Modeling Climate Change Impact on Wind Power Resources Using Adaptive Neuro-Fuzzy Inference System

abstract: Climate change impacts and adaptations are the subjects to ongoing issues that attract the attention of many researchers. Insight into the wind power potential in an area and its probable variation due to climate change impacts can provide useful information for energy policymakers and strategists for sustainable development and management of the energy. In this study, spatial variation of wind power density at the turbine hub-height and its variability under future climatic scenarios are taken under consideration. An ANFIS based post-processing technique was employed to match the power outputs of the regional climate model with those obtained from the reference data. The near-surface wind data obtained from a regional climate model are employed to investigate climate change impacts on the wind power resources in the Caspian Sea. Subsequent to converting near-surface wind speed to turbine hub-height speed and computation of wind power density, the results have been investigated to reveal mean annual power, seasonal, and monthly variability for a 20-year period in the present (1981-2000) and in the future (2081-2100). The findings of this study indicated that the middle and northern parts of the Caspian Sea are placed with the highest values of wind power. However, the results of the post-processing technique using adaptive neuro-fuzzy inference system (ANFIS) model showed that the real potential of the wind power in the area is lower than those of projected from the regional climate model.


title: A reconciliation approach to key generation based on Module-LWE

abstract: We consider a key encapsulation mechanism (KEM) based on Module-LWE where reconciliation is performed on the 8-dimensional lattice $E_8$, which admits a fast CVP algorithm. Our scheme generates 256 bits of key and requires 3 or 4 bits of reconciliation per dimension. We show that it can outperform Kyber in terms of the modulus q with comparable error probability. We prove that our protocol is IND-CPA secure and improves the security level of Kyber by 7.3%.


title: Fast-Fourier-Forecasting Resource Utilisation in Distributed Systems

abstract: Distributed computing systems often consist of hundreds of nodes, executing tasks with different resource requirements. Efficient resource provisioning and task scheduling in such systems are non-trivial and require close monitoring and accurate forecasting of the state of the system, specifically resource utilisation at its constituent machines. Two challenges present themselves towards these objectives. First, collecting monitoring data entails substantial communication overhead. This overhead can be prohibitively high, especially in networks where bandwidth is limited. Second, forecasting models to predict resource utilisation should be accurate and need to exhibit high inference speed. Mission critical scheduling and resource allocation algorithms use these predictions and rely on their immediate availability. To address the first challenge, we present a communication-efficient data collection mechanism. Resource utilisation data is collected at the individual machines in the system and transmitted to a central controller in batches. Each batch is processed by an adaptive data-reduction algorithm based on Fourier transforms and truncation in the frequency domain. We show that the proposed mechanism leads to a significant reduction in communication overhead while incurring only minimal error and adhering to accuracy guarantees. To address the second challenge, we propose a deep learning architecture using complex Gated Recurrent Units to forecast resource utilisation. This architecture is directly integrated with the above data collection mechanism to improve inference speed of our forecasting model. Using two real-world datasets, we demonstrate the effectiveness of our approach, both in terms of forecasting accuracy and inference speed. Our approach resolves challenges encountered in resource provisioning frameworks and can be applied to other forecasting problems.


title: Quantum Electrodynamics (QED) Renormalization is a Logical Paradox, Zeta Function Regularization is Logically Invalid, and Both are Mathematically Invalid

abstract: Quantum Electrodynamics (QED) renormalizaion is a paradox. It uses the Euler-Mascheroni constant, which is defined by a conditionally convergent series. But Riemann's series theorem proves that any conditionally convergent series can be rearranged to be divergent. This contradiction (a series that is both convergent and divergent) is a paradox in "classical" logic, intuitionistic logic, and Zermelo-Fraenkel set theory, and also contradicts the commutative and associative properties of addition. Therefore QED is mathematically invalid. Zeta function regularization equates two definitions of the Zeta function at domain values where they contradict (where the Dirichlet series definition is divergent and Riemann's definition is convergent). Doing so either creates a paradox (if Riemann's definition is true), or is logically invalid (if Riemann's definition is false). We show that Riemann's definition is false, because the derivation of Riemann's definition includes a contradiction: the use of both the Hankel contour and Cauchy's integral theorem. Also, a third definition of the Zeta function is proven to be false. The Zeta function has no zeros, so the Riemann hypothesis is a paradox, due to material implication and "vacuous subjects".


title: Electricity prices and tariffs to keep everyone happy: a framework for fixed and nodal prices coexistence in distribution grids with optimal tariffs for investment cost recovery

abstract: Some consumers, particularly households, are unwilling to face volatile electricity prices, and they can perceive as unfair price differentiation in the same local area. For these reasons, nodal prices in distribution networks are rarely employed. However, the increasing availability of renewable resources and emerging price-elastic behaviours pave the way for the effective introduction of marginal nodal pricing schemes in distribution networks. The aim of the proposed framework is to show how traditional non-flexible consumers can coexist with flexible users in a local distribution area. Flexible users will pay nodal prices, whereas non-flexible consumers will be charged a fixed price derived from the underlying nodal prices. Moreover, the developed approach shows how a distribution system operator should manage the local grid by optimally determining the lines to be expanded, and the collected network tariff levied on grid users, while accounting for both congestion rent and investment costs. The proposed model is formulated as a non-linear integer bilevel program, which is then recast as an equivalent single optimization problem, by using integer algebra and complementarity relations. The power flows in the distribution area are modelled by resorting to a second-order cone relaxation, whose solution is exact for radial networks under mild assumptions. The final model results in a mixed-integer quadratically constrained program, which can be solved with off-the-shelf solvers. Numerical test cases based on both 5-bus and 33-bus networks are reported to show the effectiveness of the proposed method.


title: On the linear structure of cones

abstract: For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order computation based on (positive) cones, and a class of totally monotone functions that they called "stable". Then Crubill{\'e} proved that this model is a conservative extension of the earlier probabilistic coherence space model. We continue these investigations by showing that the category of cones and linear and Scott-continuous functions is a model of intuitionistic linear logic. To define the tensor product, we use the special adjoint functor theorem, and we prove that this operation is and extension of the standard tensor product of probabilistic coherence spaces. We also show that these latter are dense in cones, thus allowing to lift the main properties of the tensor product of probabilistic coherence spaces to general cones. Last we define in the same way an exponential of cones and extend measurability to these new operations.


title: Relaxed hypermultiplet in four dimensional N=2 conformal supergravity

abstract: Superconformal matter multiplets play a crucial role in the construction of Poincare supergravity invariants. Off-shell multiplets allow for construction of general matter couplings in supergravity. In Nucl. Phys. B214 (1983) 519-531, relaxed hypermultiplet was constructed in rigid supersymmetry which on coupling with the real scalar multiplet allowed for an off-shell formulation of the rigid hypermultiplet. In this paper, we extend the relaxed hypermultiplet to conformal supergravity. For consistency with the superconformal algebra, we find that the fields have to be allowed to transform in a non-canonical way under SU(2) symmetry. We find suitable field redefinitions to obtain fields which are irreducible representations of SU(2) R-symmetry and present the full non-linear transformation rule.


title: Nonparametric Continuous Sensor Registration

abstract: This paper develops a new mathematical framework that enables nonparametric joint semantic and geometric representation of continuous functions using data. The joint embedding is modeled by representing the processes in a reproducing kernel Hilbert space. The functions can be defined on arbitrary smooth manifolds where the action of a Lie group aligns them. The continuous functions allow the registration to be independent of a specific signal resolution. The framework is fully analytical with a closed-form derivation of the Riemannian gradient and Hessian. We study a more specialized but widely used case where the Lie group acts on functions isometrically. We solve the problem by maximizing the inner product between two functions defined over data, while the continuous action of the rigid body motion Lie group is captured through the integration of the flow in the corresponding Lie algebra. Low-dimensional cases are derived with numerical examples to show the generality of the proposed framework. The high-dimensional derivation for the special Euclidean group acting on the Euclidean space showcases the point cloud registration and bird's-eye view map registration abilities. An implementation of this framework for RGB-D cameras outperforms the state-of-the-art robust visual odometry and performs well in texture and structure-scarce environments.


title: Almost Everywhere Convergence of Prolate Spheroidal Series

abstract: In this paper, we show that the expansions of functions from $L^p$-Paley-Wiener type spaces in terms of the prolate spheroidal wave functions converge almost everywhere for $1<p<\infty$, even in the cases when they might not converge in $L^p$-norm. We thereby consider the classical Paley-Wiener spaces $PW_c^p\subset L^p(\mathcal{R})$ of functions whose Fourier transform is supported in $[-c,c]$ and Paley-Wiener like spaces $B_{\alpha,c}^p\subset L^p(0,\infty)$ of functions whose Hankel transform $\mathcal{H}^\alpha$ is supported in $[0,c]$.As a side product, we show the continuity of the projection operator $P_c^\alpha f:=\mathcal{H}^\alpha(\chi_{[0,c]}\cdot \mathcal{H}^\alpha f)$ from $L^p(0,\infty)$ to $L^q(0,\infty)$, $1<p\leq q<\infty$.


title: Point-groups over singular cubics

abstract: In this paper, we highlight that the point group structure of elliptic curves over finite or infinite fields, may be also observed on singular cubics with a quadratic component. Starting from this, we are able to introduce in a very general way a group's structure over any kind of conics. In the case of conics over finite fields, we see that the point group is cyclic and lies on the quadric; the straight line component plays a role which may be not explicitly visible in the algebraic description of point composition, but it is indispensable in the geometric description. Moreover, some applications to cryptography are described, considering convenient parametrizations of the conics. Finally, we perform an evaluation of the complexity of the operations involved in the parametric groups and consequently in the cryptographic applications.


title: Symblicit Exploration and Elimination for Probabilistic Model Checking

abstract: Binary decision diagrams can compactly represent vast sets of states, mitigating the state space explosion problem in model checking. Probabilistic systems, however, require multi-terminal diagrams storing rational numbers. They are inefficient for models with many distinct probabilities and for iterative numeric algorithms like value iteration. In this paper, we present a new "symblicit" approach to checking Markov chains and related probabilistic models: We first generate a decision diagram that symbolically collects all reachable states and their predecessors. We then concretise states one-by-one into an explicit partial state space representation. Whenever all predecessors of a state have been concretised, we eliminate it from the explicit state space in a way that preserves all relevant probabilities and rewards. We thus keep few explicit states in memory at any time. Experiments show that very large models can be model-checked in this way with very low memory consumption.


title: An Evaluation of Percentile Measures of Citation Impact, and a Proposal for Making Them Better

abstract: Percentiles are statistics pointing to the standing of a paper's citation impact relative to other papers in a given citation distribution. Percentile Ranks (PRs) often play an important role in evaluating the impact of scholars, institutions, and lines of study. Because PRs are so important for the assessment of scholarly impact, and because citation practices differ greatly across time and fields, various percentile approaches have been proposed to time- and field-normalize citations. Unfortunately, current popular methods often face significant problems in time- and field-normalization, including when papers are assigned to multiple fields or have been published by more than one unit (e.g., researchers or countries). They also face problems for estimating citation counts (CCs) for pre-defined PRs (e.g., the 90th PR). We offer a series of guidelines and procedures that, we argue, address these problems and others and provide a superior means to make the use of percentile methods more accurate and informative. In particular, we introduce two approaches, CP-IN and CP-EX, that should be preferred in bibliometric studies because they consider the complete citation distribution. Both approaches are based on cumulative frequencies in percentages (CPs). The paper further shows how bar graphs and beamplots can present PRs in a more meaningful and accurate manner.


title: Low cost passive pH sensor fabricated on scotch tape

abstract: We report the fabrication and characterization results of a simple and low-cost pH sensor fabricated using a graphite pencil to define a working electrode and silver paste to define a reference electrode on scotch tape. The sensor operation is based on potentiometric measurement and thereby insensitive to fabrication variations in shape of the electrode unlike amperometric and chemiresistive measurement techniques. The substrate of the disposable sensor is prepared by pasting scotch tape atop a piece of chart paper, and two types of sensors fabricated with 6B and 2B graphite pencils are tested with three solutions with different pH values. The sensor functions as a passive sensing tag without requiring any external power or stimulus, and the measured sensitivities of the pH sensors fabricated using 2B and 6B pencil carbon electrodes (PCEs) are $-4.54mV/pH$ and $-4.09mV/pH$ respectively.


title: Geometric deep learning for computational mechanics Part I: Anisotropic Hyperelasticity

abstract: This paper is the first attempt to use geometric deep learning and Sobolev training to incorporate non-Euclidean microstructural data such that anisotropic hyperelastic material machine learning models can be trained in the finite deformation range. While traditional hyperelasticity models often incorporate homogenized measures of microstructural attributes, such as porosity averaged orientation of constitutes, these measures cannot reflect the topological structures of the attributes. We fill this knowledge gap by introducing the concept of weighted graph as a new mean to store topological information, such as the connectivity of anisotropic grains in assembles. Then, by leveraging a graph convolutional deep neural network architecture in the spectral domain, we introduce a mechanism to incorporate these non-Euclidean weighted graph data directly as input for training and for predicting the elastic responses of materials with complex microstructures. To ensure smoothness and prevent non-convexity of the trained stored energy functional, we introduce a Sobolev training technique for neural networks such that stress measure is obtained implicitly from taking directional derivatives of the trained energy functional. By optimizing the neural network to approximate both the energy functional output and the stress measure, we introduce a training procedure the improves efficiency and generalize the learned energy functional for different microstructures. The trained hybrid neural network model is then used to generate new stored energy functional for unseen microstructures in a parametric study to predict the influence of elastic anisotropy on the nucleation and propagation of fracture in the brittle regime.


title: Bio-inspired Adaptive Latching System for Towing and Guiding Power-less Floating Platforms with Autonomous Robotic Boats

abstract: Autonomous robotic boats are expected to perform several tasks: 1) navigate autonomously in water environments, such as the canals of Amsterdam; 2) perform individual task, such as water monitoring, transporting goods and people; 3) latch together to create floating infrastructure, such as bridges and markets. In this paper we present a novel bio-inspired robotic system for latching, towing and guiding a floating passive-power-less platform. The challenge is to design an adaptive latching mechanism, able to create a secure connection between the entities, easy to attach/detach, even if the boats are affected by water disturbances. But most important, the adaptive latching must be able to restricting the DoF (degrees of freedom) of the latched "dummy" platform. Since, the robotic boat may drive it in narrow water canals and must prevent it from drifting and hitting the wall. This novel adaptive latching mechanism is based on the ball and socket joint that allows rotation and free movements in two planes at the same time. It consists of two parts: the male part that includes a bearing stud (ball) integrated on the floating bin "dummy" and the female part located on the autonomous robotic boat. Which integrates an adaptive framed funnel to guide the male ball into an actuated receptor that traps the ball, creating the ball-socket joint between the boats. In this sense, the adaptive latching mechanism mimics squid's tentacles that can adjust the forces applied to a holding object restricting its degrees of freedom. Experimental results are presented from our swarm robotic boats integrating the adaptive latching system and performing the towing and guiding use cases.


title: Mean-Field and Kinetic Descriptions of Neural Differential Equations

abstract: Nowadays, neural networks are widely used in many applications as artificial intelligence models for learning tasks. Since typically neural networks process a very large amount of data, it is convenient to formulate them within the mean-field and kinetic theory. In this work we focus on a particular class of neural networks, i.e. the residual neural networks, assuming that each layer is characterized by the same number of neurons $N$, which is fixed by the dimension of the data. This assumption allows to interpret the residual neural network as a time-discretized ordinary differential equation, in analogy with neural differential equations. The mean-field description is then obtained in the limit of infinitely many input data. This leads to a Vlasov-type partial differential equation which describes the evolution of the distribution of the input data. We analyze steady states and sensitivity with respect to the parameters of the network, namely the weights and the bias. In the simple setting of a linear activation function and one-dimensional input data, the study of the moments provides insights on the choice of the parameters of the network. Furthermore, a modification of the microscopic dynamics, inspired by stochastic residual neural networks, leads to a Fokker-Planck formulation of the network, in which the concept of network training is replaced by the task of fitting distributions. The performed analysis is validated by artificial numerical simulations. In particular, results on classification and regression problems are presented.