title: Cosmological Inflation from the dark Universe

abstract: The present work deals with the cosmological consequences of the variable cosmological term $\Lambda(a)=\Lambda_0 + \Lambda_1 a^{-r} + \Lambda_2 a^{-s},$ where $a$ is the scale factor of the Robertson-Walker space-time. An analysis of the parameters $\Lambda_1,\Lambda_2,r,s$ and $\alpha,$ which describes the interaction between the cosmological constant and non-relativistic matter/radiation, leads to an attractive density $\rho_{\text{dm}} \sim a^{-r}$ and a repulsive density $\rho_{\text{infl}} \sim a^{-s}.$ As already known from literature, an approach of the form $\Lambda(a)=\Lambda_0 + \Lambda_1 a^{-r}$ and the identification of the energy density of space-time expansion with the zero-point density can avoid the scale discrepancy of the cosmological constant problem and solve the missing mass problem of dark matter. Furthermore, this works demonstrates that the additional term $\Lambda_2 a^{-s}$ solves the flatness, the horizon and the magnetic-monopole problem without a hypothetical scalar field, which avoids speculations about the origin of this field. As a consequence, the imaginary time concept from Hartle and Hawking appears naturally.


title: On the equations of electrodynamics in a flat or a curved spacetime and a possible interaction energy

abstract: We investigate which are the independent equations of continuum electrodynamics and what is their number, beginning with the standard equations used in special and in general relativity. We check by using differential identities that there are as much independent equations as there are unknowns, for the case with given sources as well as for the general case where the motion of the charged medium producing the field is unknown. Then we study that problem in an alternative theory of gravity with a preferred reference frame, in order to constrain an additional, "interaction" energy tensor that has to be postulated in this theory, and that would be present also outside usual matter. In order that the interaction tensor be Lorentz-invariant in special relativity, it has to depend only on a scalar field $p$. Since the system of electrodynamics of the theory is closed in the absence of the interaction tensor, just one scalar equation more is needed to close it again in the presence of $p$. We add the equation for charge conservation. We derive equations that will allow one to determine the field $p$ in a given weak gravitational field and in a given electromagnetic field. Keywords: Maxwell equations, special relativity, general relativity, alternative theory of gravitation, preferred reference frame


title: Supplemental note for "Two-fermion emission from spin-singlet and triplet resonances in one dimension"

abstract: Time-dependent calculation has been a suitable method to investigate the quantum dynamical processes. In Ref. [1] = [T. Oishi et al., J. of Phys. G 45, 105101 (2018)], we applied this method to the one-dimensional two-fermion tunneling in the nuclear-physics scale. Beside the specific results presented therein, some basic formalism and methods, which can be helpful for further discussions and developments to investigate time-dependent quantum systems, have been awaiting our description. This note is devoted to describe those supplemental contents. We do not limit the story to the nuclear physics, but keep it applicable to other scales and/or targets.


title: Necessary and sufficient condition of separability for D-symmetric diagonal states

abstract: For multipartite states we consider a notion of D-symmetry. For a system of $N$ qubits it concides with usual permutational symmetry. In case of $N$ qudits ($d\geq 3$) the D-symmetry is stronger than the permutational one. For the space of all D-symmetric vectors in $(\mathbb{C}^d)^{\otimes N}$ we define a basis composed of vectors $\{|R_{N,d;k}\rangle: \,0\leq k\leq N(d-1)\}$ which are analog for Dicke states. The aim of this paper is to discuss the problem of separability of D-symmetric states which are diagonal in the basis $\{|R_{N,d;k}\rangle\}$. We show that if $N$ is even and $d\geq 2$ is arbitrary then a PPT property is necessary and sufficient condition of separability for D-invariant diagonal states. In this way we generalize results obtained by Yu for qubits. Our strategy is to use some classical mathematical results on a moment problem.


title: Everything is a "matter" of perspective: the Unruh effect

abstract: In this work we examine and extend the proposal of reference \cite{Rosabal:2018hkx}, concerning the new interpretation on the Unruh effect. The vacuum processes in Minkowski and Rindler space are described in detail, in connection with the observers perspective. We highlight the presence of antiparticles in the radiation, which is perhaps the main observation in the cited reference. We present a new derivation of the vacuum energy in Rindler space using the Schr\"odinger kernel. The quest for the Unruh radiation could be expanded by considering the possibility of detecting the antiparticles in it. A proposal for the experimental confirmation of the antiparticles in the radiation is presented.


title: Introducing a hybrid model of DEA and data mining in evaluating efficiency. Case study: Bank Branches

abstract: The banking industry is very important for an economic cycle of each country and provides some quality of services for us. With the advancement in technology and rapidly increasing of the complexity of the business environment, it has become more competitive than the past so that efficiency analysis in the banking industry attracts much attention in recent years. From many aspects, such analyses at the branch level are more desirable. Evaluating the branch performance with the purpose of eliminating deficiency can be a crucial issue for branch managers to measure branch efficiency. This work not only can lead to a better understanding of bank branch performance but also give further information to enhance managerial decisions to recognize problematic areas. To achieve this purpose, this study presents an integrated approach based on Data Envelopment Analysis (DEA), Clustering algorithms and Polynomial Pattern Classifier for constructing a classifier to identify a class of bank branches. First, the efficiency estimates of individual branches are evaluated by using the DEA approach. Next, when the range and number of classes were identified by experts, the number of clusters is identified by an agglomerative hierarchical clustering algorithm based on some statistical methods. Next, we divide our raw data into k clusters By means of self-organizing map (SOM) neural networks. Finally, all clusters are fed into the reduced multivariate polynomial model to predict the classes of data.


title: Predicting the Expansion of Concrete Exposed to Sulfate Attack with a Regression Model Based on a Performance Classification

abstract: This paper mainly describes the development of a new type of regression model to predict the long-term expansion of concrete subjected to a sulfate-rich environment. The experimental data originated from a long-term (40+ years), nonaccelerated test program performed by the U.S. Bureau of Reclamation (USBR). Expansion data of specimens composed of 54 different mixtures were measured periodically throughout the entire test program. In this analysis, the mixtures were first classified into three groups using K-means clustering based on their expansion patterns. Within each group, the expansion rate was predicted as an exclusive regression function of the water-cement ratio (W/C), tricalcium aluminate (C_3 A) content of cement, cement content of cement or time of expansion. Then, a support vector machine (SVM) was employed to determine the classification criteria by relying on the characteristics of the mixture proportions rather than the experimental performance, thereby enabling the model to offer predictions for new mixtures without test data. An analysis of the model indicated that concrete specimens with different mixture proportions, especially with different W/C values or C_3 A contents, are unlikely to share identical expansion patterns and should be considered and predicted separately.separately.


title: Automatic Configuration of Deep Neural Networks with EGO

abstract: Designing the architecture for an artificial neural network is a cumbersome task because of the numerous parameters to configure, including activation functions, layer types, and hyper-parameters. With the large number of parameters for most networks nowadays, it is intractable to find a good configuration for a given task by hand. In this paper an Efficient Global Optimization (EGO) algorithm is adapted to automatically optimize and configure convolutional neural network architectures. A configurable neural network architecture based solely on convolutional layers is proposed for the optimization. Without using any knowledge on the target problem and not using any data augmentation techniques, it is shown that on several image classification tasks this approach is able to find competitive network architectures in terms of prediction accuracy, compared to the best hand-crafted ones in literature. In addition, a very small training budget (200 evaluations and 10 epochs in training) is spent on each optimized architectures in contrast to the usual long training time of hand-crafted networks. Moreover, instead of the standard sequential evaluation in EGO, several candidate architectures are proposed and evaluated in parallel, which saves the execution overheads significantly and leads to an efficient automation for deep neural network design.


title: Thermodynamics of Various Entropies in Specific Modified Gravity with Particle Creation

abstract: We consider the particle creation scenario in the dynamical Chern-Simons modified gravity in the presence of perfect fluid equation of state $p=(\gamma-1)\rho$. By assuming various modified entropies (Bekenstein, logarithmic, power law correction and Reyni), we investigate the first law of thermodynamics and generalized second law of thermodynamics on the apparent horizon. In the presence of particle creation rate, we discuss the generalized second law of thermodynamics and thermal equilibrium condition. It is found that thermodynamic laws and equilibrium condition remain valid under certain conditions of parameters.


title: A Software Radio Challenge Accelerating Education and Innovation in Wireless Communications

abstract: This Innovative Practice Full Paper presents our methodology and tools for introducing competition in the electrical engineering curriculum to accelerate education and innovation in wireless communications. Software radio or software-defined radio (SDR) enables wireless technology, systems and standards education where the student acts as the radio developer or engineer. This is still a huge endeavor because of the complexity of current wireless systems and the diverse student backgrounds. We suggest creating a competition among student teams to potentiate creativity while leveraging the SDR development methodology and open-source tools to facilitate cooperation. The proposed student challenge follows the European UEFA Champions League format, which includes a qualification phase followed by the elimination round or playoffs. The students are tasked to build an SDR transmitter and receiver following the guidelines of the long-term evolution standard. The metric is system performance. After completing this course, the students will be able to (1) analyze alternative radio design options and argue about their benefits and drawbacks and (2) contribute to the evolution of wireless standards. We discuss our experiences and lessons learned with particular focus on the suitability of the proposed teaching and evaluation methodology and conclude that competition in the electrical engineering classroom can spur innovation.


title: Statistical Modeling of an astro-comb for high precision radial velocity observation

abstract: The advent of the laser frequency comb as the wavelength calibration unit allows us to measure the radial velocity at $cm\ s^{-1}$ precision level with high stability in long-term, which enable the possibility of the detection of Earth-twins around solar-like stars. Recent study shows that the laser frequency comb can also be used to measure and study the precision of the instrumental system including the variations of line profile and the systematic uncertainty and instrumental drift. In this paper, we present the stringent analysis of a laser frequency comb(LFC) system with 25GHz repetition frequency on a R$\sim$50,000 spectrograph with the wavelength spanning from 5085\AA \ to 7380\AA. We report a novel fitting model optimized for the comb line profile, the constrained double Gaussian. The constraint condition is set as $\left|\mu_{1,2} - \mu \right| <\sqrt{2ln2}\sigma$. We introduce Bayesian information criterion to test various models. Compared to the traditional Gaussian model, the CDG(Constrained Double Gaussians) model provides much better goodness of fit. We apply the CDG model to the observed comb data to demonstrate the improvement of RV precision with CDG model. We find that the improvement of CDG model is about 40\%$\sim$60\% for wavelength calibration precision. We also consider the application to use the LFC and CDG model as a tool to characterize the line shape variation across the detector. The motivation of this work is to measure and understand the details of the comb lines including their asymmetry and behaviors under various conditions, which plays a significant role in the simultaneous calibration process and cross-correlation function method to determine the Doppler shift at high precision level.


title: Numerical Evaluation of the Relativistic Magnetized Plasma Susceptibility Tensor and Faraday Rotation Coefficients

abstract: Polarized models of relativistically hot astrophysical plasmas require transport coefficients as input: synchrotron absorption and emission coefficients in each of the four Stokes parameters, as well as three Faraday rotation coefficients. Approximations are known for all coefficients for a small set of electron distribution functions, such as the Maxwell-Juttner relativistic thermal distribution, and a general procedure has been obtained by Huang & Shcherbakov for an isotropic distribution function. Here we provide an alternative general procedure, with a full derivation, for calculating absorption and rotation coefficients for an arbitrary isotropic distribution function. Our method involves the computation of the full plasma susceptibility tensor, which in addition to absorption and rotation coefficients may be used to determine plasma modes and the dispersion relation. We implement the scheme in a publicly available library with a simple interface, thus allowing for easy incorporation into radiation transport codes. We also provide a comprehensive survey of the literature and comparison with earlier results.


title: Some Characterizations of Focal Surfaces of A Tubular Surface in E^3

abstract: Here, we focus on focal surfaces of a tubular surface in Euclidean 3-space E^3: Firstly, we give the tubular surfaces with respect to Frenet and Darboux frames. Then, we define focal surfaces of these tubular surfaces. We get some results for these types of surfaces to become flat and we show that there is no minimal focal surface of a tubular surface in E^3. We give some examples for these type surfaces. Further, we show that u-parameter curves cannot be asymptotic curves and we obtain some results about v-parameter curves of the focal surface M^*.


title: Trivalent expanders, $(\Delta-Y)$-transformation, and hyperbolic surfaces

abstract: We construct a new family of trivalent expanders tessellating hyperbolic surfaces with large isometry groups. These graphs are obtained from a family of Cayley graphs of nilpotent groups via $(\Delta-Y)$-transformations. We compare this family with Platonic graphs and their associated hyperbolic surfaces and see that they are generally very different with only one hyperbolic surface in the intersection. Moreover, we study combinatorial, topological and spectral properties of our trivalent graphs and their associated hyperbolic surfaces.


title: Empowerment-driven Exploration using Mutual Information Estimation

abstract: Exploration is a difficult challenge in reinforcement learning and is of prime importance in sparse reward environments. However, many of the state of the art deep reinforcement learning algorithms, that rely on epsilon-greedy, fail on these environments. In such cases, empowerment can serve as an intrinsic reward signal to enable the agent to maximize the influence it has over the near future. We formulate empowerment as the channel capacity between states and actions and is calculated by estimating the mutual information between the actions and the following states. The mutual information is estimated using Mutual Information Neural Estimator and a forward dynamics model. We demonstrate that an empowerment driven agent is able to improve significantly the score of a baseline DQN agent on the game of Montezuma's Revenge.


title: Conceptual Knowledge Markup Language: An Introduction

abstract: Conceptual Knowledge Markup Language (CKML) is an application of XML. Earlier versions of CKML followed rather exclusively the philosophy of Conceptual Knowledge Processing (CKP), a principled approach to knowledge representation and data analysis that "advocates methods and instruments of conceptual knowledge processing which support people in their rational thinking, judgment and acting and promote critical discussion." The new version of CKML continues to follow this approach, but also incorporates various principles, insights and techniques from Information Flow (IF), the logical design of distributed systems. Among other things, this allows diverse communities of discourse to compare their own information structures, as coded in logical theories, with that of other communities that share a common generic ontology. CKML incorporates the CKP ideas of concept lattice and formal context, along with the IF ideas of classification (= formal context), infomorphism, theory, interpretation and local logic. Ontology Markup Language (OML), a subset of CKML that is a self-sufficient markup language in its own right, follows the principles and ideas of Conceptual Graphs (CG). OML is used for structuring the specifications and axiomatics of metadata into ontologies. OML incorporates the CG ideas of concept, conceptual relation, conceptual graph, conceptual context, participants and ontology. The link from OML to CKML is the process of conceptual scaling, which is the interpretive transformation of ontologically structured knowledge to conceptual structured knowledge.


title: A non-local one-phase free boundary problem from obstacle to cavitation

abstract: We consider a one-phase free boundary problem of the minimizer of the energy \[ J_{\gamma}(u)=\frac{1}{2}\int_{(B_1^{n+1})^+}{y^{1-2s}|\nabla u(x,y)|^2dxdy}+\int_{B_1^{n}\times \{y=0\}}{u^{\gamma}dx}, \] with constants $0<s,\gamma<1$. It is an intermediate case of the fractional cavitation problem (as $\gamma=0$) and the fractional obstacle problem (as $\gamma=1$). We prove that the blow-up near every free boundary point is homogeneous of degree $\beta=\frac{2s}{2-\gamma}$, and flat free boundary is $C^{1,\theta}$ when $\gamma$ is close to 0.


title: Inflation with $R^2$ term in the Palatini formalism

abstract: We study scalar field inflation in $F(R)$ gravity in the Palatini formulation of general relativity. Unlike in the metric formulation, in the Palatini formulation $F(R)$ gravity does not introduce new degrees of freedom. However, it changes the relations between existing degrees of freedom, including the inflaton and spacetime curvature. Considering the case $F(R)=R+\alpha R^2$, we find that the $R^2$ term decreases the height of the effective inflaton potential. By adjusting the value of $\alpha$, this mechanism can be used to suppress the tensor-to-scalar ratio $r$ without limit in any scalar field model of inflation without affecting the spectrum of scalar perturbations.


title: Anisotropic Quintessence Strange Stars in f(T) Gravity with Modified Chaplygin Gas

abstract: In this paper, we study the existence of strange star in the background of f (T) modified gravity where T is a scalar torsion. In KB metric space, we derive the equations of motion using anisotropic property within the spherically strange star with modified chaplygin gas in the framework of modified f (T) gravity. Then we obtain many physical quantities to describe the physical status such as anisotropic behavior, energy conditions and stability. By the matching condition, we calculate the unknown parameters to evaluate the numerical values of mass, surface redshift etc. from our model to make comparison with the observational data.


title: Learning multiple order parameters with interpretable machines

abstract: Machine-learning techniques are evolving into a subsidiary tool for studying phase transitions in many-body systems. However, most studies are tied to situations involving only one phase transition and one order parameter. Systems that accommodate multiple phases of coexisting and competing orders, which are common in condensed matter physics, remain largely unexplored from a machine-learning perspective. In this paper, we investigate multiclassification of phases using support vector machines (SVMs) and apply a recently introduced kernel method for detecting hidden spin and orbital orders to learn multiple phases and their analytical order parameters. Our focus is on multipolar orders and their tensorial order parameters whose identification is difficult with traditional methods. The importance of interpretability is emphasized for physical applications of multiclassification. Furthermore, we discuss an intrinsic parameter of SVM, the bias, which allows for a special interpretation in the classification of phases, and its utility in diagnosing the existence of phase transitions. We show that it can be exploited as an efficient way to explore the topology of unknown phase diagrams where the supervision is entirely delegated to the machine.


title: Quasi-particle spectrum and entanglement generation after a quench in the quantum Potts spin chain

abstract: Recently, a non-trivial relation between the quasi-particle spectrum and entanglement entropy production was discovered in non-integrable quenches in the paramagnetic Ising quantum spin chain. Here we study the dynamics of analogous quenches in the quantum Potts spin chain. Tuning the parameters of the system, we observe a sudden increase in the entanglement production rate, which is shown to be related to the appearance of new quasiparticle excitations in the post-quench spectrum. Our results demonstrate the generality of the effect and support its interpretation as the non-equilibrium version of the well-known Gibbs paradox related to mixing entropy which appears in systems with a non-trivial quasi-particle spectrum.


title: Curvature Late-Time Acceleration in an Eternal Universe

abstract: We construct a FLRW universe considering an anisotropic scaling between space and time at extremely high and low energies only. In this context, Friedmann equations contain an additional term arising from spatial curvature which implements nonsingular bounces in the early Universe. The matter content of the model is a nonrelativistic pressureless perfect fluid and radiation. By breaking covariance diffeomorphism also at extreme large scales, an additional term furnishes late-time acceleration due to spatial curvature so that a cosmological constant is not needed. In order to probe the final fate of the universe we also introduce a lower order curvature term which dominates in deep IR. Given the observational parameters we obtain a concrete model in eternal recurrence in which the end of late-time acceleration takes place at a redshift $z \simeq -0.14$ and the universe recollapses at $z\simeq - 0.32$.


title: On the applicability of distributed ledger architectures to peer-to-peer energy trading framework

abstract: As more and more distributed renewable energy resources are integrated to the grid, the traditional consumers have become the prosumers who can sell back their surplus energy to the others who are in energy shortage. This peer-to-peer (P2P) energy transaction framework benefits the end users, financially and in term of energy security; and the network operators, in term of flexibility in DRES management, peak load shifting and regulation of voltage/frequency. Environmentally, P2P energy transaction also helps to reduce carbon footprint, reduces DRES payback period and incentivizes the installation of DRES. The current centralized market model is no longer suitable and it is therefore necessary to develop an adapted decentralized architecture for the advanced P2P energy transaction framework intra/inter-microgrid. In this paper, we discuss several distributed ledger approaches for such framework: Blockchain, Block Lattice and Directed Acyclic Graph (the Tangle). The technical advantages of these architectures as well as the persistent challenges are then considered.


title: Contracts as specifications for dynamical systems in driving variable form

abstract: This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or set-invariance. The framework has the potential to capture a richer class of specifications more suitable for complex engineering systems. The proposed contracts are supported by results that enable the verification of contract implementation and the comparison of contracts. These results are illustrated by an example of a vehicle following system.


title: Process intensification strategies for enhanced holocellulose solubilization: Beneficiation of pineapple peel waste for cleaner butanol production

abstract: Biorefinery sector has become a serious dispute for cleaner and sustainable development in recent years. In the present study, pretreatment of pineapple peel waste was carried out in high pressure reactor using various pretreatment-enhancers. The type and concentration effect of each enhancer on hemicellulose solubilization was systematically investigated. The binary acid (phenol + sulfuric acid) at 180 {\deg}C was found to be superior amongst other studied enhancers, giving 81.17% (w/v) hemicellulose solubilization in liquid-fraction under optimized conditions. Solid residue thus obtained was subjected to enzymatic hydrolysis that resulted into 24.50% (w/v) cellulose breakdown. Treated solid residue was further characterized by scanning electron microscopy and Fourier transform infrared spectroscopy to elucidate structural changes. The pooled fractions (acid treated and enzymatically hydrolyzed) were fermented using Clostridium acetobutylicum NRRL B 527 which resulted in butanol production of 5.18 g/L with yield of 0.13 g butanol/g sugar consumed. Therefore, pretreatment of pineapple peel waste evaluated in this study can be considered as milestone in utilization of low cost feedstock, for bioenergy production.


title: Relative \'{E}tale Realizations of Motivic Spaces and Dwyer-Friedlander $K$-Theory of Noncommutative Schemes

abstract: In this paper, we construct a refined, relative version of the \'etale realization functor of motivic spaces, first studied by Isaksen and Schmidt. Their functor goes from the $\infty$-category of motivic spaces over a base scheme $S$ to the $\infty$-category of $p$-profinite spaces, where $p$ is a prime which is invertible in all residue fields of $S$. In the first part of this paper, we refine the target of this functor to an $\infty$-category where $p$-profinite spaces is a further completion. Roughly speaking, this $\infty$-category is generated under cofiltered limits by those spaces whose associated "local system" on $S$ is $A^1$-invariant. We then construct a new, relative version of their \'etale realization functor which takes into account the geometry and arithmetic of the base scheme $S$. For example, when $S$ is the spectrum of a field $k$, our functor lands in a certain $\infty$-category equivariant for the absolute Galois group. Our construction relies on a relative version of \'etale homotopy types in the sense of Artin-Mazur-Friedlander, which we also develop in some detail, expanding on previous work of Barnea-Harpaz-Schlank. We then stabilize our functor, in the $S^1$-direction, to produce an \'etale realization functor for motivic $S^1$-spectra (in other words, Nisnevich sheaves of spectra which are $A^1$-invariant). To this end, we also develop an $\infty$-categorical version of the theory of profinite spectra, first explored by Quick. As an application, we refine the construction of the \'etale $K$-theory of Dwyer and Friedlander, and define its non-commutative extension. This latter invariant should be seen as an $\ell$-adic analog of Blanc's theory of semi-topological $K$-theory of non-commutative schemes. We then formulate and prove an analog of Blanc's conjecture on the torsion part of this theory, generalizing the work of Antieau and Heller.


title: Enumerative Gadget Phenomena for $(4,1)$-Adinkras

abstract: Adinkras are combinatorial objects developed to study supersymmetry representations. Gates et al. introduced the "gadget" as a function of pairs of adinkras, obtaining some mysterious results for $(n=4, k=1)$ adinkras with computer-aided computation. Specifically, very few values of the gadget actually appear, suggesting a great deal of symmetry in these objects. In this paper, we compute gadgets symbolically and explain some of these observed phenomena with group theory and combinatorics. Guided by this work, we give some suggestions for generalizations of the gadget to other values of the $n$ and $k$ parameters.


title: Uncertainty in Neural Networks: Approximately Bayesian Ensembling

abstract: Understanding the uncertainty of a neural network's (NN) predictions is essential for many purposes. The Bayesian framework provides a principled approach to this, however applying it to NNs is challenging due to large numbers of parameters and data. Ensembling NNs provides an easily implementable, scalable method for uncertainty quantification, however, it has been criticised for not being Bayesian. This work proposes one modification to the usual process that we argue does result in approximate Bayesian inference; regularising parameters about values drawn from a distribution which can be set equal to the prior. A theoretical analysis of the procedure in a simplified setting suggests the recovered posterior is centred correctly but tends to have an underestimated marginal variance, and overestimated correlation. However, two conditions can lead to exact recovery. We argue that these conditions are partially present in NNs. Empirical evaluations demonstrate it has an advantage over standard ensembling, and is competitive with variational methods.


title: Physics-Driven Regularization of Deep Neural Networks for Enhanced Engineering Design and Analysis

abstract: In this paper, we introduce a physics-driven regularization method for training of deep neural networks (DNNs) for use in engineering design and analysis problems. In particular, we focus on prediction of a physical system, for which in addition to training data, partial or complete information on a set of governing laws is also available. These laws often appear in the form of differential equations, derived from first principles, empirically-validated laws, or domain expertise, and are usually neglected in data-driven prediction of engineering systems. We propose a training approach that utilizes the known governing laws and regularizes data-driven DNN models by penalizing divergence from those laws. The first two numerical examples are synthetic examples, where we show that in constructing a DNN model that best fits the measurements from a physical system, the use of our proposed regularization results in DNNs that are more interpretable with smaller generalization errors, compared to other common regularization methods. The last two examples concern metamodeling for a random Burgers' system and for aerodynamic analysis of passenger vehicles, where we demonstrate that the proposed regularization provides superior generalization accuracy compared to other common alternatives.

categories: cs.LG cs.CE cs.NA math.AP math.NA stat.ML


title: A spinorial analogue of the Brezis-Nirenberg theorem involving the critical Sobolev exponent

abstract: Let $(M,\textit{g},\sigma)$ be a compact Riemannian spin manifold of dimension $m\geq2$, let $\mathbb{S}(M)$ denote the spinor bundle on $M$, and let $D$ be the Atiyah-Singer Dirac operator acting on spinors $\psi:M\to\mathbb{S}(M)$. We study the existence of solutions of the nonlinear Dirac equation with critical exponent \[ D\psi = \lambda\psi + f(|\psi|)\psi + |\psi|^{\frac2{m-1}}\psi \tag{NLD} \] where $\lambda\in\mathbb{R}$ and $f(|\psi|)\psi$ is a subcritical nonlinearity in the sense that $f(s)=o\big(s^{\frac2{m-1}}\big)$ as $s\to\infty$. A model nonlinearity is $f(s)=\alpha s^{p-2}$ with $2<p<\frac{2m}{m-1}$, $\alpha\in\mathbb{R}$. In particular we study the nonlinear Dirac equation \[ D\psi=\lambda\psi+|\psi|^{\frac2{m-1}}\psi, \quad \lambda\in\mathbb{R}. \tag{BND} \] This equation is a spinorial analogue of the Brezis-Nirenberg problem. As corollary of our main results we obtain the existence of least energy solutions $(\lambda,\psi)$ of (BND) and (NLD) for every $\lambda>0$, even if $\lambda$ is an eigenvalue of $D$. For some classes of nonlinearities $f$ we also obtain solutions of (NLD) for every $\lambda\in\mathbb{R}$, except for non-positive eigenvalues. If $m\not\equiv3$ (mod 4) we obtain solutions of (NLD) for every $\lambda\in\mathbb{R}$, except for a finite number of non-positive eigenvalues. In certain parameter ranges we obtain multiple solutions of (NLD) and (BND), some near the trivial branch, others away from it. The proofs of our results are based on variational methods using the strongly indefinite energy functional associated to (NLD).


title: Infinite-Dimensional Supermanifolds via Multilinear Bundles

abstract: In this paper, we provide an accessible introduction to the theory of locally convex supermanifolds in the categorical approach. In this setting, a supermanifold is a functor $\mathcal{M}\colon\mathbf{Gr}\to\mathbf{Man}$ from the category of Grassmann algebras to the category of locally convex manifolds that has certain local models, forming something akin to an atlas. We give a mostly self-contained, concrete definition of supermanifolds along these lines, closing several gaps in the literature on the way. If $\Lambda_n\in\mathbf{Gr}$ is the Grassmann algebra with $n$ generators, we show that $\mathcal{M}_{\Lambda_n}$ has the structure of a so called multilinear bundle over the base manifold $\mathcal{M}_\mathbb{R}$. We use this fact to show that the projective limit $\varprojlim_n\mathcal{M}_{\Lambda_n}$ exists in the category of manifolds. In fact, this gives us a faithful functor $\varprojlim\colon\mathbf{SMan}\to\mathbf{Man}$ from the category of supermanifolds to the category of manifolds. This functor respects products, commutes with the respective tangent functor and retains the respective Hausdorff property. In this way, supermanifolds can be seen as a particular kind of infinite-dimensional fiber bundles.


title: Feature Learning for Fault Detection in High-Dimensional Condition-Monitoring Signals

abstract: Complex industrial systems are continuously monitored by a large number of heterogeneous sensors. The diversity of their operating conditions and the possible fault types make it impossible to collect enough data for learning all the possible fault patterns. The paper proposes an integrated automatic unsupervised feature learning and one-class classification for fault detection that uses data on healthy conditions only for its training. The approach is based on stacked Extreme Learning Machines (namely Hierarchical, or HELM) and comprises an autoencoder, performing unsupervised feature learning, stacked with a one-class classifier monitoring the distance of the test data to the training healthy class, thereby assessing the health of the system. This study provides a comprehensive evaluation of HELM fault detection capability compared to other machine learning approaches, such as stand-alone one-class classifiers (ELM and SVM), these same one-class classifiers combined with traditional dimensionality reduction methods (PCA) and a Deep Belief Network. The performance is first evaluated on a synthetic dataset that encompasses typical characteristics of condition monitoring data. Subsequently, the approach is evaluated on a real case study of a power plant fault. The proposed algorithm for fault detection, combining feature learning with the one-class classifier, demonstrates a better performance, particularly in cases where condition monitoring data contain several non-informative signals.


title: The Study of Ratio Algorithm for Radiographic Imaging with Cosmic-ray Muons

abstract: The paper[1] presented a novel muon radiography technique which exploits the multiple Coulomb scattering of these particles for nondestructive inspection without the use of artificial radiation. In this paper, a new kind algorithm named Ratio Algorithm was proposed for imaging with the test object. The experimentally produced cosmic-ray muons radiographs was reconstructed. The more important, the reconstruction was made using data from only 793 muons.


title: Effects of Image Degradations to CNN-based Image Classification

abstract: Just like many other topics in computer vision, image classification has achieved significant progress recently by using deep-learning neural networks, especially the Convolutional Neural Networks (CNN). Most of the existing works are focused on classifying very clear natural images, evidenced by the widely used image databases such as Caltech-256, PASCAL VOCs and ImageNet. However, in many real applications, the acquired images may contain certain degradations that lead to various kinds of blurring, noise, and distortions. One important and interesting problem is the effect of such degradations to the performance of CNN-based image classification. More specifically, we wonder whether image-classification performance drops with each kind of degradation, whether this drop can be avoided by including degraded images into training, and whether existing computer vision algorithms that attempt to remove such degradations can help improve the image-classification performance. In this paper, we empirically study this problem for four kinds of degraded images -- hazy images, underwater images, motion-blurred images and fish-eye images. For this study, we synthesize a large number of such degraded images by applying respective physical models to the clear natural images and collect a new hazy image dataset from the Internet. We expect this work can draw more interests from the community to study the classification of degraded images.


title: Surface structures of tellurium on Si(111)-(7x7) studied by low-energy electron diffraction and scanning tunneling microscopy

abstract: The Te-covered Si(111) surface has received recent interest as a template for the epitaxy of van der Waals (vdW) materials, e.g. Bi$_2$Te$_3$. Here, we report the formation of a Te buffer layer on Si(111)$-$(7$\times$7) by low-energy electron diffraction (LEED) and scanning tunneling microscopy (STM). While deposition of several monolayer (ML) of Te on the Si(111)$-$(7$\times$7) surface at room temperature results in an amorphous Te layer, increasing the substrate temperature to $770\rm\,K$ results in a weak (7$\times$7) electron diffraction pattern. Scanning tunneling microscopy of this surface shows remaining corner holes from the Si(111)$-$(7$\times$7) surface reconstruction and clusters in the faulted and unfaulted halves of the (7$\times$7) unit cells. Increasing the substrate temperature further to $920\rm\,K$ leads to a Te/Si(111)$-(2\sqrt3\times2\sqrt{3})\rm R30^{\circ}$ surface reconstruction. We find that this surface configuration has an atomically flat structure with threefold symmetry.


title: Is the Web ready for HTTP/2 Server Push?

abstract: HTTP/2 supersedes HTTP/1.1 to tackle the performance challenges of the modern Web. A highly anticipated feature is Server Push, enabling servers to send data without explicit client requests, thus potentially saving time. Although guidelines on how to use Server Push emerged, measurements have shown that it can easily be used in a suboptimal way and hurt instead of improving performance. We thus tackle the question if the current Web can make better use of Server Push. First, we enable real-world websites to be replayed in a testbed to study the effects of different Server Push strategies. Using this, we next revisit proposed guidelines to grasp their performance impact. Finally, based on our results, we propose a novel strategy using an alternative server scheduler that enables to interleave resources. This improves the visual progress for some websites, with minor modifications to the deployment. Still, our results highlight the limits of Server Push: a deep understanding of web engineering is required to make optimal use of it, and not every site will benefit.


title: Semantic subtyping for non-strict languages

abstract: Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, and it is unsound for non-strict semantics. In this work, we study how to adapt this approach to non-strict languages: in particular, we define a type system using semantic subtyping for a functional language with a call-by-need semantics. We do so by introducing an explicit representation for divergence in the types, so that the type system distinguishes expressions that are results from those which are computations that might diverge.


title: Tau Signatures and Characters of Weyl Groups

abstract: Let $G_{\mathbb R}$ be the set of real points of a complex linear reductive group and $\hat G_\lambda$ its classes of irreducible admissible representations with infinitesimal integral regular character $\lambda$. In this case each cell of representations is associated to a \emph{special} nilpotent orbit. This helps organize the corresponding set of irreducible Harish-Chandra modules. The goal of this paper is to is to describe algorithms for identifying the special nilpotent orbit attached to a cell in terms of descent sets appearing in the cell.


title: Rotational Disruption of Dust Grains by Radiative Torques in Strong Radiation Fields

abstract: Massive stars, supernovae, and kilonovae are among the most luminous radiation sources in the universe. Observations usually show near- to mid-infrared (NIR--MIR, $\lambda\sim 1-5~\mu$m) emission excess from H\,{\sc ii} regions around young massive star clusters (YMSCs). Early phase observations in optical to NIR wavelengths of type Ia supernovae also reveal unusual properties of dust extinction and dust polarization. The popular explanation for such NIR-MIR excess and unusual dust properties is the predominance of small grains (size $a\lesssim 0.05~\mu$m) relative to large grains ($a\gtrsim 0.1~\mu$m) in the local environment of these strong radiation sources. The question of why small grains are predominant in these environments remains a mystery. Here we report a new mechanism of dust destruction based on centrifugal stress within extremely fast-rotating grains spun-up by radiative torques, which we term the RAdiative Torque Disruption (RATD) mechanism. We find that RATD can disrupt large grains located within a distance of $\sim 1$ pc from a massive star of luminosity $L\sim 10^{4}L_{\odot}$ or a supernova. This effect increases the abundance of small grains relative to large grains and successfully reproduces the observed NIR-MIR excess and anomalous dust extinction/polarization. We apply the RATD mechanism for kilonovae and find that dust within $\sim$ 0.1 pc would be dominated by small grains. Small grains produced by RATD can also explain the steep far-UV rise in extinction curves toward starburst and high redshift galaxies, and the decrease of the escape fraction of Ly$\alpha$ photons from H\,{\sc ii} regions surrounding YMSCs.


title: Variational Bayesian Monte Carlo

abstract: Many probabilistic models of interest in scientific computing and machine learning have expensive, black-box likelihoods that prevent the application of standard techniques for Bayesian inference, such as MCMC, which would require access to the gradient or a large number of likelihood evaluations. We introduce here a novel sample-efficient inference framework, Variational Bayesian Monte Carlo (VBMC). VBMC combines variational inference with Gaussian-process based, active-sampling Bayesian quadrature, using the latter to efficiently approximate the intractable integral in the variational objective. Our method produces both a nonparametric approximation of the posterior distribution and an approximate lower bound of the model evidence, useful for model selection. We demonstrate VBMC both on several synthetic likelihoods and on a neuronal model with data from real neurons. Across all tested problems and dimensions (up to $D = 10$), VBMC performs consistently well in reconstructing the posterior and the model evidence with a limited budget of likelihood evaluations, unlike other methods that work only in very low dimensions. Our framework shows great promise as a novel tool for posterior and model inference with expensive, black-box likelihoods.


title: Reconstruction of surfaces with ordinary singularities from their silhouettes

abstract: We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus.


title: Strings with Non-Relativistic Conformal Symmetry and Limits of the AdS/CFT Correspondence

abstract: We find a Polyakov-type action for strings moving in a torsional Newton-Cartan geometry. This is obtained by starting with the relativistic Polyakov action and fixing the momentum of the string along a non-compact null isometry. For a flat target space, we show that the world-sheet theory becomes the Gomis-Ooguri action. From a target space perspective these strings are non-relativistic but their world-sheet theories are still relativistic. We show that one can take a scaling limit in which also the world-sheet theory becomes non-relativistic with an infinite-dimensional symmetry algebra given by the Galilean conformal algebra. This scaling limit can be taken in the context of the AdS/CFT correspondence and we show that it is realized by the `Spin Matrix Theory' limits of strings on AdS$_5$ $\times$ $S^5$. Spin Matrix theory arises as non-relativistic limits of the AdS/CFT correspondence close to BPS bounds. The duality between non-relativistic strings and Spin Matrix theory provides a holographic duality of its own and points towards a framework for more tractable holographic dualities whereby non-relativistic strings are dual to near BPS limits of the dual field theory.


title: Optimal Source Codes for Timely Updates

abstract: A transmitter observing a sequence of independent and identically distributed random variables seeks to keep a receiver updated about its latest observations. The receiver need not be apprised about each symbol seen by the transmitter, but needs to output a symbol at each time instant $t$. If at time $t$ the receiver outputs the symbol seen by the transmitter at time $U(t)\leq t$, the age of information at the receiver at time $t$ is $t-U(t)$. We study the design of lossless source codes that enable transmission with minimum average age at the receiver. We show that the asymptotic minimum average age can be attained up to a constant gap by the Shannon codes for a tilted version of the original pmf generating the symbols, which can be computed easily by solving an optimization problem. Furthermore, we exhibit an example with alphabet $\X$ where Shannon codes for the original pmf incur an asymptotic average age of a factor $O(\sqrt{\log |\X|})$ more than that achieved by our codes. Underlying our prescription for optimal codes is a new variational formula for integer moments of random variables, which may be of independent interest. Also, we discuss possible extensions of our formulation to randomized schemes and to the erasure channel, and include a treatment of the related problem of source coding for minimum average queuing delay.


title: On the structure of Kac-Moody algebras

abstract: Let $A$ be a symmetrisable generalised Cartan matrix, and let $\mathfrak g(A)$ be the corresponding Kac-Moody algebra. In this paper, we address the following fundamental question on the structure of $\mathfrak g(A)$: given two homogeneous elements $x,y \in \mathfrak g(A)$, when is their bracket $[x,y]$ a nonzero element? As an application of our results, we give a description of the solvable and nilpotent graded subalgebras of $\mathfrak g(A)$.


title: The Sun's polar magnetic field: datasets, proxies and theoretical issues

abstract: The polar magnetic field of the Sun is a manifestation of certain aspects of the dynamo process and is a good precursor for predicting a sunspot cycle before its onset. Although actual synoptic measurements of this field exist only from the mid-1970s, it has now been possible to determine its evolution from the beginning of the twentieth century with the help of various proxies. The recently developed 3D kinematic dynamo model can study the build-up of the Sun's polar magnetic field more realistically than the earlier surface flux transport model.


title: Bayesian Inference of Self-intention Attributed by Observer

abstract: Most of agents that learn policy for tasks with reinforcement learning (RL) lack the ability to communicate with people, which makes human-agent collaboration challenging. We believe that, in order for RL agents to comprehend utterances from human colleagues, RL agents must infer the mental states that people attribute to them because people sometimes infer an interlocutor's mental states and communicate on the basis of this mental inference. This paper proposes PublicSelf model, which is a model of a person who infers how the person's own behavior appears to their colleagues. We implemented the PublicSelf model for an RL agent in a simulated environment and examined the inference of the model by comparing it with people's judgment. The results showed that the agent's intention that people attributed to the agent's movement was correctly inferred by the model in scenes where people could find certain intentionality from the agent's behavior.


title: Winter long duration stratospheric balloons from Polar regions

abstract: A new opportunity for astronomy, cosmology, physics, and atmospheric observations is the possibility to fly stratospheric payloads at 30 - 40 km of altitude during the polar night. The absence of solar irradiation for long periods, and the extremely low temperature and stable environment of the winter stratosphere represent ideal environmental conditions while performing astrophysical observations. Here we present a small and efficient platform, able to communicate, supply power and navigate in the harsh environment of the polar stratosphere. After a balloon failure in January 2017, the payload was successfully flown in December 2017 from 78$^\circ$N, in Longyearbyen, Svalbard, Norway. Duration was limited to 21 hr, due to a southern trajectory that caused solar illumination and loss of lift. The instrument acquired and transmitted environmental data, and the thermal performance of the power system are outstanding. The payload also included a set of attitude sensors, to monitor payload movements. The information collected on this flight is essential to qualify the attitude control system sensors, and for the design if the thermal and power system of the next generation LSPE-SWIPE telescope, devoted to the measurement of the polarization of the Cosmic Microwave Background radiation from a stratospheric balloon during the Arctic polar night.


title: Edge states in trimer lattices

abstract: Topological phases of matter have attracted much attention over the years. Motivated by analogy with photonic lattices, here we examine the edge states of a one-dimensional trimer lattice in the phases with and without inversion symmetry protection. In contrast to the Su-Schrieffer-Heeger model, we show that the edge states in the inversion-symmetry broken phase of the trimer model turn out to be chiral, i.e., instead of appearing in pairs localized at opposite edges they can appear at a $\textit{single}$ edge. Interestingly, these chiral edge states remain robust to large amounts of disorder. In addition, we use the Zak phase to characterize the emergence of degenerate edge states in the inversion-symmetric phase of the trimer model. Furthermore, we capture the essentials of the whole family of trimers through a mapping onto the commensurate off-diagonal Aubry-Andr\'e-Harper model, which allow us to establish a direct connection between chiral edge modes in the two models, including the calculation of Chern numbers. We thus suggest that the chiral edge modes of the trimer lattice have a topological origin inherited from this effective mapping. Also, we find a nontrivial connection between the topological phase transition point in the trimer lattice and the one in its associated two-dimensional parent system, in agreement with results in the context of Thouless pumping in photonic lattices.


title: Grand Challenge: Real-time Destination and ETA Prediction for Maritime Traffic

abstract: In this paper, we present our approach for solving the DEBS Grand Challenge 2018. The challenge asks to provide a prediction for (i) a destination and the (ii) arrival time of ships in a streaming-fashion using Geo-spatial data in the maritime context. Novel aspects of our approach include the use of ensemble learning based on Random Forest, Gradient Boosting Decision Trees (GBDT), XGBoost Trees and Extremely Randomized Trees (ERT) in order to provide a prediction for a destination while for the arrival time, we propose the use of Feed-forward Neural Networks. In our evaluation, we were able to achieve an accuracy of 97% for the port destination classification problem and 90% (in mins) for the ETA prediction.


title: Taming Polar Active Matter with Moving Substrates: Directed Transport and Counterpropagating Macrobands

abstract: Following the goal of using active particles as targeted cargo carriers aimed, for example, to deliver drugs towards cancer cells, the quest for the control of individual active particles with external fields is among the most explored topics in active matter. Here, we provide a scheme allowing to control collective behaviour in active matter, focusing on the fluctuating band patterns naturally occurring e.g. in the Vicsek model. We show that exposing these patterns to a travelling wave potential tames them, yet in a remarkably nontrivial way: the bands, which initially pin to the potential and comove with it, upon subsequent collisions, self-organize into a macroband, featuring a predictable transport against the direction of motion of the travelling potential. Our results provide a route to simultaneously control transport and structure, i.e. micro- versus macrophase separation, in polar active matter.


title: Solving the PCAC puzzle for nucleon axial and pseudoscalar form factors

abstract: It has been observed in multiple lattice determinations of isovector axial and pseudoscalar nucleon form factors, that, despite the fact that the partial conservation of the axialvector current is fulfilled on the level of correlation functions, the corresponding relation for form factors (sometimes called the generalized Goldberger-Treiman relation in the literature) is broken rather badly. In this work we trace this difference back to excited state contributions and propose a new projection method that resolves this problem. We demonstrate the efficacy of this method by computing the axial and pseudoscalar form factors as well as related quantities on ensembles with two flavors of improved Wilson fermions using pion masses down to 150 MeV. To this end, we perform the $z$-expansion with analytically enforced asymptotic behaviour and extrapolate to the physical point.


title: Characterization and extraction of condensed representation of correlated patterns based on formal concept analysis

abstract: Correlated pattern mining has increasingly become an important task in data mining since these patterns allow conveying knowledge about meaningful and surprising relations among data. Frequent correlated patterns were thoroughly studied in the literature. In this thesis, we propose to benefit from both frequent correlated as well as rare correlated patterns according to the bond correlation measure. We propose to extract a subset without information loss of the sets of frequent correlated and of rare correlated patterns, this subset is called ``Condensed Representation``. In this regard, we are based on the notions derived from the Formal Concept Analysis FCA, specifically the equivalence classes associated to a closure operator fbond dedicated to the bond measure, to introduce new concise representations of both frequent correlated and rare correlated patterns.


title: Facility Locations Utility for Uncovering Classifier Overconfidence

abstract: Assessing the predictive accuracy of black box classifiers is challenging in the absence of labeled test datasets. In these scenarios we may need to rely on a human oracle to evaluate individual predictions; presenting the challenge to create query algorithms to guide the search for points that provide the most information about the classifier's predictive characteristics. Previous works have focused on developing utility models and query algorithms for discovering unknown unknowns --- misclassifications with a predictive confidence above some arbitrary threshold. However, if misclassifications occur at the rate reflected by the confidence values, then these search methods reveal nothing more than a proper assessment of predictive certainty. We are unable to properly mitigate the risks associated with model deficiency when the model's confidence in prediction exceeds the actual model accuracy. We propose a facility locations utility model and corresponding greedy query algorithm that instead searches for overconfident unknown unknowns. Through robust empirical experiments we demonstrate that the greedy query algorithm with the facility locations utility model consistently results in oracle queries with superior performance in discovering overconfident unknown unknowns than previous methods.


title: Discursive Landscapes and Unsupervised Topic Modeling in IR: A Validation of Text-As-Data Approaches through a New Corpus of UN Security Council Speeches on Afghanistan

abstract: The recent turn towards quantitative text-as-data approaches in IR brought new ways to study the discursive landscape of world politics. Here seen as complementary to qualitative approaches, quantitative assessments have the advantage of being able to order and make comprehensible vast amounts of text. However, the validity of unsupervised methods applied to the types of text available in large quantities needs to be established before they can speak to other studies relying on text and discourse as data. In this paper, we introduce a new text corpus of United Nations Security Council (UNSC) speeches on Afghanistan between 2001 and 2017; we study this corpus through unsupervised topic modeling (LDA) with the central aim to validate the topic categories that the LDA identifies; and we discuss the added value, and complementarity, of quantitative text-as-data approaches. We set-up two tests using mixed- method approaches. Firstly, we evaluate the identified topics by assessing whether they conform with previous qualitative work on the development of the situation in Afghanistan. Secondly, we use network analysis to study the underlying social structures of what we will call 'speaker-topic relations' to see whether they correspondent to know divisions and coalitions in the UNSC. In both cases we find that the unsupervised LDA indeed provides valid and valuable outputs. In addition, the mixed-method approaches themselves reveal interesting patterns deserving future qualitative research. Amongst these are the coalition and dynamics around the 'women and human rights' topic as part of the UNSC debates on Afghanistan.


title: Absorptive effects and power corrections in low $x$ DGLAP evolution

abstract: We address a long standing problem concerning the scale behaviour of parton densities in the low $x$, low $Q^2$ domain. We emphasize the important role of absorptive corrections at low $x$ and use knowledge of diffractive deep inelastic scattering to exclude the absorptive effect from conventional deep inelastic data. In this way we obtain a significantly different low $x$ behaviour of the gluon density, which is now much better described by linear DGLAP evolution. Accounting also for a second power correction, which arises from the freezing of $\alpha_s$ at low $Q^2$, leads to an essentially flat behaviour of the low $x$ gluon density.


title: Multistationarity in Structured Reaction Networks

abstract: Many dynamical systems arising in biology and other areas exhibit multistationarity (two or more positive steady states with the same conserved quantities). Although deciding multistationarity for a polynomial dynamical system is an effective question in real algebraic geometry, it is in general difficult to determine whether a given network can give rise to a multistationary system, and if so, to identify witnesses to multistationarity, that is, specific parameter values for which the system exhibits multiple steady states. Here we investigate both problems. First, we build on work of Conradi, Feliu, Mincheva, and Wiuf, who showed that for certain reaction networks whose steady states admit a positive parametrization, multistationarity is characterized by whether a certain "critical function" changes sign. Here, we allow for more general parametrizations, which make it much easier to determine the existence of a sign change. This is particularly simple when the steady-state equations are linearly equivalent to binomials; we give necessary conditions for this to happen, which hold for many networks studied in the literature. We also give a sufficient condition for multistationarity of networks whose steady-state equations can be replaced by equivalent triangular-form equations. Finally, we present methods for finding witnesses to multistationarity, which we show work well for certain structured reaction networks, including those common to biological signaling pathways. Our work relies on results from degree theory, on the existence of explicit rational parametrizations of the steady states, and on the specialization of Groebner bases.


title: Joining and decomposing reaction networks

abstract: In systems and synthetic biology, much research has focused on the behavior and design of single pathways, while, more recently, experimental efforts have focused on how cross-talk (coupling two or more pathways) or inhibiting molecular function (isolating one part of the pathway) affects systems-level behavior. However, the theory for tackling these larger systems in general has lagged behind. Here, we analyze how joining networks (e.g., cross-talk) or decomposing networks (e.g., inhibition or knock-outs) affects three properties that reaction networks may possess---identifiability (recoverability of parameter values from data), steady-state invariants (relationships among species concentrations at steady state, used in model selection), and multistationarity (capacity for multiple steady states, which correspond to multiple cell decisions). Specifically, we prove results that clarify, for a network obtained by joining two smaller networks, how properties of the smaller networks can be inferred from or can imply similar properties of the original network. Our proofs use techniques from computational algebraic geometry, including elimination theory and differential algebra.


title: Opening the energy window on direct dark matter detection

abstract: In this article we investigate the benefits of increasing the maximum nuclear recoil energy analysed in dark matter (DM) direct detection experiments. We focus on elastic DM-nucleus interactions, and work within the framework of effective field theory (EFT) to describe the scattering cross section. In agreement with previous literature, we show that an increased maximum energy leads to more stringent upper bounds on the DM-nucleus cross section for the EFT operators, especially those with an explicit momentum dependence. In this article we extend the energy region of interest (ROI) to show that the optimal values of the maximum energy for xenon and argon are of the order of 500 keV and 300 keV, respectively. We then show how, if a signal compatible with DM is observed, an enlarged energy ROI leads to a better measurement of the DM mass and couplings. In particular, for a xenon detector, DM masses of the order of 200 GeV (2 TeV) or lower can be reconstructed for momentum-independent (-dependent) operators. We also investigate three-dimensional parameter reconstruction and apply it to the specific case of scalar DM and anapole DM. We find that opening the energy ROI is an excellent way to identify the linear combination of momentum-dependent and momentum-independent operators, and it is crucial to correctly distinguish these models. Finally, we show how an enlarged energy ROI also allows us to test astrophysical parameters of the DM halo, such as the DM escape speed.


title: Active microrheology in corrugated channels

abstract: We analyze the dynamics of a tracer particle embedded in a bath of hard spheres confined in a channel of varying section. By means of Brownian dynamics simulations we apply a constant force on the tracer particle and discuss the dependence of its mobility on the relative magnitude of the external force with respect to the entropic force induced by the confinement. A simple theoretical one-dimensional model is also derived, where the contribution from particle-particle and particle-wall interactions is taken from simulations with no external force. Our results show that the mobility of the tracer is strongly affected by the confinement. The tracer velocity in the force direction has a maximum close to the neck of the channel, in agreement with the theory for small forces. Upon increasing the external force, the tracer is effectively confined to the central part of the channel and the velocity modulation decreases, what cannot be reproduced by the theory. This deviation marks the regime of validity of linear response. Surprisingly, when the channel section is not constant the effective friction coefficient is reduced as compared to the case of a plane channel. The transversal velocity, which cannot be studied with our model, follows the qualitatively the derivative of the channel section, in agreement previous theoretical calculations for the tracer diffusivity in equilibrium.


title: Thermal Processes and State Achievability

abstract: A complete characterization of the set of states that can be achieved through Thermal Processes (TP) is given by describing all vertices, edges and facets of the allowed set of states in the language of thermomajorization curves. TPs are linked to transportation matrices, which leads to the existance of extremal TPs that are not required in implemenation of any transition allowed by TPs, for every dimension $d\geq 4$ of the state space. A property of the associated graphs, biplanarity, which differentiates between these extremal TPs and the necessary ones, is identified.


title: Potential of electrostatic micro wind turbines

abstract: This paper presents the physical operating principles of several micro wind turbines based on different aerodynamic forces: drag-type Vertical Axis Wind Turbine (VAWT) and lift-type Horizontal Axis Wind Turbine (HAWT). All these devices share the similarity of exploiting the same mechanical-to-electrical conversion: the electrostatic conversion. This type of conversion is based on capacitance variations induced by the motion between a rotor and a stator and requires a source of polarization. We will focus our study on two technologies to polarize the capacitive structure: the use of electrets and the exploitation of triboelectricity. Some experiments conducted in a low-speed wind tunnel between 0 and 20m.s-1 have highlighted power flux densities from 0 to 150{\mu}W.cm-2 corresponding to power coefficients of 0 and 9% respectively. Among these results, we can especially retain an ultralow speed operation, which has never been reached until now, in terms of speed and efficiency (9% of efficiency at 1m.s-1). Finally, we will end up comparing different types of circuits to supply a temperature/acceleration sensor, in order to complete the energy harvesting chain.


title: Strong Structural Controllability of Systems on Colored Graphs

abstract: This paper deals with structural controllability of leader-follower networks. The system matrix defining the network dynamics is a pattern matrix in which a priori given entries are equal to zero, while the remaining entries take nonzero values. The network is called strongly structurally controllable if for all choices of real values for the nonzero entries in the pattern matrix, the system is controllable in the classical sense. In this paper we introduce a more general notion of strong structural controllability which deals with the situation that given nonzero entries in the system's pattern matrix are constrained to take identical nonzero values. The constraint of identical nonzero entries can be caused by symmetry considerations or physical constraints on the network. The aim of this paper is to establish graph theoretic conditions for this more general property of strong structural controllability.


title: Wetting of ferrofluids: phenomena and control

abstract: Ferrofluids are liquids exhibiting remarkably strong response to magnetic fields, which leads to fascinating properties useful in various applications. Understanding the wetting properties and spreading of ferrofluids is important for their use in microfluidics and magnetic actuation. However, this is challenging as magnetically induced deformation of the ferrofluid surface can affect contact angles, which are commonly used to characterize wetting properties in other systems. In addition, interaction of the magnetic nanoparticles and solid surface at nanoscale can have surprising effects on ferrofluid spreading. In this review we discuss these issues with focus on interpretation of ferrofluid contact angles. We review recent literature examining ferrofluid wetting phenomena and outline novel wetting related ferrofluid applications. To better understand wetting of ferrofluids, more careful experimental work is needed.


title: Applying quantum algorithms to constraint satisfaction problems

abstract: Quantum algorithms can deliver asymptotic speedups over their classical counterparts. However, there are few cases where a substantial quantum speedup has been worked out in detail for reasonably-sized problems, when compared with the best classical algorithms and taking into account realistic hardware parameters and overheads for fault-tolerance. All known examples of such speedups correspond to problems related to simulation of quantum systems and cryptography. Here we apply general-purpose quantum algorithms for solving constraint satisfaction problems to two families of prototypical NP-complete problems: boolean satisfiability and graph colouring. We consider two quantum approaches: Grover's algorithm and a quantum algorithm for accelerating backtracking algorithms. We compare the performance of optimised versions of these algorithms, when applied to random problem instances, against leading classical algorithms. Even when considering only problem instances that can be solved within one day, we find that there are potentially large quantum speedups available. In the most optimistic parameter regime we consider, this could be a factor of over $10^5$ relative to a classical desktop computer; in the least optimistic regime, the speedup is reduced to a factor of over $10^3$. However, the number of physical qubits used is extremely large, and improved fault-tolerance methods will likely be needed to make these results practical. In particular, the quantum advantage disappears if one includes the cost of the classical processing power required to perform decoding of the surface code using current techniques.


title: Thermodynamic length in open quantum systems

abstract: The dissipation generated during a quasistatic thermodynamic process can be characterised by introducing a metric on the space of Gibbs states, in such a way that minimally-dissipating protocols correspond to geodesic trajectories. Here, we show how to generalize this approach to open quantum systems by finding the thermodynamic metric associated to a given Lindblad master equation. The obtained metric can be understood as a perturbation over the background geometry of equilibrium Gibbs states, which is induced by the Kubo-Mori-Bogoliubov (KMB) inner product. We illustrate this construction on two paradigmatic examples: an Ising chain and a two-level system interacting with a bosonic bath with different spectral densities.


title: Non-adiabatic mass-correction functions and rovibrational states of $^4$He$_2^+$ ($X\ ^2\Sigma_\text{u}^+$)

abstract: The mass-correction functions in the second-order non-adiabatic Hamiltonian are computed for the $^4$He$^+_2$ molecular ion using the variational method, floating explicitly correlated Gaussian functions, and a general coordinate-transformation formalism. When non-adiabatic rovibrational energy levels are computed using these (coordinate-dependent) mass-correction functions and a highly accurate potential energy and diagonal Born-Oppenheimer correction curve, significantly improved theoretical results are obtained for the nine rotational and two rovibrational intervals known from high-resolution spectroscopy experiments.


title: An introduction to Bootstrap for nuclear physics

abstract: This guide aims at providing a general introduction to bootstrap methods. By using simple examples taken from nuclear physics, I discuss how such a method can be used to quantify error bars of an estimator. I also investigate the use of bootstrap to estimate parameters of a simple liquid drop model. In particular, I investigate how the method compares with standard techniques based on likelihood estimator and how to take into account correlations to better evaluate confidence interval of parameters.


title: Machine learning forces trained by Gaussian process in liquid states: Transferability to temperature and pressure

abstract: We study a generalization performance of the machine learning (ML) model to predict the atomic forces within the density functional theory (DFT). The targets are the Si and Ge single component systems in the liquid state. To train the machine learning model, Gaussian process regression is performed with the atomic fingerprints which express the local structure around the target atom. The training and test data are generated by the molecular dynamics (MD) based on DFT. We first report the accuracy of ML forces when both test and training data are generated from the DFT-MD simulations at a same temperature. By comparing the accuracy of ML forces at various temperatures, it is found that the accuracy becomes the lowest around the phase boundary between the solid and the liquid states. Furthermore, we investigate the transferability of ML models trained in the liquid state to temperature and pressure. We demonstrate that, if the training is performed at a high temperature and if the volume change is not so large, the transferability of ML forces in the liquid state is high enough, while its transferability to the solid state is very low.


title: A Survey and Critique of Multiagent Deep Reinforcement Learning

abstract: Deep reinforcement learning (RL) has achieved outstanding results in recent years. This has led to a dramatic increase in the number of applications and methods. Recent works have explored learning beyond single-agent scenarios and have considered multiagent learning (MAL) scenarios. Initial results report successes in complex multiagent domains, although there are several challenges to be addressed. The primary goal of this article is to provide a clear overview of current multiagent deep reinforcement learning (MDRL) literature. Additionally, we complement the overview with a broader analysis: (i) we revisit previous key components, originally presented in MAL and RL, and highlight how they have been adapted to multiagent deep reinforcement learning settings. (ii) We provide general guidelines to new practitioners in the area: describing lessons learned from MDRL works, pointing to recent benchmarks, and outlining open avenues of research. (iii) We take a more critical tone raising practical challenges of MDRL (e.g., implementation and computational demands). We expect this article will help unify and motivate future research to take advantage of the abundant literature that exists (e.g., RL and MAL) in a joint effort to promote fruitful research in the multiagent community.


title: Entanglement detection by violations of noisy uncertainty relations: A proof of principle

abstract: It is well-known that the violation of a local uncertainty relation can be used as an indicator for the presence of entanglement. Unfortunately, the practical use of these non-linear witnesses has been limited to few special cases in the past. However, new methods for computing uncertainty bounds became available. Here we report on an experimental implementation of uncertainty-based entanglement witnesses, benchmarked in a regime dominated by strong local noise. We combine the new computational method with a local noise tomography in order to design noise-adapted entanglement witnesses. This proof-of-principle experiment shows that quantum noise can be successfully handled by a fully quantum model in order to enhance entanglement detection efficiencies.


title: A spectral sequence for spaces of maps between operads

abstract: We construct a tower of fibrations approximating the derived mapping space between two simplicially enriched operads subject to mild conditions. The n-th stage of the tower is obtained by neglecting operations with more than n inputs. The main theorem describes the layers of this tower.


title: Chromatic Polynomials of Oriented Graphs

abstract: The oriented chromatic polynomial of a oriented graph outputs the number of oriented $k$-colourings for any input $k$. We fully classify those oriented graphs for which the oriented graph has the same chromatic polynomial as the underlying simple graph, closing an open problem posed by Sopena. We find that such oriented graphs can be both identified and constructed in polynomial time as they are exactly the family of quasi-transitive oriented co-interval graphs. We study the analytic properties of this polynomial and show that there exist oriented graphs which have chromatic polynomials have roots, including negative real roots, that cannot be realized as the root of any chromatic polynomial of a simple graph.


title: PointGrow: Autoregressively Learned Point Cloud Generation with Self-Attention

abstract: Generating 3D point clouds is challenging yet highly desired. This work presents a novel autoregressive model, PointGrow, which can generate diverse and realistic point cloud samples from scratch or conditioned on semantic contexts. This model operates recurrently, with each point sampled according to a conditional distribution given its previously-generated points, allowing inter-point correlations to be well-exploited and 3D shape generative processes to be better interpreted. Since point cloud object shapes are typically encoded by long-range dependencies, we augment our model with dedicated self-attention modules to capture such relations. Extensive evaluations show that PointGrow achieves satisfying performance on both unconditional and conditional point cloud generation tasks, with respect to realism and diversity. Several important applications, such as unsupervised feature learning and shape arithmetic operations, are also demonstrated.


title: Uniform Lipschitz functions on the triangular lattice have logarithmic variations

abstract: Uniform integer-valued Lipschitz functions on a domain of size $N$ of the triangular lattice are shown to have variations of order $\sqrt{\log N}$. The level lines of such functions form a loop $O(2)$ model on the edges of the hexagonal lattice with edge-weight one. An infinite-volume Gibbs measure for the loop O(2) model is constructed as a thermodynamic limit and is shown to be unique. It contains only finite loops and has properties indicative of scale-invariance: macroscopic loops appearing at every scale. The existence of the infinite-volume measure carries over to height functions pinned at the origin; the uniqueness of the Gibbs measure does not. The proof is based on a representation of the loop $O(2)$ model via a pair of spin configurations that are shown to satisfy the FKG inequality. We prove RSW-type estimates for a certain connectivity notion in the aforementioned spin model.


title: Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case Study

abstract: This paper presents a technology for simple and computationally efficient improvements of a generic Artificial Intelligence (AI) system, including Multilayer and Deep Learning neural networks. The improvements are, in essence, small network ensembles constructed on top of the existing AI architectures. Theoretical foundations of the technology are based on Stochastic Separation Theorems and the ideas of the concentration of measure. We show that, subject to mild technical assumptions on statistical properties of internal signals in the original AI system, the technology enables instantaneous and computationally efficient removal of spurious and systematic errors with probability close to one on the datasets which are exponentially large in dimension. The method is illustrated with numerical examples and a case study of ten digits recognition from American Sign Language.


title: Multivariate Myriad Filters based on Parameter Estimation of Student-$t$ Distributions

abstract: The contribution of this study is twofold: First, we propose an efficient algorithm for the computation of the (weighted) maximum likelihood estimators for the parameters of the multivariate Student-$t$ distribution, which we call generalized multivariate myriad filter. Second, we use the generalized multivariate myriad filter in a nonlocal framework for the denoising of images corrupted by different kinds of noise. The resulting method is very flexible and can handle heavy-tailed noise such as Cauchy noise, as well as the other extreme, namely Gaussian noise. Furthermore, we detail how the limiting case $\nu \rightarrow 0$ of the projected normal distribution in two dimensions can be used for the robust denoising of periodic data, in particular for images with circular data corrupted by wrapped Cauchy noise.


title: Probing Multicomponent Extension of Inert Doublet Model with a Vector Dark Matter

abstract: Although theoretically well-motivated as a minimal consistent Dark Matter (DM) model, the Inert Doublet Model (IDM) fell short in explaining the existence of DM in the intermediate mass region ($100-500$ GeV). We try to address this problem by introducing an additional vector dark matter. We show that the relic density of inert dark matter candidate can be enhanced significantly with new interactions in the intermediate mass region $100-500$ GeV in the multicomponent dark matter model when compared with the usual single component inert doublet model. We also show that we can get a reasonable excess in the $\ /\!\!\! E_T$ distribution if we do not apply a very hard $\ /\!\!\! E_T$ cut on it as is customary in any dark matter search at the LHC.


title: Custom Dual Transportation Mode Detection by Smartphone Devices Exploiting Sensor Diversity

abstract: Making applications aware of the mobility experienced by the user can open the door to a wide range of novel services in different use-cases, from smart parking to vehicular traffic monitoring. In the literature, there are many different studies demonstrating the theoretical possibility of performing Transportation Mode Detection (TMD) by mining smart-phones embedded sensors data. However, very few of them provide details on the benchmarking process and on how to implement the detection process in practice. In this study, we provide guidelines and fundamental results that can be useful for both researcher and practitioners aiming at implementing a working TMD system. These guidelines consist of three main contributions. First, we detail the construction of a training dataset, gathered by heterogeneous users and including five different transportation modes; the dataset is made available to the research community as reference benchmark. Second, we provide an in-depth analysis of the sensor-relevance for the case of Dual TDM, which is required by most of mobility-aware applications. Third, we investigate the possibility to perform TMD of unknown users/instances not present in the training set and we compare with state-of-the-art Android APIs for activity recognition.


title: Learning Grid Cells as Vector Representation of Self-Position Coupled with Matrix Representation of Self-Motion

abstract: This paper proposes a representational model for grid cells. In this model, the 2D self-position of the agent is represented by a high-dimensional vector, and the 2D self-motion or displacement of the agent is represented by a matrix that transforms the vector. Each component of the vector is a unit or a cell. The model consists of the following three sub-models. (1) Vector-matrix multiplication. The movement from the current position to the next position is modeled by matrix-vector multiplication, i.e., the vector of the next position is obtained by multiplying the matrix of the motion to the vector of the current position. (2) Magnified local isometry. The angle between two nearby vectors equals the Euclidean distance between the two corresponding positions multiplied by a magnifying factor. (3) Global adjacency kernel. The inner product between two vectors measures the adjacency between the two corresponding positions, which is defined by a kernel function of the Euclidean distance between the two positions. Our representational model has explicit algebra and geometry. It can learn hexagon patterns of grid cells, and it is capable of error correction, path integral and path planning.


title: Tuning Fairness by Balancing Target Labels

abstract: The issue of fairness in machine learning models has recently attracted a lot of attention as ensuring it will ensure continued confidence of the general public in the deployment of machine learning systems. We focus on mitigating the harm incurred by a biased machine learning system that offers better outputs (e.g. loans, job interviews) for certain groups than for others. We show that bias in the output can naturally be controlled in probabilistic models by introducing a latent target output. This formulation has several advantages: first, it is a unified framework for several notions of group fairness such as Demographic Parity and Equality of Opportunity; second, it is expressed as a marginalisation instead of a constrained problem; and third, it allows the encoding of our knowledge of what unbiased outputs should be. Practically, the second allows us to avoid unstable constrained optimisation procedures and to reuse off-the-shelf toolboxes. The latter translates to the ability to control the level of fairness by directly varying fairness target rates. In contrast, existing approaches rely on intermediate, arguably unintuitive, control parameters such as covariance thresholds.


title: Sound of Interfacial Flows: Unraveling the Forces Shaping Fast Capillary Flows using their Acoustic Signature

abstract: Many familiar events feature a distinctive sound: paper crumpling or tearing, squeaking doors, drumming rain or boiling water. Such characteristic sounds actually carry a profusion of informations about the fleeting physical processes at the root of acoustic emission, which appears appealing especially in situations precluding direct or in-situ measurements, such as e.g. the rupture of micron-thick liquid sheet. Here we report on such a link between fast interfacial hydrodynamics and sound. The acoustic emission of a bursting soap bubble is captured by means of antennae and deciphered with the conceptual framework of aeroacoustics. This reveals that capillary forces, thin-film hydrodynamics, but also out-of-equilibrium surfactants dynamics all shape the capillary burst sound. Whereas ultra-fast imagery only captures the shapes of flows, the acoustic signature radiated by hydrodynamical forces offers a timely complement for it allows a direct experimental access to these dynamical quantities.


title: Compact NUMA-Aware Locks

abstract: Modern multi-socket architectures exhibit non-uniform memory access (NUMA) behavior, where access by a core to data cached locally on a socket is much faster than access to data cached on a remote socket. Prior work offers several efficient NUMA-aware locks that exploit this behavior by keeping the lock ownership on the same socket, thus reducing remote cache misses and inter-socket communication. Virtually all those locks, however, are hierarchical in their nature, thus requiring space proportional to the number of sockets. The increased memory cost renders NUMA-aware locks unsuitable for systems that are conscious to space requirements of their synchronization constructs, with the Linux kernel being the chief example. In this work, we present a compact NUMA-aware lock that requires only one word of memory, regardless of the number of sockets in the underlying machine. The new lock is a variant of an efficient (NUMA-oblivious) MCS lock, and inherits its performant features, such as local spinning and a single atomic instruction in the acquisition path. Unlike MCS, the new lock organizes waiting threads in two queues, one composed of threads running on the same socket as the current lock holder, and another composed of threads running on a different socket(s). We integrated the new lock in the Linux kernel's qspinlock, one of the major synchronization constructs in the kernel. Our evaluation using both user-space and kernel benchmarks shows that the new lock has a single-thread performance of MCS, but significantly outperforms the latter under contention, achieving a similar level of performance when compared to other, state-of-the-art NUMA-aware locks that require substantially more space.


title: Eigenfunctions and Random Waves in the Benjamini-Schramm limit

abstract: We investigate the asymptotic behavior of eigenfunctions of the Laplacian on Riemannian manifolds. We show that Benjamini-Schramm convergence provides a unified language for the level and eigenvalue aspects of the theory. As a result, we present a mathematically precise formulation of Berry's conjecture for a compact negatively curved manifold and formulate a Berry-type conjecture for sequences of locally symmetric spaces. We prove some weak versions of these conjectures. Using ergodic theory, we also analyze the connections of these conjectures to Quantum Unique Ergodicity.


title: Perfectly Secure Communication, based on Graph-Topological Addressing in Unique-Neighborhood Networks

abstract: We consider network graphs $G=(V,E)$ in which adjacent nodes share common secrets. In this setting, certain techniques for perfect end-to-end security (in the sense of confidentiality, authenticity (implying integrity) and availability, i.e., CIA+) can be made applicable without end-to-end shared secrets and without computational intractability assumptions. To this end, we introduce and study the concept of a unique-neighborhood network, in which nodes are uniquely identifiable upon their graph-topological neighborhood. While the concept is motivated by authentication, it may enjoy wider applicability as being a technology-agnostic (yet topology aware) form of addressing nodes in a network.


title: Investigating the Power of Circuits with $MOD_6$ Gates

abstract: We consider the power of Boolean circuits with MOD$_{6}$ gates. First, we introduce a few basic notions of computational complexity, and describe the standard models with which we study the complexity of problems. We then define the model of Boolean circuits, equate a restricted class of circuits with an algebraic model, and present some results from working with this algebra.


title: Bioriented flags and resolutions of Schubert varieties

abstract: We use incidence relations running in two directions in order to construct a Kempf-Laksov type resolution for any Schubert variety of the complete flag manifold but also an embedded resolution for any Schubert variety in the Grassmannian. These constructions are alternatives to the celebrated Bott-Samelson resolutions. The second process led to the introduction of W-flag varieties, algebro-geometric objects that interpolate between the standard flag manifolds and products of Grassmannians, but which are singular in general. The surprising simple desingularization of a particular such type of variety produces an embedded resolution of the Schubert variety within the Grassmannian.


title: The reflexivity of hyperexpansions and their Cauchy dual operators

abstract: We discuss the reflexivity of hyperexpansions and their Cauchy dual operators. In particular, we show that any cyclic completely hyperexpansive operator is reflexive. We also establish the reflexivity of the Cauchy dual of an arbitrary $2$-hyperexpansive operator. As a consequence, we deduce the reflexivity of the so-called Bergman-type operator, that is, a left-invertible operator $T$ satisfying the inequality $TT^* + (T^*T)^{-1} \leqslant 2 I_{\mathcal H}.$


title: Neutrino Charge Radii from COHERENT Elastic Neutrino-Nucleus Scattering

abstract: Coherent elastic neutrino-nucleus scattering is a powerful probe of neutrino properties, in particular of the neutrino charge radii. We present the bounds on the neutrino charge radii obtained from the analysis of the data of the COHERENT experiment. We show that the time information of the COHERENT data allows us to restrict the allowed ranges of the neutrino charge radii. We also obtained for the first time bounds on the neutrino transition charge radii, which are quantities beyond the Standard Model.


title: Unique equilibrium states for some intermediate beta transformations

abstract: We prove uniqueness of equilibrium states for subshifts corresponding to intermediate beta transformations with $\beta > 2$ having the property that the orbit of 0 is bounded away from 1.


title: Limits of conformal images and conformal images of limits for planar random curves

abstract: We address the scaling limits of random curves arising from, e.g., planar lattice models, especially in rough domains. The well-known precompactness conditions of Kemppainen and Smirnov show that certain crossing probability estimates guarantee the subsequential weak convergence of the random curves in the topology of unparametrized curves, as well as in a topology inherited from the unit disc via conformal maps. We complement this result by proving that proceeding to weak limit commutes with changing topology, i.e., limits of conformal images are conformal images of limits, with minimal boundary regularity assumptions on the domains where the random curves lie. Such rough boundaries are especially interesting if, in the context of multiple random curves, a limit candidate is defined in terms of iterated SLE type processes with $\kappa \in (4, 8)$, and one hence needs to study (boundary-touching) curves in domains slit by other random curves.


title: Harvesting of interacting stochastic populations

abstract: We analyze the optimal harvesting problem for an ecosystem of species that experience environmental stochasticity. Our work generalizes the current literature significantly by taking into account non-linear interactions between species, state-dependent prices, and species injections. The key generalization is making it possible to not only harvest, but also `seed' individuals into the ecosystem. This is motivated by how fisheries and certain endangered species are controlled. The harvesting problem becomes finding the optimal harvesting-seeding strategy that maximizes the expected total income from the harvest minus the lost income from the species injections. Our analysis shows that new phenomena emerge due to the possibility of species injections. It is well-known that multidimensional harvesting problems are very hard to tackle. We are able to make progress, by characterizing the value function as a viscosity solution of the associated Hamilton-Jacobi-Bellman (HJB) equations. Moreover, we provide a verification theorem, which tells us that if a function has certain properties, then it will be the value function. This allows us to show heuristically, as was shown in Lungu and $\O$ksendal (Bernoulli '01), that it is almost surely never optimal to harvest or seed from more than one population at a time. We approximate the continuous-time systems by Markov chains and show that the optimal harvesting-seeding strategies of the Markov chain approximations converge to the correct optimal harvesting strategy. This is used to provide numerical approximations to the optimal harvesting-seeding strategies and is a first step towards a full understanding of the intricacies of how one should harvest and seed interacting species. In particular, we look at three examples: one species modeled by a Verhulst-Pearl diffusion, two competing species and a two-species predator-prey system.