title: Simulation and optimal control of heating and cooling systems: a case study of a commercial building

abstract: In this paper, an energy conservation measure that optimizes the planning of heating and cooling systems for tertiary sector buildings is proposed. It consists of a model-based predictive control approach that employs a grey-box model built from the building data history and from weather condition data that predicts the building heat load and indoor temperature. This model is then used by heating and cooling optimization strategies that aim at reducing the total energy consumption of the building in the next day while satisfying the desired indoor thermal comfort constraint. The proposed optimization strategies do not modify the regulation mode in place; rather, they send optimized set-points to the building management system in order to reduce the energy consumption. We applied our approach in a case study of a commercial building during heating and cooling seasons and we show that it was able to yield up to 12% of energy savings while having a mean power forecast error of 8%.


title: Complex networks based word embeddings

abstract: Most of the time, the first step to learn word embeddings is to build a word co-occurrence matrix. As such matrices are equivalent to graphs, complex networks theory can naturally be used to deal with such data. In this paper, we consider applying community detection, a main tool of this field, to the co-occurrence matrix corresponding to a huge corpus. Community structure is used as a way to reduce the dimensionality of the initial space. Using this community structure, we propose a method to extract word embeddings that are comparable to the state-of-the-art approaches.


title: The option pricing model based on time values: an application of the universal approximation theory on unbounded domains

abstract: We propose a time value related decision function to treat a classical option pricing problem raised by Hutchinson-Lo-Poggio. In numerical experiments, the new decision function significantly improves the original model of Hutchinson-Lo-Poggio with faster convergence and better generalization performance. By proving a novel universal approximation theorem, we show that our decision function rather than Hutchinson-Lo-Poggio's can be approximated on the entire domain of definition by neural networks. Thus the experimental results are partially explained by the representation properties of networks.


title: A Robust Transferable Deep Learning Framework for Cross-sectional Investment Strategy

abstract: Stock return predictability is an important research theme as it reflects our economic and social organization, and significant efforts are made to explain the dynamism therein. Statistics of strong explanative power, called "factor" have been proposed to summarize the essence of predictive stock returns. Although machine learning methods are increasingly popular in stock return prediction, an inference of the stock returns is highly elusive, and still most investors, if partly, rely on their intuition to build a better decision making. The challenge here is to make an investment strategy that is consistent over a reasonably long period, with the minimum human decision on the entire process. To this end, we propose a new stock return prediction framework that we call Ranked Information Coefficient Neural Network (RIC-NN). RIC-NN is a deep learning approach and includes the following three novel ideas: (1) nonlinear multi-factor approach, (2) stopping criteria with ranked information coefficient (rank IC), and (3) deep transfer learning among multiple regions. Experimental comparison with the stocks in the Morgan Stanley Capital International (MSCI) indices shows that RIC-NN outperforms not only off-the-shelf machine learning methods but also the average return of major equity investment funds in the last fourteen years.


title: A Grid-based Approach for Convexity Analysis of a Density-based Cluster

abstract: This paper presents a novel geometrical approach to investigate the convexity of a density-based cluster. Our approach is grid-based and we are about to calibrate the value space of the cluster. However, the cluster objects are coming from an infinite distribution, their number is finite, and thus, the regarding shape will not be sharp. Therefore, we establish the precision of the grid properly in a way that, the reliable approximate boundaries of the cluster are founded. After that, regarding the simple notion of convex sets and midpoint convexity, we investigate whether or not the density-based cluster is convex. Moreover, our experiments on synthetic datasets demonstrate the desirable performance of our method.


title: From Senones to Chenones: Tied Context-Dependent Graphemes for Hybrid Speech Recognition

abstract: There is an implicit assumption that traditional hybrid approaches for automatic speech recognition (ASR) cannot directly model graphemes and need to rely on phonetic lexicons to get competitive performance, especially on English which has poor grapheme-phoneme correspondence. In this work, we show for the first time that, on English, hybrid ASR systems can in fact model graphemes effectively by leveraging tied context-dependent graphemes, i.e., chenones. Our chenone-based systems significantly outperform equivalent senone baselines by 4.5% to 11.1% relative on three different English datasets. Our results on Librispeech are state-of-the-art compared to other hybrid approaches and competitive with previously published end-to-end numbers. Further analysis shows that chenones can better utilize powerful acoustic models and large training data, and require context- and position-dependent modeling to work well. Chenone-based systems also outperform senone baselines on proper noun and rare word recognition, an area where the latter is traditionally thought to have an advantage. Our work provides an alternative for end-to-end ASR and establishes that hybrid systems can be improved by dropping the reliance on phonetic knowledge.


title: Derived tame Nakayama algebras

abstract: We determine the derived representation type of Nakayama algebras and prove that a derived tame Nakayama algebra without simple projective module is gentle or derived equivalent to some skewed-gentle algebra, and as a consequence, we determine its singularity category.


title: An exposition of some basic features of strictly stationary, reversible Markov chains

abstract: It has been well known for some time that for strictly stationary Markov chains that are ``reversible'', that special symmetry provides special extra features in the mathematical theory. This paper here is primarily a purely expository review of some of the basic features of that special theory. The mathematical techniques employed in this review are relatively gentle, involving only some basic measure-theoretic probability theory.


title: Peterzil-Steinhorn subgroups and $\mu$-stabilizers in ACF

abstract: We consider $G$, a linear group defined over $k$, an algebraically closed field. By considering $k$ as an embedded residue field of an algebraically closed valued field $K$, we can associate to it a compact $G$-space $S^\mu_G(k)$, consisting of $\mu$-types on $G$. We showed that for each $p_\mu\in S^\mu_G(k)$, $\text{Stab}^\mu(p)=\text{Stab}(p_\mu)$ is a solvable infinite algebraic group when $p_\mu$ is centered at infinity and residually algebraic. Moreover we give a description of the dimension $\text{Stab}(p_\mu)$ in terms of dimension of $p$.


title: Polymeric nematics of associating rods: phase behavior, chiral propagation and elasticity

abstract: Rod-shaped colloids with attractive tips can form linear aggregates that may subsequently undergo hierarchical self-assembly into nematic fluids. Inspired by recent modelling efforts on chromonic liquid crystals, composed of discotic building blocks, we formulate a second-virial theory for reversible supramolecular rods. Unlike chromonics, these systems are capable of forming stable nematic phases in the high-temperature, monomeric limit in the absence of polymerization. Changing the tip potential from attractive to repulsive thus enables a smooth crossover from a monomeric to a polymeric nematic fluid. We analyze the isotropic-nematic phase behavior for both regimes and address the nematic elastic properties. The theory accounts for the molecular flexibility and chirality of the filaments and respects the intrinsic chain-length dependence of nematic order. We also discuss the impact of polymerization inhibitors on the phase behavior in the polymeric regime and find that the inhibitors cause a marked narrowing of the isotropic-nematic biphasic region, and generate reentrance nematization as well as a mass density inversion of the coexisting phases. We finally discuss the elastic moduli of rod-based polymeric nematics by qualitative comparing their elastic anisotropies with those of chromonic liquid crystals and other nanoparticle-based nematics.


title: Constrained Stabilization on the n-Sphere

abstract: We solve the stabilization problem on the $n-$sphere in the presence of conic constraints. We use the stereographic projection to map this problem to the classical navigation problem on $\mathbb{R}^n$ in the presence of spherical obstacles. As a consequence, any obstacle avoidance algorithm for navigation in the Euclidean space can be used to solve the given problem on the $n-$sphere. We illustrate the effectiveness of the approach using the kinematics of the reduced attitude model on the $2-$sphere.


title: Tropical double ramification loci

abstract: Motivated by the realizability problem for principal tropical divisors with a fixed ramification profile, we explore the tropical geometry of the double ramification locus in $\mathcal{M}_{g,n}$.There are two ways to define a tropical analogue of the double ramification locus: one as a locus of principal divisors, the other as a locus of finite effective ramified covers of a tree. We show that both loci admit a structure of a generalized cone complex in $M_{g,n}^{trop}$, with the latter contained in the former. We prove that the locus of principal divisors has cones of codimension zero in $M_{g,n}^{trop}$, while the locus of ramified covers has the expected codimension $g$. This solves the deformation-theoretic part of the realizability problem for principal divisors, reducing it to the so-called Hurwitz existence problem for covers of a fixed ramification type.


title: MLPerf Training Benchmark

abstract: Machine learning (ML) needs industry-standard performance benchmarks to support design and competitive evaluation of the many emerging software and hardware solutions for ML. But ML training presents three unique benchmarking challenges absent from other domains: optimizations that improve training throughput can increase the time to solution, training is stochastic and time to solution exhibits high variance, and software and hardware systems are so diverse that fair benchmarking with the same binary, code, and even hyperparameters is difficult. We therefore present MLPerf, an ML benchmark that overcomes these challenges. Our analysis quantitatively evaluates MLPerf's efficacy at driving performance and scalability improvements across two rounds of results from multiple vendors.


title: Normalization of polarized spectral contours for high-accuracy magnetic field measurements

abstract: Designed at the Crimean Astrophysical Observatory the SL-method of stellar magnetic field measurement is based on the calculation of the distance between the centers of gravity of the left and right circularly polarized components of the spectral line. The SL-method is free from the limitations of the LSD-method, namely its requirement for weak magnetic fields, weak spectral lines, the same shape of polarized profiles. Also, this method is free from model limitations of the PCA, NDD and ZCD methods also. The SL-method involves the calculation of the magnetic field using individual spectral lines and the subsequent formation of uniform arrays of the magnetic field measurements. The formation of the arrays is based on different criteria, e.g. using spectral lines of a chemical element, assumption of the same physical conditions in the areas of the spectral line formation, a statistically significant difference between the values of the magnetic field calculated from different arrays of spectral lines etc. If there are several arrays of spectral lines, it is necessary to obtain normalized polarized profiles using predetermined parameters for each array: the magnitude of the field, wavelength for normalization, Lande factor and the central residual intensity of the line. In this paper, we present a method of normalization of polarized profiles based on the dependence of the residual intensity of the observed polarized profiles on their central residual intensity (COntour Algorithm of the Line Approximation: COALA). The SL and COALA methods strong depend on the signal-to-noise ratio and a number of used unblended spectral lines. In this work the application of the proposed method is demonstrated for synthetic polarized spectra and for circularly polarized spectra of the yellow subgiant $\beta$ Aql (Sp G8 IV) obtained on 2014 October 06.


title: Transition to bound states for bacteria swimming near surfaces

abstract: It is well known that flagellated bacteria swim in circles near surfaces. However, recent experiments have shown that a sulfide-oxidizing bacterium named Thiovulum majus can transition from swimming in circles to a surface bound state where it stops swimming while remaining free to move laterally along the surface. In this bound state, the cell rotates perpendicular to the surface with its flagella pointing away from it. Using numerical simulations and theoretical analysis, we demonstrate the existence of a fluid-structure interaction instability that causes cells with relatively short flagella to become surface bound.


title: Energy exchange and entropy for quasi-free fermionic semigroups

abstract: We consider a model of quantum dynamical semigroup on a finite dimensional fermionic space, obtained as the continuous-time limit of a repeated interactions model between a system and several thermal baths, with a dynamic driven by quadratic Hamiltonians. We assume that there is a globally conserved observable which can be expressed as a sum of energies on the system and on each baths, and we study the energy fluxes between the baths and the system. First, we consider only the mean energy fluxes, and prove that every thermal machines on quasi-free fermions in trivial, in the sense that it is not possible to extract energy from the coolest bath, even when we dispose of several other baths at different temperatures. Then, we consider an unraveling of the semigroup as a random process, and we study the large deviations of the energy fluxes, following Jaksic, Pillet and Westrich (2014). We reduce the computation of the cumulant generating functional to the resolution of a Riccati equation (which is formally similar to the study of large deviations in classical networks of harmonic oscillators). We apply it to the numerical computation of the rate function for energy exchanges in a fermionic chain, and show that larger fluctuations are observed on a longer chain.


title: The Open Quantum Brownian Motion and continual measurements

abstract: This article is a mathematical analysis of the Open Quantum Brownian Motion. This object was introduced by Bernard, Bauer, Benoist and Tilloy as the limit of a family of Open Quantum Random Walks on the discrete line. We prove the convergence for the three possible descriptions of this object: the quantum trajectory satisfying a Belavkin Equation, the unitary evolution on the Fock space satisfying a quantum Langevin Equation, and the Lindbladian evolution. We introduce a very general framework for the continual measurement of non-demolition observables, which is applied to the measurement of the position of the Open Quantum Brownian Motion, and we probe some questions related to the convergence of processes in this context.


title: Local well-posedness of the topological Euler alignment models of collective behavior

abstract: In this paper we address the problem of well-posedness of multi-dimensional topological Euler-alignment models introduced in \cite{ST-topo}. The main result demonstrates local existence and uniqueness of classical solutions in class $(\rho,u) \in H^{m+\alpha} \times H^{m+1}$ on the periodic domain $\mathbb{T}^n$, where $0<\alpha<2$ is the order of singularity of the topological communication kernel $\phi(x,y)$, and $m = m(n,\alpha)$ is large. Our approach is based on new sharp coercivity estimates for the topological alignment operator \[ \mathcal{L}_\phi f(x) = \int_{\mathbb{T}^n} \phi(x,y) (f(y) - f(x) ) dy, \] which render proper a priori estimates and help stabilize viscous approximation of the system. In dimension 1, this result, in conjunction with the technique developed in \cite{ST-topo} gives global well-posendess in the natural space of data mentioned above.


title: Whistler instability stimulated by the suprathermal electrons present in space plasmas

abstract: In the absence of efficient collisions, deviations from thermal equilibrium of plasma particle distributions are controlled by the self-generated instabilities. The whistler instability is a notorious example, usually responsible for the regulation of electron temperature anisotropy $A = T_{\perp}/T_\parallel>$ (with $\perp, \parallel$ respective to the magnetic field direction) observed in space plasmas, e.g., solar wind and planetary magnetospheres. Suprathermal electrons present in these environments change the plasma dispersion and stability properties, with expected consequences on the kinetic instabilities and the resulting fluctuations, which, in turn, scatter the electrons and reduce their anisotropy. In order to capture these mutual effects we use a quasilinear kinetic approach and PIC simulations, which provide a comprehensive characterization of the whistler instability under the influence of suprathermal electrons. Analysis is performed for a large variety of plasma conditions, ranging from low-beta plasmas encountered in outer corona or planetary magnetospheres to a high-beta solar wind characteristic to large heliospheric distances. Enhanced by the suprathermal electrons, whistler fluctuations stimulate the relaxation of temperature anisotropy, and this influence of suprathermals increases with plasma beta parameter.


title: On the inclinations of the Jupiter Trojans

abstract: Jupiter Trojans are are characterized by dark photometric colors, high inclinations and an asymmetry in number of bodies between the two swarms. Different models have been proposed to explain the high inclination of the Trojans and to interpret their relation with the TNOs, but none of them can also satisfactorily explain the asymmetry ratio. Recently it has been found that the asymmetry can arise if Jupiter has migrated inwards by at least a few au during its growth. The asymmetry and the dark colors of the Trojans are natural outcomes of this model, but simulations with massless unperturbed disc particles led to a flat distribution of the Trojan inclinations and a final total mass that was 3-4 orders of magnitude larger than the current one. In our work, we investigate the possible origin of the peculiar inclination distribution of the Trojans in the scenario where Jupiter migrates inwards. We analyze different possibilities: (a) the secular evolution of an initially flat Trojan population, (b) the presence of planetary embryos among the Trojans and (c) capture of the Trojans from a pre-stirred planetesimal population. We find that the secular evolution of the Trojans and Saturn do not affect the Trojan inclinations appreciably, nor is there any significant mass depletion. Embryos embedded in the swarms, in contrast, can stir the Trojan inclinations and can also deplete the swarms efficiently, but it turns out that it is very difficult to get rid of all of the massive bodies. We propose that the disc where Jupiter's core was forming was already excited by the presence of other embryos competing in Jupiter's core's feeding zone. We show that the trapped Trojans preserve their high inclination through the gas phase of the disc and that Saturn's perturbations are more effective on highly inclined Trojans, leading to a lower capture efficiency and to a substantial depletion of the swarms.


title: RouteNet: Leveraging Graph Neural Networks for network modeling and optimization in SDN

abstract: Network modeling is a key enabler to achieve efficient network operation in future self-driving Software-Defined Networks. However, we still lack functional network models able to produce accurate predictions of Key Performance Indicators (KPI) such as delay, jitter or loss at limited cost. In this paper we propose RouteNet, a novel network model based on Graph Neural Network (GNN) that is able to understand the complex relationship between topology, routing, and input traffic to produce accurate estimates of the per-source/destination per-packet delay distribution and loss. RouteNet leverages the ability of GNNs to learn and model graph-structured information and as a result, our model is able to generalize over arbitrary topologies, routing schemes and traffic intensity. In our evaluation, we show that RouteNet is able to predict accurately the delay distribution (mean delay and jitter) and loss even in topologies, routing and traffic unseen in the training (worst case MRE=15.4%). Also, we present several use cases where we leverage the KPI predictions of our GNN model to achieve efficient routing optimization and network planning.


title: Control of spintronic and electronic properties of bimetallic and vacancy-ordered vanadium carbide MXenes via surface functionalization

abstract: MXenes are 2D transition metal carbides with high potential for overcoming limitations of conventional two-dimensional electronics. In this context, various MXenes have shown magnetic properties suitable for applications in spintronics, yet the number of MXenes reported so far is far smaller than their parental MAX phases. Therefore, we have studied the structural, electronic and magnetic properties of bimetallic and vacancy-ordered MXenes derived from a new $(V_{2/3}Zr_{1/3})_2AlC $ MAX phase to assess whether MXene exfoliation would return stable magnetic materials. In particular, we have investigated the properties of pristine and surface-functionalized $(V_{2/3}Zr_{1/3})_2CX_2$ bimetallic and $(V_{2/3} \square_{1/3})_2CX2$ vacancy-ordered MXenes with X = O, F and OH. Our density functional theory (DFT) calculations showed that modifying the MXene stoichiometry and/or MXene surface functionalization changes MXene properties. After testing all possible combinations of metallic motifs and functionalization, we identified $V_{2/3}Zr_{1/3})_2CX_2$, $(V_{2/3}\square_{1/3})_2CF_2$ and $(V_{2/3}\square_{1/3})_2C(OH)_2$ as stable structures. Among them, $(V_{2/3}Zr_{1/3})_2CO_2$ MXene is predicted to be an FM intrinsic half-semiconductor with a remarkably high Curie temperature ($T_C$)) of 270 K. The $(V_{2/3}Zr_{1/3})_2C(OH)_2$ MXene exhibits a rather low work function (WF) (1.37 eV) and is thus a promising candidate for ultra-low work function electron emitters. Conversely, the $(V_{2/3}\square_{1/3})_2CF_2$ MXene has a rather high WF and hence can be used as a hole injector for Schottky-barrier-free contact applications. Overall, our proof-of-concept study shows that theoretical predictions of MXene exfoliation and properties support further experimental research towards developing spintronics devices.


title: Causal inference with Bayes rule

abstract: The concept of causality has a controversial history. The question of whether it is possible to represent and address causal problems with probability theory, or if fundamentally new mathematics such as the do-calculus is required has been hotly debated, In this paper we demonstrate that, while it is critical to explicitly model our assumptions on the impact of intervening in a system, provided we do so, estimating causal effects can be done entirely within the standard Bayesian paradigm. The invariance assumptions underlying causal graphical models can be encoded in ordinary Probabilistic graphical models, allowing causal estimation with Bayesian statistics, equivalent to the do-calculus.


title: Introducing multilayer stream graphs and layer centralities

abstract: Graphs are commonly used in mathematics to represent some relationships between items. However, as simple objects, they sometimes fail to capture all relevant aspects of real-world data. To address this problem, we generalize them and model interactions over time with multilayer structure. We build and test several centralities to assess the importance of layers of such structures. In order to showcase the relevance of this new model with centralities, we give examples on two large-scale datasets of interactions, involving individuals and flights, and show that we are able to explain subtle behaviour patterns in both cases.


title: An existence theorem on the isoperimetric ratio over scalar-flat conformal classes

abstract: Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n$ with smooth boundary $\partial M$, admitting a scalar-flat conformal metric. We prove that the supremum of the isoperimetric ratio over the scalar-flat conformal class is strictly larger than the best constant of the isoperimetric inequality in the Euclidean space, and consequently is achieved, if either (i) $9\le n\le 11$ and $\partial M$ has a nonumbilic point; or (ii) $7\le n\le 9$, $\partial M$ is umbilic and the Weyl tensor does not vanish identically on the boundary. This is a continuation of the work \cite{Jin-Xiong} by the second named author and Xiong.


title: Some global results on quasipolynomial discrete systems

abstract: The quasipolynomial (QP) generalization of Lotka-Volterra discrete-time systems is considered. Use of the QP formalism is made for the investigation of various global dynamical properties of QP discrete-time systems including permanence, attractivity, dissipativity and chaos. The results obtained generalize previously known criteria for discrete Lotka-Volterra models.

categories: math.DS math-ph math.MP nlin.CD physics.app-ph physics.bio-ph


title: New travelling wave solutions for the Fisher-KPP equation with general exponents

abstract: The Fisher-KPP equation with general nonlinear diffusion and arbitrary kinetic orders in the reaction terms is considered. The existence of oscillatory travelling wave solutions is proved for this model. Conditions for the existence of such solutions are provided.

categories: math.AP math.DS nlin.PS physics.bio-ph physics.chem-ph


title: Lotka-Volterra representation of general nonlinear systems

abstract: In this paper we elaborate on the structure of the Generalized Lotka-Volterra (GLV) form for nonlinear differential equations. We discuss here the algebraic properties of the GLV family, such as the invariance under quasimonomial transformations and the underlying structure of classes of equivalence. Each class possesses a unique representative under the classical quadratic Lotka-Volterra form. We show how other standard modelling forms of biological interest, such as S-systems or mass-action systems are naturally embedded into the GLV form, which thus provides a formal framework for their comparison, and for the establishment of transformation rules. We also focus on the issue of recasting of general nonlinear systems into the GLV format. We present a procedure for doing so, and point at possible sources of ambiguity which could make the resulting Lotka-Volterra system dependent on the path followed. We then provide some general theorems that define the operational and algorithmic framework in which this is not the case.

categories: physics.bio-ph math.CA math.DS nlin.CD physics.chem-ph


title: Intelligent Network Slicing for V2X Services Towards 5G

abstract: Benefiting from the widely deployed LTE infrastructures, the fifth generation (5G) wireless networks have been becoming a critical enabler for the emerging vehicle-to-everything (V2X) communications. However, existing LTE networks cannot efficiently support stringent but dynamic requirements of V2X services. One effective solution to overcome this challenge is network slicing, whereby different services could be supported by logically separated networks. To mitigate the increasing complexity of network slicing in 5G, we propose to leverage the recent advancement of Machine Learning (ML) technologies for automated network operation. Specifically, we propose intelligent network slicing architecture for V2X services, where network functions and multi-dimensional network resources are virtualized and assigned to different network slices. In achieving optimized slicing intelligently, several critical techniques, including mobile data collection and ML algorithm design, are discussed to tackle the related challenges. Then, we develop a simulation platform to illustrate the effectiveness of our proposed intelligent network slicing. With integration of 5G network slicing and ML-enabled technologies, the QoS of V2X services is expected to be dramatically enhanced.


title: Insights into the Mind of a Trojan Designer: The Challenge to Integrate a Trojan into the Bitstream

abstract: The threat of inserting hardware Trojans during the design, production, or in-field poses a danger for integrated circuits in real-world applications. A particular critical case of hardware Trojans is the malicious manipulation of third-party FPGA configurations. In addition to attack vectors during the design process, FPGAs can be infiltrated in a non-invasive manner after shipment through alterations of the bitstream. First, we present an improved methodology for bitstream file format reversing. Second, we introduce a novel idea for Trojan insertion.


title: Hardware Reverse Engineering: Overview and Open Challenges

abstract: Hardware reverse engineering is a universal tool for both legitimate and illegitimate purposes. On the one hand, it supports confirmation of IP infringement and detection of circuit malicious manipulations, on the other hand it provides adversaries with crucial information to plagiarize designs, infringe on IP, or implant hardware Trojans into a target circuit. Although reverse engineering is commonplace in practice, the quantification of its complexity is an unsolved problem to date since both technical and human factors have to be accounted for. A sophisticated understanding of this complexity is crucial in order to provide a reasonable threat estimation and to develop sound countermeasures, i.e. obfuscation transformations of the target circuit, to mitigate risks for the modern IC landscape. The contribution of our work is threefold: first, we systematically study the current research branches related to hardware reverse engineering ranging from decapsulation to gate-level netlist analysis. Based on our overview, we formulate several open research questions to scientifically quantify reverse engineering, including technical and human factors. Second, we survey research on problem solving and on the acquisition of expertise and discuss its potential to quantify human factors in reverse engineering. Third, we propose novel directions for future interdisciplinary research encompassing both technical and psychological perspectives that hold the promise to holistically capture the complexity of hardware reverse engineering.


title: A Look at the Dark Side of Hardware Reverse Engineering -- A Case Study

abstract: A massive threat to the modern and complex IC production chain is the use of untrusted off-shore foundries which are able to infringe valuable hardware design IP or to inject hardware Trojans causing severe loss of safety and security. Similarly, market dominating SRAM-based FPGAs are vulnerable to both attacks since the crucial gate-level netlist can be retrieved even in field for the majority of deployed device series. In order to perform IP infringement or Trojan injection, reverse engineering (parts of) the hardware design is necessary to understand its internal workings. Even though IP protection and obfuscation techniques exist to hinder both attacks, the security of most techniques is doubtful since realistic capabilities of reverse engineering are often neglected. The contribution of our work is twofold: first, we carefully review an IP watermarking scheme tailored to FPGAs and improve its security by using opaque predicates. In addition, we show novel reverse engineering strategies on proposed opaque predicate implementations that again enables to automatically detect and alter watermarks. Second, we demonstrate automatic injection of hardware Trojans specifically tailored for third-party cryptographic IP gate-level netlists. More precisely, we extend our understanding of adversary's capabilities by presenting how block and stream cipher implementations can be surreptitiously weakened.


title: Detecting integrity attacks in IoT-based Cyber Physical Systems: a case study on Hydra testbed

abstract: The Internet of Things paradigm improves the classical information sharing scheme. However, it has increased the need for granting the security of the connected systems. In the industrial field, the problem becomes more complex due to the need of protecting a large attack surface while granting the availability of the system and the real time response to the presence of threats. In this contribution, we deal with the injection of tampered data into the communication channel to affect the physical system. The proposed approach relies on designing a secure control system by coding the output matrices according to a secret pattern. This pattern is created by using the Fibonacci p-sequences, numeric sequence depending on a key. The proposed method is validated on the Hydra testbed, emulating the industrial control network of a water distribution system.


title: Multisymplectic formulation of Lagrangian models in gravitation

abstract: We apply the multisymplectic formulation of classical field theories [11, 12, 14] to describe the Einstein-Hilbert and the Einstein-Palatini (or metric-affine) Lagrangian models of General Relativity.


title: Formation of close binaries by disc fragmentation and migration, and its statistical modeling

abstract: Joint statistics of periods and mass ratios of close binaries and its dependence on primary mass can be explained by assuming that seed binary companions are formed by disc fragmentation at random intervals during assemblage of stellar mass and migrate inwards as they accrete from the circumbinary disk. A toy model based on simple prescriptions for the companion growth and migration reproduces such aspects of close solar-mass binaries as the distribution of binary periods P, the brown dwarf desert at short P, the nearly uniform distribution of mass ratios, and a population of equal-mass binaries (twins) that decreases linearly in frequency with logP. For massive stars, the model predicts a large fraction of early mergers, a distribution of logP with a negative slope, and a mass-ratio distribution that is also uniform but with a substantially reduced twin fraction. By treating disc fragmentation as a stochastic process, we also reproduce the observed properties of compact triples. Success of our toy model suggests that most close binaries and compact triples indeed formed by disc fragmentation followed by accretion-driven inward migration.


title: ReNAS:Relativistic Evaluation of Neural Architecture Search

abstract: An effective and efficient architecture performance evaluation scheme is essential for the success of Neural Architecture Search (NAS). To save computational cost, most of existing NAS algorithms often train and evaluate intermediate neural architectures on a small proxy dataset with limited training epochs. But it is difficult to expect an accurate performance estimation of an architecture in such a coarse evaluation way. This paper advocates a new neural architecture evaluation scheme, which aims to determine which architecture would perform better instead of accurately predict the absolute architecture performance. Therefore, we propose a \textbf{relativistic} architecture performance predictor in NAS (ReNAS). We encode neural architectures into feature tensors, and further refining the representations with the predictor. The proposed relativistic performance predictor can be deployed in discrete searching methods to search for the desired architectures without additional evaluation. Experimental results on NAS-Bench-101 dataset suggests that, sampling 424 ($0.1\%$ of the entire search space) neural architectures and their corresponding validation performance is already enough for learning an accurate architecture performance predictor. The accuracies of our searched neural architectures on NAS-Bench-101 and NAS-Bench-201 datasets are higher than that of the state-of-the-art methods and show the priority of the proposed method.


title: The Fourier Evaluation of Tracings and Acidosis in Labor: the FETAL Technique

abstract: Adequate fetal and neonatal development depend upon the presence of a normal acid-base environment during pregnancy and the smooth transition from intra-uterine to extra-uterine life. Current methods to assess fetal pH and acid-base status are invasive and carry significant maternal and fetal risks. Given these limitations, obstetrical care providers developed the electronic fetal monitoring (EFM) system, a non-invasive tool, which evaluates beat-to-beat fetal heart rate (FHR) patterns in order to predict fetal oxygenation status in real-time. Every year, about 85 percent of the approximately 4 million live births in the United States are evaluated using EFM. Unfortunately, though there is ample physiological evidence that FHR patterns are inextricably linked to fetal acid-base status, the use of EFM has not been shown to reliably predict neonatal pH, nor has it reduced the incidence of adverse perinatal outcomes, including long-term neurological morbidity and cerebral palsy (CP). The poor specificity associated with the current interpretation of the EFM therefore leads to a paradox we have henceforth defined as the Obstetrical Paradox. In this study, we develop and seek to determine whether a novel, non-invasive method known as the FETAL technique (Fourier Evaluation of Tracings and Acidosis in Labor), which applies the Fourier Transform to EFM tracings and determines the spectral frequency distributions of the FHR, improves the assessment of the fetal pH in real time. We hypothesize that the improvement in the sensitivity and specificity of the EFM with the use of the FETAL technique will lead to a significant reduction in the rate of neonatal hypoxic injury and in the rate of caesarean deliveries for suspected fetal distress. The implications of a successful application of the FETAL technique would have paradigm-shifting consequences in the provision of modern obstetrical care.


title: Hydraulic Fracture Propagation in Naturally Fractured Reservoirs: Complex Fracture or Fracture Networks

abstract: Understanding the behavior of fluid-driven hydraulic fracture in naturally fractured reservoirs is crucial in the development of geothermal energy and unconventional reservoirs. This study presents a fully-coupled numerical model to investigate hydraulic propagation in naturally fractured reservoirs, along with a comprehensive discussion on field observations. The results indicate that, contrary to our common beliefs, "Complex Fracture" rather than "Fracture Networks" is the norm in these naturally fractured reservoirs


title: Gated Linear Networks

abstract: This paper presents a new family of backpropagation-free neural architectures, Gated Linear Networks (GLNs). What distinguishes GLNs from contemporary neural networks is the distributed and local nature of their credit assignment mechanism; each neuron directly predicts the target, forgoing the ability to learn feature representations in favor of rapid online learning. Individual neurons can model nonlinear functions via the use of data-dependent gating in conjunction with online convex optimization. We show that this architecture gives rise to universal learning capabilities in the limit, with effective model capacity increasing as a function of network size in a manner comparable with deep ReLU networks. Furthermore, we demonstrate that the GLN learning mechanism possesses extraordinary resilience to catastrophic forgetting, performing comparably to a MLP with dropout and Elastic Weight Consolidation on standard benchmarks. These desirable theoretical and empirical properties position GLNs as a complementary technique to contemporary offline deep learning methods.


title: On densely isomorphic normed spaces

abstract: In the first part of our note we prove that every Weakly Lindel\"of Determined (WLD) (in particular, every reflexive) non-separable Banach $X$ space contains two dense linear subspaces $Y$ and $Z$ that are not densely isomorphic. This means that there are no further dense linear subspaces $Y_0$ and $Z_0$ of $Y$ and $Z$ which are linearly isomorphic. Our main result (Theorem B) concerns the existence of biorthogonal systems in normed spaces. In particular, we prove under the Continuum Hypothesis (CH) that there exists a dense linear subspace of $\ell_2(\omega_1)$ (or more generally every WLD space of density $\omega_1$) which contains no uncountable biorthogonal system. This result lies between two fundamental results concerning biorthogonal systems, namely the construction of Kunen (under CH) of a non-separable Banach space which contains no uncountable biorthogonal system, and the construction of Todor\u{c}evi\'c (under Martin Maximum) of an uncountable biorthogonal system in every non-separable Banach space.


title: Escape probability of a photon emitted near the black hole horizon

abstract: We investigate the escape of photons from the vicinity of the horizon to infinity in the Kerr-Newmann black hole spacetime. We assume that a light source is at rest in a locally nonrotating frame and photons are emitted isotropically. Then, we evaluate the escape probability of the emitted photons. The main result of this paper is the following. If the black hole is extremal with the nondimensional spin parameter $a_*> 1/2$, however close to the horizon the light source would be, the escape probability remains nonzero. The near-horizon limit value of the escape probability is a monotonically increasing function of $a_*$ and takes a maximum $\sim$29.1\% at $a_*=1$, i.e., for the extremal Kerr case. On the other hand, if the black hole is extremal with $0\leq a_*\leq 1/2$ or if the black hole is subextremal, the near-horizon limit value is zero.


title: What can Machine Learning tell us about the background expansion of the Universe?

abstract: Machine learning (ML) algorithms have revolutionized the way we interpret data in astronomy, particle physics, biology and even economics, since they can remove biases due to a priori chosen models. Here we apply a particular ML method, the genetic algorithms (GA), to cosmological data that describes the background expansion of the Universe, namely the Pantheon Type Ia supernovae and the Hubble expansion history $H(z)$ datasets. We obtain model independent and nonparametric reconstructions of the luminosity distance $d_L(z)$ and Hubble parameter $H(z)$ without assuming any dark energy model or a flat Universe. We then estimate the deceleration parameter $q(z)$, a measure of the acceleration of the Universe, and we make a $\sim4.5\sigma$ model independent detection of the accelerated expansion, but we also place constraints on the transition redshift of the acceleration phase $(z_{\textrm{tr}}=0.662\pm0.027)$. We also find a deviation from $\Lambda$CDM at high redshifts, albeit within the errors, hinting toward the recently alleged tension between the SnIa/quasar data and the cosmological constant $\Lambda$CDM model at high redshifts $(z\gtrsim1.5)$. Finally, we show the GA can be used in complementary null tests of the $\Lambda$CDM via reconstructions of the Hubble parameter and the luminosity distance.


title: Design of fractional-order controllers for simultaneous control of Mean Arterial Blood Pressure and Cardiac Output: a simulation study

abstract: This paper presents a fractional-order framework for control of blood pressure. A new perspective is explored to control the blood pressure in lieu of the conventional control framework. A multi-variable scenario is adopted to control two outputs: Mean Arterial Blood Pressure (MABP) and Cardiac Output (CO) simultaneously.


title: Modeling Color Terminology Across Thousands of Languages

abstract: There is an extensive history of scholarship into what constitutes a "basic" color term, as well as a broadly attested acquisition sequence of basic color terms across many languages, as articulated in the seminal work of Berlin and Kay (1969). This paper employs a set of diverse measures on massively cross-linguistic data to operationalize and critique the Berlin and Kay color term hypotheses. Collectively, the 14 empirically-grounded computational linguistic metrics we design---as well as their aggregation---correlate strongly with both the Berlin and Kay basic/secondary color term partition (gamma=0.96) and their hypothesized universal acquisition sequence. The measures and result provide further empirical evidence from computational linguistics in support of their claims, as well as additional nuance: they suggest treating the partition as a spectrum instead of a dichotomy.


title: Spiral Structure in the Gas Disk of TW Hya

abstract: We report the detection of spiral substructure in both the gas velocity and temperature structure of the disk around TW~Hya, suggestive of planet-disk interactions with an unseen planet. Perturbations from Keplerian rotation tracing out a spiral pattern are observed in the SE of the disk, while significant azimuthal perturbations in the gas temperature are seen in the outer disk, outside 90~au, extending the full azimuth of the disk. The deviation in velocity is either $\Delta v_{\phi} \, / \, v_{\rm kep} \sim 0.1$ or $\Delta v_{z} \, / \, v_{\rm kep} \sim 0.01$ depending on whether the perturbation is in the rotational or vertical direction, while radial perturbations can be ruled out. Deviations in the gas temperature are $\pm 4$ K about the azimuthally averaged profile, equivalent to deviations of $\Delta T_{\rm gas} \, / \, T_{\rm gas} \sim 0.05$. Assuming all three structures can be described by an Archimedean spiral, measurements of the pitch angles of both velocity and temperature spirals show a radially decreasing trend for all three, ranging from 9$^{\circ}$ at 70 au, dropping to 3$^{\circ}$ at 200 au. Such low pitch-angled spirals are not readily explained through the wake of an embedded planet in the location of previously reported at 94 au, but rather require a launching mechanism which results in much more tightly wound spirals. Molecular emission tracing distinct heights in the disk is required to accurately distinguish between spiral launching mechanisms.


title: Probing axion mediated fermion--fermion interaction by means of entanglement

abstract: We propose a new approach in the investigation and detection of axion and axion-like particles based on the study of the entanglement for two interacting fermions. We study a system made of two identical fermions with spin-1/2, and we show that fermion-fermion interaction mediated by axions leads to a non-zero entanglement between the fermions. An entanglement measurement can reveal the interaction, providing an indirect evidence of the existence of axions. We discuss how the other interactions affect the entanglement, and how to isolate the axion contribution. Particular care is devoted to the analysis of the magnetic dipole-dipole interaction, which turns out to be, apart from axions, the most relevant contribution to the entanglement, and we show that it can be suppressed by setting opportunely the duration of the observation. We also introduce a two-body correlation function, which could be directly observed in an experiment, and plays the role of an entanglement witness.


title: Embedding Feynman Integral (Calabi-Yau) Geometries in Weighted Projective Space

abstract: It has recently been demonstrated that Feynman integrals relevant to a wide range of perturbative quantum field theories involve periods of Calabi-Yaus of arbitrarily large dimension. While the number of Calabi-Yau manifolds of dimension three or higher is considerable (if not infinite), those relevant to most known examples come from a very simple class: degree-$2k$ hypersurfaces in $k$-dimensional weighted projective space $\mathbb{WP}^{1,\ldots,1,k}$. In this work, we describe some of the basic properties of these spaces and identify additional examples of Feynman integrals that give rise to hypersurfaces of this type. Details of these examples at three and four loops are included as ancillary files to this work.


title: Emergent Time Crystal with Tunable Period in the Uniaxial Random Field XY Magnet

abstract: The addition of uniaxial random fields to the XY model induces an order-by disorder transition, in which the XY magnet develops a spontaneous magnetization in the direction perpendicular to the uniaxial random field. Here, we use simulations to explore the robustness of this phase transition with respect to a rotating driving field. We find that the order-by-disorder transition is robust, persisting to finite applied field. In the vicinity of the critical driving field strength, a time crystal emerges, in which the period of the limit cycles becomes an integer $n>1$ multiple of the driving period. Because $n$ increases with system size, the period of the time crystal can be engineered. This period multiplication cascade is reminiscent of that occuring in amorphous solids subject to oscillatory shear near the onset of plastic deformation, and of the period bifurcation cascade near the onset of chaos in nonlinear systems, suggesting it is part of a larger class of phenomena in transitions of dynamical systems. Applications include magnets, electron nematics, and quantum gases.


title: Next-to-Leading Order QCD Corrections to Heavy-Flavour Production in Neutral Current DIS

abstract: The calculations for the production of heavy quarks in deeply inelastic scattering (DIS) can be seen as an illustrative example in the framework of perturbative Quantum Chromo Dynamics (pQCD). In this thesis, I give an overview of all steps that are required for this computation. First, I give an introduction to the fundamental theoretical basics. Next, I present the calculation of the matrix elements which are a main part of the work. The next-to-leading order (NLO) pQCD corrections for polarized DIS have been obtained here for the first time. Then, I discuss two different phase space decompositions which provide another important ingredient to the performed study. Practical results of the computations are shown first on a partonic level and, next, I present some phenomenological applications on a hadronic level. These results shed a first light onto the physical opportunities at a future Electron-Ion Collider (EIC).


title: Nonexistence of Minimizers for a Nonlocal Perimeter Functional with a Riesz and a Background Potential

abstract: We consider the nonexistence of minimizers for the energy containing a nonlocal perimeter with a general kernel $K$, a Riesz potential, and a background potential in $\mathbb{R}^N$ with $N\geq2$ under the volume constraint. We show that the energy has no minimizer for a sufficiently large mass under suitable assumptions on $K$. The proof is based on the partition of a minimizer and the comparison of the sum of the energy for each part with the energy for the original configuration. This strategy is shown in [R.A. Frank, R. Killip, P.T. Nam, 2016] and [D.A. La Manna, 2018]


title: Structural, dielectric and magnetic properties of multiferroic (1-x) La0.5Ca0.5MnO3-(x) BaTi0.8Sn0.2O3 laminated composites

abstract: High performance lead-free multiferroic composites are desired to replace the lead-based ceramics in multifunctional devices applications. Laminated compounds were prepared from ferroelectric and ferromagnetic materials. In this work, we present laminated ceramics compound by considering the ferromagnetic La0.5Ca0.5MnO3 (LCMO) and the ferroelectric BaTi0.8Sn0.2O3 (BTSO) in two different proportions. Compounds (1-x) LCMO-(x) BTSO with x=1 and 0 (pure materials) were synthesized by the sol gel method and x=0.7 and 0.5 (laminated) compounds were elaborated by welding appropriate mass ratios of each pure material by using the silver paste technique. Structural, dielectric, ferroelectric, microstructure and magnetic characterization were conducted on these samples. X-ray scattering results showed pure perovskite phases confirming the successful formation of both LCMO and BTSO. SEM images evidenced the laminated structure and good quality of the interfaces. The laminated composite materials have demonstrated a multiferroic behavior characterized by the ferroelectric and the ferromagnetic hysteresis loops. Furthermore, the enhancement of the dielectric constant in the laminated composite samples is mainly attributed to the Maxwell-Wagner polarization.


title: Method for the semantic indexing of concept hierarchies, uniform representation, use of relational database systems and generic and case-based reasoning

abstract: This paper presents a method for semantic indexing and describes its application in the field of knowledge representation. Starting point of the semantic indexing is the knowledge represented by concept hierarchies. The goal is to assign keys to nodes (concepts) that are hierarchically ordered and syntactically and semantically correct. With the indexing algorithm, keys are computed such that concepts are partially unifiable with all more specific concepts and only semantically correct concepts are allowed to be added. The keys represent terminological relationships. Correctness and completeness of the underlying indexing algorithm are proven. The use of classical relational databases for the storage of instances is described. Because of the uniform representation, inference can be done using case-based reasoning and generic problem solving methods.


title: Induced superconducting pair correlations in a quasicrystal coupled to a BCS superconductor

abstract: In this report, we describe the proximity effect which arises when a quasicrystal is placed in contact with a superconductor. We consider the simplest known model of a quasicrystal, the 1D Fibonacci chain, for which all states are known to be critical. A hybrid ring is made by connecting a finite piece of such a Fibonacci chain to a BCS-type superconductor. Solving the resulting Bogoliubov-de Gennes equations self-consistently, we show that the proximity effect in the Fibonacci chain is long ranged, and that the induced superconducting order carries information on topological properties, namely, the winding numbers of edge states of the Fibonacci chain.


title: A muon source based on planar channelling radiation

abstract: The usage of channelling radiation arising from a high energy electron beam traversing a crystal for the production of an intense low emittance muon beam is investigated. The optimal energy and divergence of the electron beam are computed for few crystal types based on analytical expressions of the radiation spectrum and of the muon pair production cross section. It is shown that the required beam properties seem within reach and that the source performance may be comparable to other muon sources currently considered.


title: Anisotropic destruction of the Fermi surface in inhomogeneous holographic lattices

abstract: We analyze fermionic response of strongly correlated holographic matter in presence of inhomogeneous periodically modulated potential mimicking the crystal lattice. The modulation is sourced by a scalar operator that explicitly breaks the translational symmetry in one direction. We compute the fermion spectral function and show that it either exhibits a well defined Fermi surface with umklapp gaps opening on the Brillouin zone boundary at small lattice wave vector, or, when the wave vector is large, the Fermi surface is anisotropically deformed and the quasiparticles get significantly broadened in the direction of translation symmetry breaking. Making use of the ability of our model to smoothly extrapolate to the homogeneous Q-lattice like setup, we show that this novel effect is not due to the periodic modulation of the potential and Umklapp physics, but rather due to the anisotropic features of the holographic horizon. That means it encodes novel physics of strongly correlated critical systems which may be relevant for phenomenology of exotic states of electron matter.


title: Spatiotemporal analysis of nonaffine displacements in disordered solids sheared across the yielding point

abstract: The time evolution and spatial correlations of nonaffine displacements in deformed amorphous solids are investigated using molecular dynamics simulations. The three-dimensional model glass is represented via the binary mixture, which is slowly annealed well below the glass transition temperature and then sheared at a constant strain rate. It is shown that with increasing strain, the typical size of clusters of atoms with large nonaffine displacements increases, and these clusters remain spatially homogeneously distributed, until the yielding point when mobile atoms become localized within a system-spanning shear band. Furthermore, the yielding transition is associated with an abrupt change in the spatial correlation of nonaffine displacements, which varies from exponential to power-law decay. We also find that the height of the first peak in the pair correlation function of small atoms exhibits a distinct increase at the yielding strain. These results are discussed in relation to the yielding transition in amorphous materials under cyclic loading.


title: Robust Risk Minimization for Statistical Learning

abstract: We consider a general statistical learning problem where an unknown fraction of the training data is corrupted. We develop a robust learning method that only requires specifying an upper bound on the corrupted data fraction. The method minimizes a risk function defined by a non-parametric distribution with unknown probability weights. We derive and analyse the optimal weights and show how they provide robustness against corrupted data. Furthermore, we give a computationally efficient coordinate descent algorithm to solve the risk minimization problem. We demonstrate the wide range applicability of the method, including regression, classification, unsupervised learning and classic parameter estimation, with state-of-the-art performance.


title: On Universal Approximation by Neural Networks with Uniform Guarantees on Approximation of Infinite Dimensional Maps

abstract: The study of universal approximation of arbitrary functions $f: \mathcal{X} \to \mathcal{Y}$ by neural networks has a rich and thorough history dating back to Kolmogorov (1957). In the case of learning finite dimensional maps, many authors have shown various forms of the universality of both fixed depth and fixed width neural networks. However, in many cases, these classical results fail to extend to the recent use of approximations of neural networks with infinitely many units for functional data analysis, dynamical systems identification, and other applications where either $\mathcal{X}$ or $\mathcal{Y}$ become infinite dimensional. Two questions naturally arise: which infinite dimensional analogues of neural networks are sufficient to approximate any map $f: \mathcal{X} \to \mathcal{Y}$, and when do the finite approximations to these analogues used in practice approximate $f$ uniformly over its infinite dimensional domain $\mathcal{X}$? In this paper, we answer the open question of universal approximation of nonlinear operators when $\mathcal{X}$ and $\mathcal{Y}$ are both infinite dimensional. We show that for a large class of different infinite analogues of neural networks, any continuous map can be approximated arbitrarily closely with some mild topological conditions on $\mathcal{X}$. Additionally, we provide the first lower-bound on the minimal number of input and output units required by a finite approximation to an infinite neural network to guarantee that it can uniformly approximate any nonlinear operator using samples from its inputs and outputs.


title: iVRNote: Design, Creation and Evaluation of an Interactive Note-Taking Interface for Study and Reflection in VR Learning Environments

abstract: In this contribution, we design, implement and evaluate the pedagogical benefits of a novel interactive note taking interface (iVRNote) in VR for the purpose of learning and reflection lectures. In future VR learning environments, students would have challenges in taking notes when they wear a head mounted display (HMD). To solve this problem, we installed a digital tablet on the desk and provided several tools in VR to facilitate the learning experience. Specifically, we track the stylus position and orientation in the physical world and then render a virtual stylus in VR. In other words, when students see a virtual stylus somewhere on the desk, they can reach out with their hand for the physical stylus. The information provided will also enable them to know where they will draw or write before the stylus touches the tablet. Since the presented iVRNote featuring our note taking system is a digital environment, we also enable students save efforts in taking extensive notes by providing several functions, such as post-editing and picture taking, so that they can pay more attention to lectures in VR. We also record the time of each stroke on the note to help students review a lecture. They can select a part of their note to revisit the corresponding segment in a virtual online lecture. Figures and the accompanying video demonstrate the feasibility of the presented iVRNote system. To evaluate the system, we conducted a user study with 20 participants to assess the preference and pedagogical benefits of the iVRNote interface.


title: A deep surrogate approach to efficient Bayesian inversion in PDE and integral equation models

abstract: We investigate a deep learning approach to efficiently perform Bayesian inference in partial differential equation (PDE) and integral equation models over potentially high-dimensional parameter spaces. The contributions of this paper are two-fold; the first is the introduction of a neural network approach to approximating the solutions of Fredholm and Volterra integral equations of the first and second kind. The second is the development of a new, efficient deep learning-based method for Bayesian inversion applied to problems that can be described by PDEs or integral equations. To achieve this we introduce a surrogate model, and demonstrate how this allows efficient sampling from a Bayesian posterior distribution in which the likelihood depends on the solutions of PDEs or integral equations. Our method relies on the direct approximation of parametric solutions by neural networks, without need of traditional numerical solves. This deep learning approach allows the accurate and efficient approximation of parametric solutions in significantly higher dimensions than is possible using classical discretisation schemes. Since the approximated solutions can be cheaply evaluated, the solutions of Bayesian inverse problems over large parameter spaces are efficient using Markov chain Monte Carlo. We demonstrate the performance of our method using two real-world examples; these include Bayesian inference in the PDE and integral equation case for an example from electrochemistry, and Bayesian inference of a function-valued heat-transfer parameter with applications in aviation.


title: Critical behavior near the many-body localization transition in driven open systems

abstract: Coupling a many-body localized system to a thermal bath breaks local conservation laws and washes out signatures of localization. When the bath is non-thermal or when the system is also weakly driven, local conserved quantities acquire a highly non-thermal stationary value. We demonstrate how this property can be used to study the many-body localization phase transition in weakly open systems. Here, the strength of the coupling to the non-thermal baths plays a similar role as a finite temperature in a $T=0$ quantum phase transition. By tuning this parameter, we can detect key features of the MBL transition: the divergence of the dynamical exponent due to Griffiths effects in one dimension and the critical disorder strength. We apply these ideas to study the MBL critical point numerically. The possibility to observe critical signatures of the MBL transition in an open system allows for new numerical approaches that overcome the limitations of exact diagonalization studies. Here we propose a scalable numerical scheme to study the MBL critical point using matrix-product operator solution to the Lindblad equation.


title: Coscattering in next-to-minimal dark matter and split supersymmetry

abstract: In some models of thermal relic dark matter, the relic abundance may be set by inelastic scattering processes (rather than annihilations) becoming inefficient as the universe cools down. This effect has been called coscattering. We present a procedure to numerically solve the full momentum-dependent Boltzmann equations in coscattering, which allows for a precise calculation of the dark matter relic density including the effects of early kinetic decoupling. We apply our method to a simple model, containing a fermionic SU(2) triplet and a fermionic singlet with electroweak-scale masses, at small triplet-singlet mixing. The relic density can be set by either coannihilation or, at values of the mixing angle $\theta\lesssim 10^{-5}$, by coscattering. We identify the parameter ranges which give rise to the observed relic abundance. As a special case, we study bino-like dark matter in split supersymmetry at large $\mu$.


title: Noetherian rings of low global dimension and syzygetic prime ideals

abstract: Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal of $R$ is syzygetic. As a consequence, one derives a characterization of these rings using the Andr\'e-Quillen homology.


title: An efficient numerical scheme for a 3D spherical dynamo equation

abstract: We develop an efficient numerical scheme for the 3D mean-field spherical dynamo equation. The scheme is based on a semi-implicit discretization in time and a spectral method in space based on the divergence-free spherical harmonic functions. A special semi-implicit approach is proposed such that at each time step one only needs to solve a linear system with constant coefficients. Then, using expansion in divergence-free spherical harmonic functions in the transverse directions allows us to reduce the linear system at each time step to a sequence of one-dimensional equations in the radial direction, which can then be efficiently solved by using a spectral-element method. We show that the solution of fully discretized scheme remains bounded independent of the number of unknowns, and present numerical results to validate our scheme.


title: Extensions of the Algorithmic Lovasz Local Lemma

abstract: We consider recent formulations of the algorithmic Lovasz Local Lemma by Achlioptas-Iliopoulos-Kolmogorov [2] and by Achlioptas-Iliopoulos-Sinclair [3]. These papers analyze a random walk algorithm for finding objects that avoid undesired "bad events" (or "flaws"), and prove that under certain conditions the algorithm is guaranteed to find a "flawless" object quickly. We show that conditions proposed in these papers are incomparable, and introduce a new family of conditions that includes those in [2, 3] as special cases. We also consider another condition that appeared in [3] in the context of sparse k-SAT formulas. This condition imposes a constraint for each variable of the problem, whereas traditional LLL formulations impose a constraint for each clause. Achlioptas et al. handled the variable-based condition via a reduction to a different condition and then applying a single-clause backtracking algorithm. We propose a new condition that directly captures the sparse k-SAT application considered in [3], and allows the use of the standard local search algorithm (which offers important advantages such as parallelization). Finally, we extend our previous notion of "commutativity" from [20] and prove several implications of commutativity using some new tools that we develop. In particular, we simplify the result of Iliopoulos [16] about approximating the LLL distribution.


title: Extending perfect matchings to Hamiltonian cycles in line graphs

abstract: A graph admitting a perfect matching has the Perfect-Matching-Hamiltonian property (for short the PMH-property) if each of its perfect matchings can be extended to a Hamiltonian cycle. In this paper we establish some sufficient conditions for a graph $G$ in order to guarantee that its line graph $L(G)$ has the PMH-property. In particular, we prove that this happens when $G$ is (i) a Hamiltonian graph with maximum degree at most $3$, (ii) a complete graph, or (iii) an arbitrarily traceable graph. Further related questions and open problems are proposed along the paper.


title: The role of C/O in nitrile astrochemistry in PDRs and planet-forming disks

abstract: Complex nitriles, such as HC3N, and CH3CN, are observed in a wide variety of astrophysical environments, including at relatively high abundances in photon-dominated regions (PDR) and the UV exposed atmospheres of planet-forming disks. The latter have been inferred to be oxygen-poor, suggesting that these observations may be explained by organic chemistry in C-rich environments. In this study we first explore if the PDR complex nitrile observations can be explained by gas-phase PDR chemistry alone if the elemental C/O ratio is elevated. In the case of the Horsehead PDR, we find that gas-phase chemistry with C/O $\gtrsim$ 0.9 can indeed explain the observed nitrile abundances, increasing predicted abundances by several orders of magnitude compared to standard C/O assumptions. We also find that the nitrile abundances are sensitive to the cosmic ray ionization treatment, and provide constraints on the branching ratios between CH3CN and CH3NC productions. In a fiducial disk model, an elevated C/O ratio increases the CH3CN and HC3N productions by more than an order of magnitude, bringing abundance predictions within an order of magnitude to what has been inferred from observations. The C/O ratio appears to be a key variable in predicting and interpreting complex organic molecule abundances in photon-dominated regions across a range of scales.


title: General-relativistic pulsar radio and high-energy emission

abstract: According to current pulsar emission models, photons are produced within their magnetosphere or inside the current sheet outside the light-cylinder. Radio emission is favoured in the vicinity of the polar caps whereas the high-energy counterpart is presumably enhanced in regions around the light-cylinder, magnetosphere or/and wind. However, gravitational impacts on light-curves and their spectral properties have only been sparsely touched. In this paper, we present a new method to simulate the influence of the neutron star gravitational field on its emission according to general relativity. We numerically compute photon trajectories assuming a background Schwarzschild metric, applying our method to neutron star radiation mechanisms, like thermal emission from hot spots and non-thermal magnetospheric emission by curvature radiation. We detail the general-relativistic impacts onto observations made by a distant observer. Sky maps are computed using the vacuum electromagnetic field of a general-relativistic rotating dipole. We compare Newtonian results to their general-relativistic counterpart. For magnetospheric emission, we show that, more importantly than the aberration and the curvature of the trajectory of the photons, the Shapiro time delay significantly affected the phase delay between radio and high-energy light curves although the characteristic pulse profile that defines pulsar emission is kept.


title: Element-selective tracking ultrafast demagnetization process in Co/Pt multilayer thin films by the resonant magneto-optical Kerr effect

abstract: We examined the photo-induced dynamics of ferromagnetic Co/Pt thin films demonstrating perpendicular magnetic anisotropy with element specificity using resonant polar magneto-optical Kerr effect measurements at Pt~N${}_{6,7}$ and Co~M${}_{2,3}$ edges with an x-ray free electron laser. The obtained results showed a clear element dependence of photo-induced demagnetization time scales: $\tau_\textrm{demag.}^\textrm{Co}=80\pm60~\textrm{fs}$ and $\tau_\textrm{demag.}^\textrm{Pt}=640\pm140~\textrm{fs}$. This dependence is explained by the induced moment of the Pt atom by current flow from the Co layer through the interfaces. The observed magnetization dynamics of Co and Pt can be attributed to the characteristics of photo-induced Co/Pt thin film phenomena including all-optical switching.


title: CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination

abstract: Programming languages, libraries, and development tools have transformed the application development processes for mobile computing and machine learning. This paper introduces the CyPhyHouse - a toolchain that aims to provide similar programming, debugging, and deployment benefits for distributed mobile robotic applications. Users can develop hardware-agnostic, distributed applications using the high-level, event driven Koord programming language, without requiring expertise in controller design or distributed network protocols. The modular, platform-independent middleware of CyPhyHouse implements these functionalities using standard algorithms for path planning (RRT), control (MPC), mutual exclusion, etc. A high-fidelity, scalable, multi-threaded simulator for Koord applications is developed to simulate the same application code for dozens of heterogeneous agents. The same compiled code can also be deployed on heterogeneous mobile platforms. The effectiveness of CyPhyHouse in improving the design cycles is explicitly illustrated in a robotic testbed through development, simulation, and deployment of a distributed task allocation application on in-house ground and aerial vehicles.


title: SEUSS: Rapid serverless deployment using environment snapshots

abstract: Modern FaaS systems perform well in the case of repeat executions when function working sets stay small. However, these platforms are less effective when applied to more complex, large-scale and dynamic workloads. In this paper, we introduce SEUSS (serverless execution via unikernel snapshot stacks), a new system-level approach for rapidly deploying serverless functions. Through our approach, we demonstrate orders of magnitude improvements in function start times and cacheability, which improves common re-execution paths while also unlocking previously-unsupported large-scale bursty workloads.


title: Spatio-Chromatic Information available from different Neural Layers via Gaussianization

abstract: How much visual information about the retinal images can be extracted from the different layers of the visual pathway?. Separate subsystems (e.g. opponent channels, spatial filters, nonlinearities of the texture sensors) have been suggested to be organized for optimal information transmission. However, the efficiency of these different layers has not been measured when they operate together on colorimetrically calibrated natural images and using multivariate information-theoretic units over the joint spatio-chromatic array of responses. In this work we present a statistical tool to address this question in an appropriate (multivariate) way. Specifically, we propose an empirical estimate of the information transmitted by the system based on a recent Gaussianization technique that reduces the challenging multivariate PDF estimation problem to a set of simpler univariate estimations. Total correlation measured using the proposed estimator is consistent with predictions based on the analytical Jacobian of a standard spatio-chromatic model of the retina-cortex pathway. If the noise at certain representation is proportional to the dynamic range of the response, and one assumes sensors of equivalent noise level, transmitted information shows the following trends: (1) progressively deeper representations are better in terms of the amount of information about the input, (2) the transmitted information up to the cortical representation follows the PDF of natural scenes over the chromatic and achromatic dimensions of the stimulus space, (3) the contribution of spatial transforms to capture visual information is substantially bigger than the contribution of chromatic transforms, and (4) nonlinearities of the responses contribute substantially to the transmitted information but less than the linear transforms.


title: Quantum Brownian Motion of a particle from Casimir-Polder Interactions

abstract: We study the fluctuation-induced dissipative dynamics of the quantized center of mass motion of a polarizable dielectric particle trapped near a surface. The particle's center of mass is treated as an open quantum system coupled to the electromagnetic field acting as its environment, with the resulting system dynamics described by a quantum Brownian motion master equation. The dissipation and decoherence of the particle's center of mass are characterized by the modified spectral density of the electromagnetic field that depends on surface losses and the strength of the classical trap field. Our results are relevant to experiments with levitated dielectric particles near surfaces, illustrating potential ways of mitigating fluctuation-induced decoherence while preparing such systems in macroscopic quantum states.


title: Torsion growth of rational elliptic curves in sextic number fields

abstract: We classify the possible torsion structures of rational elliptic curves over sextic number fields.


title: Gapless quantum spin liquid in a honeycomb $\Gamma$ magnet

abstract: A family of spin-orbit coupled honeycomb Mott insulators offers a playground to search for quantum spin liquids (QSLs) via bond-dependent interactions. In candidate materials, a symmetric off-diagonal $\Gamma$ term, close cousin of Kitaev interaction, has emerged as another source of frustration that is essential for complete understanding of these systems. However, the ground state of honeycomb $\Gamma$ model remains elusive, with a suggested zigzag magnetic order. Here we attempt to resolve the puzzle by perturbing the $\Gamma$ region with a staggered Heisenberg interaction which favours the zigzag ordering. Despite such favour, we find a wide disordered region inclusive of the $\Gamma$ limit in the phase diagram. Further, this phase exhibits a vanishing energy gap, a collapse of excitation spectrum, and a logarithmic entanglement entropy scaling on long cylinders, indicating a gapless QSL. Other quantities such as plaquette-plaquette correlation are also discussed.


title: Quantum-classical dynamical distance and quantumness of quantum walks

abstract: We introduce a fidelity-based measure $\text{D}_{\text{CQ}}(t)$ to quantify the differences between the dynamics of classical (CW) and quantum (QW) walks over a graph. We provide universal, graph-independent, analytic expressions of this quantum-classical dynamical distance, showing that at short times $\text{D}_{\text{CQ}}(t)$ is proportional to the coherence of the walker, i.e. a genuine quantum feature, whereas for long times it depends only on the size of the graph. At intermediate times, $\text{D}_{\text{CQ}}(t)$ does depend on the graph topology through its algebraic connectivity. Our results show that the difference in the dynamical behaviour of classical and quantum walks is entirely due to the emergence of quantum features at short times. In the long time limit, quantumness and the different nature of the generators of the dynamics, e.g. the open system nature of CW and the unitary nature of QW, are instead contributing equally.


title: Dark matter around primordial black hole at the radiation-dominated stage

abstract: The accumulation of dark matter particles near the primordial black holes starts at the radiation-dominated cosmological stage and produces the central density spikes. The spikes can be the bright gamma-ray sources due to dark matter annihilation. We present the self-consistent derivation of the equation of motion of particle in the metrics of primordial black hole immersed into cosmological background. By numerical solution of this equation we find the central dark matter density profile. The density growth is suppressed in the central part of the profile compared with previous calculations.


title: On partisan bias in redistricting: computational complexity meets the science of gerrymandering

abstract: The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating gerrymandering has enormous implications to sustain the backbone of democratic principles of a society. Although there is no dearth of legal briefs involving gerrymandering over many years, it is only more recently that mathematicians and applied computational researchers have started to investigate this topic. However, it has received relatively little attention so far from the computational complexity researchers dealing with theoretical analysis of computational complexity issues, such as computational hardness, approximability issues, etc. There could be many reasons for this, such as descriptions of these problem non-CS non-math (often legal or political) journals that theoretical CS (TCS) people usually do not follow, or the lack of coverage of these topics in TCS publication venues. One of our modest goals in writing this article is to improve upon this situation by stimulating further interactions between the gerrymandering and TCS researchers. To this effect, our main contributions are twofold: (1) we provide formalization of several models, related concepts, and corresponding problem statements using TCS frameworks from the descriptions of these problems as available in existing non-TCS (perhaps legal) venues, and (2) we also provide computational complexity analysis of some versions of these problems, leaving other versions for future research. The goal of writing this article is not to have the final word on gerrymandering, but to introduce a series of concepts, models and problems to the TCS community and to show that science of gerrymandering involves an intriguing set of partitioning problems involving geometric and combinatorial optimization.

categories: cs.CC cs.CG cs.DM math.CO physics.soc-ph


title: Collapse and recovery times in non-linear harvesting with demographic stochasticity

abstract: Recent collapses of many fisheries across the globe have challenged the mathematical approach to these systems through classic bioeconomic models. Decimated populations did not recover as fast as predicted by these models and depensatory effects were introduced to better fit the dynamics at low population abundances. Alternative to depensation, modeling captures by non-linear harvesting functions produces equivalent outcomes at small abundances, and the dynamics undergoes a bifurcation leading to population collapse and recovery once catching efforts are above or below certain thresholds, respectively. The time that a population takes to undergo these transitions has been mostly overlooked in bioeconomic contexts, though. In this work we quantify analytically and numerically the times associated to these collapse and recovery transitions in a model incorporating non-linear harvesting and immigration in the presence and absence of demographic stochasticity. Counterintuitively, although species at low abundances are prone to extinction due to demographic stochasticity, our results show that stochastic collapse and recovery times are upper bounded by their deterministic estimates. This occurs over the full range of immigration rates. Our work may have relevant quantitative implications in the context of fishery management and rebuilding.


title: Evidence for H$_{2}$ Dissociation and Recombination Heat Transport in the Atmosphere of KELT-9b

abstract: Phase curve observations provide an opportunity to study the full energy budgets of exoplanets by quantifying the amount of heat redistributed from their daysides to their nightsides. Theories explaining the properties of phase curves for hot Jupiters have focused on the balance between radiation and dynamics as the primary parameter controlling heat redistribution. However, recent phase curves have shown deviations from the trends that emerge from this theory, which has led to work on additional processes that may affect hot Jupiter energy budgets. One such process, molecular hydrogen dissociation and recombination, can enhance energy redistribution on ultra-hot Jupiters with temperatures above $\sim2000$ K. In order to study the impact of H$_{2}$ dissociation on ultra-hot Jupiters, we present a phase curve of KELT-9b observed with the Spitzer Space Telescope at 4.5 $\mu$m. KELT-9b is the hottest known transiting planet, with a 4.5-$\mu$m dayside brightness temperature of $4566^{+140}_{-136}$ K and a nightside temperature of $2556^{+101}_{-97}$ K. We observe a phase curve amplitude of $0.609 \pm 0.020$ and a hot spot offset of $18.7^{+2.1}_{-2.3}$ degrees. The observed amplitude is too small to be explained by a simple balance between radiation and advection. General circulation models (GCMs) and an energy balance model that include the effects of H$_{2}$ dissociation and recombination provide a better match to the data. The GCMs, however, predict a maximum hot spot offset of $5$ degrees, which disagrees with our observations at $>5\sigma$ confidence. This discrepancy may be due to magnetic effects in the planet's highly ionized atmosphere.


title: Incremental learning for the detection and classification of GAN-generated images

abstract: Current developments in computer vision and deep learning allow to automatically generate hyper-realistic images, hardly distinguishable from real ones. In particular, human face generation achieved a stunning level of realism, opening new opportunities for the creative industry but, at the same time, new scary scenarios where such content can be maliciously misused. Therefore, it is essential to develop innovative methodologies to automatically tell apart real from computer generated multimedia, possibly able to follow the evolution and continuous improvement of data in terms of quality and realism. In the last few years, several deep learning-based solutions have been proposed for this problem, mostly based on Convolutional Neural Networks (CNNs). Although results are good in controlled conditions, it is not clear how such proposals can adapt to real-world scenarios, where learning needs to continuously evolve as new types of generated data appear. In this work, we tackle this problem by proposing an approach based on incremental learning for the detection and classification of GAN-generated images. Experiments on a dataset comprising images generated by several GAN-based architectures show that the proposed method is able to correctly perform discrimination when new GANs are presented to the network


title: Exploring Positive Noise in Estimation Theory

abstract: Estimation of a deterministic quantity observed in non-Gaussian additive noise is explored via order statistics approach. More specifically, we study the estimation problem when measurement noises either have positive supports or follow a mixture of normal and uniform distribution. This is a problem of great interest specially in cellular positioning systems where the wireless signal is prone to multiple sources of noises which generally have a positive support. Multiple noise distributions are investigated and, if possible, minimum variance unbiased (MVU) estimators are derived. In case of uniform, exponential and Rayleigh noise distributions, unbiased estimators without any knowledge of the hyper parameters of the noise distributions are also given. For each noise distribution, the proposed order statistic-based estimator's performance, in terms of mean squared error, is compared to the best linear unbiased estimator (BLUE), as a function of sample size, in a simulation study.


title: Prediction of GNSS Phase Scintillations: A Machine Learning Approach

abstract: A Global Navigation Satellite System (GNSS) uses a constellation of satellites around the earth for accurate navigation, timing, and positioning. Natural phenomena like space weather introduce irregularities in the Earth's ionosphere, disrupting the propagation of the radio signals that GNSS relies upon. Such disruptions affect both the amplitude and the phase of the propagated waves. No physics-based model currently exists to predict the time and location of these disruptions with sufficient accuracy and at relevant scales. In this paper, we focus on predicting the phase fluctuations of GNSS radio waves, known as phase scintillations. We propose a novel architecture and loss function to predict 1 hour in advance the magnitude of phase scintillations within a time window of plus-minus 5 minutes with state-of-the-art performance.


title: Control of anomalous diffusion of a Bose polaron

abstract: We study the diffusive behavior of a Bose polaron immersed in a coherently coupled two-component Bose-Einstein Condensate (BEC). Polaron superdiffuses if it couples in the same manner to both components, i.e. either attractively or repulsively to both of them. This is the same behavior as that of an impurity immersed in a single BEC. Conversely, the polaron exhibits a transient nontrivial subdiffusive behavior if it couples attractively to one of the components and repulsively to the other. The anomalous diffusion exponent and the duration of the subdiffusive interval can be controlled with the Rabi frequency of the coherent coupling between the two components, and with the coupling strength of the impurity to the BEC.


title: On a Conjecture of Colliot-Thelene

abstract: The aim of this short note is to extend results by Denef and Loughran, Skorobogatov, Smeets concerning refinements of a conjecture of Colliot-Thelene. The problem is about giving necessary and sufficient conditions for morphisms of varieties to be surjective on local points for almost all localizations.


title: Capacity Characterization for Intelligent Reflecting Surface Aided MIMO Communication

abstract: Intelligent reflecting surface (IRS) is a promising solution to enhance the wireless communication capacity both cost-effectively and energy-efficiently, by properly altering the signal propagation via tuning a large number of passive reflecting units. In this paper, we aim to characterize the fundamental capacity limit of IRS-aided point-to-point multiple-input multiple-output (MIMO) communication systems with multi-antenna transmitter and receiver in general, by jointly optimizing the IRS reflection coefficients and the MIMO transmit covariance matrix. First, we consider narrowband transmission under frequency-flat fading channels, and develop an efficient alternating optimization algorithm to find a locally optimal solution by iteratively optimizing the transmit covariance matrix or one of the reflection coefficients with the others being fixed. Next, we consider capacity maximization for broadband transmission in a general MIMO orthogonal frequency division multiplexing (OFDM) system under frequency-selective fading channels, where transmit covariance matrices can be optimized for different subcarriers while only one common set of IRS reflection coefficients can be designed to cater to all subcarriers. To tackle this more challenging problem, we propose a new alternating optimization algorithm based on convex relaxation to find a high-quality suboptimal solution. Numerical results show that our proposed algorithms achieve substantially increased capacity compared to traditional MIMO channels without the IRS, and also outperform various benchmark schemes. In particular, it is shown that with the proposed algorithms, various key parameters of the IRS-aided MIMO channel such as channel total power, rank, and condition number can be significantly improved for capacity enhancement.


title: Magnetic exchange interactions in SrMnO$_3$

abstract: We calculate Heisenberg-type magnetic exchange interactions for SrMnO$_3$ under isotropic volume expansion using an approach that is based on total energy variations due to infinitesimal spin rotations around a given reference state. Our total energy calculations using density functional theory (DFT) indicate a transition from antiferromagnetic to ferromagnetic coupling for increasing interatomic distances, corresponding to a sign change of the nearest neighbor exchange interaction. This sign change cannot easily be understood from a standard superexchange mechanism. Furthermore, the exchange interaction strongly depends on the corresponding reference state. This "non-Heisenberg" behavior increases with increasing volume and is also confirmed through non-collinear DFT calculations. An orbital- and energy-resolved decomposition of the exchange coupling suggests that an increased partial occupancy of $e_g$ orbitals near the Fermi level is crucial both for the sign change and the non-Heisenberg behavior of the nearest neighbor interaction. Furthermore, even though both $e_g$ and $t_{2g}$ contributions to the exchange interactions decay exponentially for large inter-atomic distances, the $e_g$ contribution remains surprisingly strong over relatively large distances along the crystal axes.


title: Comparative study of heat-driven and power-driven refrigerators with Coulomb-coupled quantum dots

abstract: Multi-terminal multi-dot devices have been put forward as versatile and performant setups for thermoelectric energy harvesting at the nanoscale. With a technique that encompasses and overtakes several of the usual theoretical tools used in this context, we explore a three-terminal Coulomb-coupled-dot device for refrigeration purposes. The refrigerator is monitored by either a voltage or a thermal bias. This comparative study shows that heat driven refrigerator is much underperforming than the power driven one, due to scarce on-dot charge fluctuations.


title: Time dependence of the p/He ratio in cosmic rays according to the force-field approximation

abstract: We study the predictions for the p/He ratio in galactic cosmic rays according to the force-field approximation. The dependence of the time variation of p/He on the local interstellar spectrum (LIS) shape and on the mass-to-charge ratio, A/Z, is analyzed in detail. We find that, depending on the rigidity range and the sign of the spectral index of the p/He LIS ratio, the p/He time variation can be correlated or anti-correlated with the phase of the solar cycle. We show that the A/Z dependence is the most probable cause for the p/He decrease recently observed by AMS-02 after 2015 between 2 and 3 GV.


title: DC vacuum breakdown in an external magnetic field

abstract: The subject of the present theoretical and experimental investigations is the effect of the external magnetic field induction on dark current and a possibility of breakdown. The generalization of the Fowler-Nordheim equation makes it possible to take into account the influence of a magnetic field parallel to the cathode surface on the field emission current. The reduction in the breakdown voltage due to the increment in electron-impact ionization was theoretical predicted. Experimentally shown that the presence of a magnetic field about a tenth as a large as the cutoff magnetic field [18] reduces the breakdown voltage by 10% to 20% for practically all cathodes no matter what their surface treatment.


title: GDP: Generalized Device Placement for Dataflow Graphs

abstract: Runtime and scalability of large neural networks can be significantly affected by the placement of operations in their dataflow graphs on suitable devices. With increasingly complex neural network architectures and heterogeneous device characteristics, finding a reasonable placement is extremely challenging even for domain experts. Most existing automated device placement approaches are impractical due to the significant amount of compute required and their inability to generalize to new, previously held-out graphs. To address both limitations, we propose an efficient end-to-end method based on a scalable sequential attention mechanism over a graph neural network that is transferable to new graphs. On a diverse set of representative deep learning models, including Inception-v3, AmoebaNet, Transformer-XL, and WaveNet, our method on average achieves 16% improvement over human experts and 9.2% improvement over the prior art with 15 times faster convergence. To further reduce the computation cost, we pre-train the policy network on a set of dataflow graphs and use a superposition network to fine-tune it on each individual graph, achieving state-of-the-art performance on large hold-out graphs with over 50k nodes, such as an 8-layer GNMT.


title: Multi-functional resonant acoustic networks for wave routing

abstract: We demonstrate that asymmetric 3-port devices can be used to design a multi-functional set-up operating as a symmetric combiner and splitter at the same frequency. For a concrete implementation of the proposed multi-functionality protocol, we employ a resonant acoustic 3-port device operating in a subwavelength regime, showing splitting/combining abilities with nearly perfect transmission in presence of losses, induced by the interactions of the system's resonances. Finally, as an extension of the 3-port multi-functionality concept, we propose a new type of 4-port networks, consisting in an assembly of 3-port unit cells with combining/splitting properties, capable to achieve various wave guiding features with perfect transmission depending on the phase of the inputs.