title: Quillen cohomology of $(\infty,2)$-categories

abstract: In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized spectrum. More precisely, we construct an analogue of the twisted arrow category for an $(\infty,2)$-category $\mathbb{C}$, which we call its twisted 2-cell $\infty$-category. We then establish an equivalence between parameterized spectrum objects over $\mathbb{C}$, and diagrams of spectra indexed by the twisted 2-cell $\infty$-category of $\mathbb{C}$. Under this equivalence, the Quillen cohomology of $\mathbb{C}$ with values in such a diagram of spectra is identified with the two-fold suspension of its inverse limit spectrum. As an application, we provide an alternative, obstruction-theoretic proof of the fact that adjunctions between $(\infty,1)$-categories are uniquely determined at the level of the homotopy $(3, 2)$-category of $\mathrm{Cat}_{\infty}$.


title: When Renewable Energy Meets Building Thermal Mass: A Real-time Load Management Scheme

abstract: We consider the optimal power management in renewable driven smart building MicroGrid under noise corrupted conditions as a stochastic optimization problem. We first propose our user satisfaction and electricity consumption balanced (USECB) profit model as the objective for optimal power management. We then cast the problem in noise corrupted conditions into the class of expectation maximizing in stochastic optimization problem with convex constraints. For this task, we design a Bregemen projection based mirror decent algorithm as an approximation solution to our stochastic optimization problem. Convergence and upper-bound of our algorithm with proof are also provided in our paper. We then conduct a broad type of experiment in our simulation to test the justification of our model as well as the effectiveness of our algorithm.


title: Yields and production rates of cosmogenic $^9$Li and $^8$He measured with the Double Chooz near and far detectors

abstract: The yields and production rates of the radioisotopes $^9$Li and $^8$He created by cosmic muon spallation on $^{12}$C, have been measured by the two detectors of the Double Chooz experiment. The identical detectors are located at separate sites and depths, which means they are subject to different muon spectra. The near (far) detector has an overburden of $\sim$120 m.w.e. ($\sim$300 m.w.e.) corresponding to a mean muon energy of $32.1\pm2.0\,\mathrm{GeV}$ ($63.7\pm5.5\,\mathrm{GeV}$). Comparing the data to a detailed simulation of the $^9$Li and $^8$He decays, the contribution of the $^8$He radioisotope at both detectors is found to be compatible with zero. The observed $^9$Li yields in the near and far detectors are $5.51\pm0.51$ and $7.90\pm0.51$, respectively, in units of $10^{-8}\mu ^{-1} \mathrm{g^{-1} cm^{2} }$. The shallow overburdens of the near and far detectors give a unique insight when combined with measurements by KamLAND and Borexino to give the first multi--experiment, data driven relationship between the $^9$Li yield and the mean muon energy according to the power law $Y = Y_0( <E_{\mu} >/ 1\,\mathrm{GeV})^{\overline{\alpha}}$, giving $\overline{\alpha}=0.72\pm0.06$ and $Y_0=(0.43\pm0.11)\times 10^{-8}\mu ^{-1} \mathrm{g^{-1} cm^{2}}$. This relationship gives future liquid scintillator based experiments the ability to predict their cosmogenic $^9$Li background rates.


title: Seidel's conjectures in hyperbolic 3-space

abstract: We prove, in the case of hyperbolic 3-space, a couple of conjectures raised by J. J. Seidel in "On the volume of a hyperbolic simplex", Stud. Sci. Math. Hung. 21, 243-249, 1986. These conjectures concern expressing the volume of an ideal hyperbolic tetrahedron as a monotonic function of algebraic maps. More precisely, Seidel's first conjecture states that the volume of an ideal tetrahedron in hyperbolic 3-space is determined by (the permanent and the determinant of) the doubly stochastic Gram matrix $G$ of its vertices; Seidel's fourth conjecture claims that the mentioned volume is a monotonic function of both the permanent and the determinant of $G$.


title: Renormalization Group Flow of the Aharonov-Bohm Scattering Amplitude

abstract: The Aharonov-Bohm elastic scattering with incident particles described by plane waves is revisited by using the phase-shifts method. The formal equivalence between the cylindrical Schr\"odinger equation and the one-dimensional Calogero problem allows us to show that up to two scattering phase-shifts modes in the cylindrical waves expansion must be renormalized. The renormalization procedure introduces new length scales giving rise to spontaneous breaking of the conformal symmetry. The new renormalized cross-section has an amazing property of being non-vanishing even for a quantized magnetic flux, coinciding with the case of Dirac delta function potential. The knowledge of the exact beta function permits us to describe the renormalization group flows within the two-parametric family of renormalized Aharonov-Bohm scattering amplitudes. Our analysis demonstrates that for quantized magnetic fluxes a BKT-like phase transition at the coupling space occurs.


title: Strategies for Reduced-Order Models for Predicting the Statistical Responses and Uncertainty Quantification in Complex Turbulent Dynamical Systems

abstract: Turbulent dynamical systems characterized by both a high-dimensional phase space and a large number of instabilities are ubiquitous among many complex systems in science and engineering. The existence of a strange attractor in the turbulent systems containing a large number of positive Lyapunov exponents results in a rapid growth of small uncertainties, requiring naturally a probabilistic characterization for the evolution of the turbulent system. Uncertainty quantification in turbulent dynamical systems is a grand challenge where the goal is to obtain statistical estimates such as the change in mean and variance for key physical quantities in their nonlinear responses to changes in external forcing parameters or uncertain initial data. One central issue in contemporary research is the development of a systematic methodology that can recover the crucial features of the natural system in statistical equilibrium (model fidelity) and improve the imperfect model prediction skill in response to various external perturbations (model sensitivity). A general mathematical framework to construct statistically accurate reduced-order models that have skill in capturing the statistical variability in the principal directions with largest energy of a general class of damped and forced complex turbulent dynamical systems is discussed here. The methods are developed under a universal class of turbulent dynamical systems with quadratic nonlinearity that is representative in many applications in applied mathematics and engineering. The validity of general framework of reduced-order models is demonstrated on instructive stochastic triad models. Recent applications to two-layer baroclinic turbulence in the atmosphere and ocean with combinations of turbulent jets and vortices are also surveyed.


title: Data Consistency Simulation Tool for NoSQL Database Systems

abstract: Various data consistency levels have an important part in the integrity of data and also affect performance especially the data that is replicated many times across or over the cluster. Based on BASE and the theorem of CAP tradeoffs, most systems of NoSQL have more relaxed consistency guarantees than another kind of databases which implement ACID. Most systems of NoSQL gave different methods to adjust a required level of consistency to ensure the minimal numbering of the replicas accepted in each operation. Simulations are always depending on a simplified model and ignore many details and facts about the real system. Therefore, a simulation can only work as an estimation or an explanation vehicle for observed behavior. So to create simulation tool, I have to characterize a model, identify influence factors and simply implement that depending on a (modeled) workload. In this paper, I have a model of simulation to measure the consistency of the data and to detect the data consistency violations in simulated network partition settings. So workloads are needed with the set of users who make requests and then put the results for analysis.


title: On the Effects of Resistive and Reactive Loads on Signal Amplification

abstract: The effects of reactive loads into amplification is studied. A simplified common emitter circuit configuration was adopted and respective time-independent and time-dependent voltage and current equations were obtained. As phasor analysis cannot be used because of the non-linearity, the voltage at the capacitor was represented in terms of the respective integral, implying a numerical approach. The effect of purely resistive loads was investigated first, and it was shown that the fanned structure of the transistor isolines can severely distort the amplification, especially for $V_a$ small and $s$ large. The total harmonic distortion was found not to depend on $V_a$, being determined by $s$ and the load resistance $R$. An expression was obtained for the current gain in terms of the base current and it was shown that it decreases in an almost perfectly linearly fashion with $I_B$. Remarkably, no gain variation, and hence perfectly linear amplification, is obtained when $R=0$, provided maximum power dissipation limits are not exceeded. Capacitive loads imply the detachment of the circuit trajectory from a straight line to an "ellipsoidal"-like loop. This implies a gain asymmetry along upper or lower arcs of this loop. By using the time-dependent circuit equations, it was possible to show numerically and by an analytical approximation that, at least for the adopted circuit and parameter values, the asymmetry induced by capacitive loads is not substantial. However, capacitive loads will imply lag between the output voltage and current and, hence, low-pass filtering. It was shown that smaller $V_a$ and larger $s$ can substantially reduce the phase lag, but at the cost of severe distortion.


title: VBALD - Variational Bayesian Approximation of Log Determinants

abstract: Evaluating the log determinant of a positive definite matrix is ubiquitous in machine learning. Applications thereof range from Gaussian processes, minimum-volume ellipsoids, metric learning, kernel learning, Bayesian neural networks, Determinental Point Processes, Markov random fields to partition functions of discrete graphical models. In order to avoid the canonical, yet prohibitive, Cholesky $\mathcal{O}(n^{3})$ computational cost, we propose a novel approach, with complexity $\mathcal{O}(n^{2})$, based on a constrained variational Bayes algorithm. We compare our method to Taylor, Chebyshev and Lanczos approaches and show state of the art performance on both synthetic and real-world datasets.


title: A Learning Based Approach for Uncertainty Analysis in Numerical Weather Prediction Models

abstract: Complex numerical weather prediction models incorporate a variety of physical processes, each described by multiple alternative physical schemes with specific parameters. The selection of the physical schemes and the choice of the corresponding physical parameters during model configuration can significantly impact the accuracy of model forecasts. There is no combination of physical schemes that works best for all times, at all locations, and under all conditions. It is therefore of considerable interest to understand the interplay between the choice of physics and the accuracy of the resulting forecasts under different conditions. This paper demonstrates the use of machine learning techniques to study the uncertainty in numerical weather prediction models due to the interaction of multiple physical processes. The first problem addressed herein is the estimation of systematic model errors in output quantities of interest at future times, and the use of this information to improve the model forecasts. The second problem considered is the identification of those specific physical processes that contribute most to the forecast uncertainty in the quantity of interest under specified meteorological conditions. The discrepancies between model results and observations at past times are used to learn the relationships between the choice of physical processes and the resulting forecast errors. Numerical experiments are carried out with the Weather Research and Forecasting (WRF) model. The output quantity of interest is the model precipitation, a variable that is both extremely important and very challenging to forecast. The physical processes under consideration include various micro-physics schemes, cumulus parameterizations, short wave, and long wave radiation schemes. The experiments demonstrate the strong potential of machine learning approaches to aid the study of model errors.


title: Cyclic variations with twice the accretion disk precession period in the old nova V603 Aquilae

abstract: A dense series of long and high time resolution light curves of the old nova V603 Aql, covering 22 nights (19 of which are consecutive), are analyzed in order to identify and characterize variations on the time scale of hours and days. The well known 3.5 hour modulation, observed many times in the past and considered to be due to a long lasting, albeit not entirely stable superhump, is recovered at a period of 0.1453 days and an amplitude of 0.062 mag. Most interesting, however, is the detection of highly significant brightness variations with an amplitude of 0.050 mag and a period of 5.85 days which is to a very high precision equal to twice the beat period between the orbital and the superhump period. The latter is generally interpreted as the precession period of an eccentric accretion disk. The origin of these long term variations remains unknown.


title: MagnifyMe: Aiding Cross Resolution Face Recognition via Identity Aware Synthesis

abstract: Enhancing low resolution images via super-resolution or image synthesis for cross-resolution face recognition has been well studied. Several image processing and machine learning paradigms have been explored for addressing the same. In this research, we propose Synthesis via Deep Sparse Representation algorithm for synthesizing a high resolution face image from a low resolution input image. The proposed algorithm learns multi-level sparse representation for both high and low resolution gallery images, along with an identity aware dictionary and a transformation function between the two representations for face identification scenarios. With low resolution test data as input, the high resolution test image is synthesized using the identity aware dictionary and transformation which is then used for face recognition. The performance of the proposed SDSR algorithm is evaluated on four databases, including one real world dataset. Experimental results and comparison with existing seven algorithms demonstrate the efficacy of the proposed algorithm in terms of both face identification and image quality measures.


title: Short time-scale optical variability properties of the largest AGN sample observed with Kepler/K2

abstract: We present the first short time-scale ($\sim$hours to days) optical variability study of a large sample of Active Galactic Nuclei (AGN) observed with the Kepler/K2 mission. The sample contains 252 AGN observed over four campaigns with $\sim 30$ minute cadence selected from the Million Quasar Catalogue with R magnitude $< 19$. We performed time series analysis to determine their variability properties by means of the power spectral densities (PSDs) and applied Monte Carlo techniques to find the best model parameters that fit the observed power spectra. A power-law model is sufficient to describe all the PSDs of our sample. A variety of power-law slopes were found indicating that there is not a universal slope for all AGN. We find that the rest-frame amplitude variability in the frequency range of $6\times10^{-6}-10^{-4}$ Hz varies from $1-10$ % with an average of 1.7 %. We explore correlations between the variability amplitude and key parameters of the AGN, finding a significant correlation of rest-frame short-term variability amplitude with redshift. We attribute this effect to the known "bluer when brighter" variability of quasars combined with the fixed bandpass of Kepler data. This study also enables us to distinguish between Seyferts and Blazars and confirm AGN candidates. For our study we have compared results obtained from light curves extracted using different aperture sizes and with and without de-trending. We find that limited de-trending of the optimal photometric precision light curve is the best approach, although some systematic effects still remain present.


title: Cooper-pair splitting in two parallel InAs nanowires

abstract: We report on the fabrication and electrical characterization of an InAs double - nanowire (NW) device consisting of two closely placed parallel NWs coupled to a common superconducting electrode on one side and individual normal metal leads on the other. In this new type of device we detect Cooper-pair splitting (CPS) with a sizeable efficiency of correlated currents in both NWs. In contrast to earlier experiments, where CPS was realized in a single NW, demonstrating an intrawire electron pairing mediated by the superconductor (SC), our experiment demonstrates an inter- wire interaction mediated by the common SC. The latter is the key for the realization of zero-magnetic field Majorana bound states, or Parafermions; in NWs and therefore constitutes a milestone towards topological superconductivity. In addition, we observe transport resonances that occur only in the superconducting state, which we tentatively attribute to Andreev Bound states and/or Yu-Shiba resonances that form in the proximitized section of one NW.


title: Shadows of spherically symmetric black holes and naked singularities

abstract: We compare shadows cast by Schwarzschild black holes with those produced by two classes of naked singularities that result from gravitational collapse of spherically symmetric matter. The latter models consist of an interior naked singularity spacetime restricted to radii $r\leq R_b$, matched to Schwarzschild spacetime outside the boundary radius $R_b$. While a black hole always has a photon sphere and always casts a shadow, we find that the naked singularity models have photon spheres only if a certain parameter $M_0$ that characterizes these models satisfies $M_0\geq 2/3$, or equivalently, if $R_b\leq 3M$, where $M$ is the total mass of the object. Such models do produce shadows. However, models with $M_0<2/3$ (or $R_b>3M$) have no photon sphere and do not produce a shadow. Instead, they produce an interesting `full-moon' image. These results imply that the presence of a shadow does not by itself prove that a compact object is necessarily a black hole. The object could be a naked singularity with $M_0\geq 2/3$, and we will need other observational clues to distinguish the two possibilities. On the other hand, the presence of a full-moon image would certainly rule out a black hole and might suggest a naked singularity with $M_0<2/3$. It would be worthwhile to generalize the present study, which is restricted to spherically symmetric models, to rotating black holes and naked singularities.


title: Algorithmic Collusion in Cournot Duopoly Market: Evidence from Experimental Economics

abstract: Algorithmic collusion is an emerging concept in current artificial intelligence age. Whether algorithmic collusion is a creditable threat remains as an argument. In this paper, we propose an algorithm which can extort its human rival to collude in a Cournot duopoly competing market. In experiments, we show that, the algorithm can successfully extorted its human rival and gets higher profit in long run, meanwhile the human rival will fully collude with the algorithm. As a result, the social welfare declines rapidly and stably. Both in theory and in experiment, our work confirms that, algorithmic collusion can be a creditable threat. In application, we hope, the frameworks, the algorithm design as well as the experiment environment illustrated in this work, can be an incubator or a test bed for researchers and policymakers to handle the emerging algorithmic collusion.


title: Analytic Continuation of $\zeta(s)$ Violates the Law of Non-Contradiction (LNC)

abstract: The Dirichlet series of $\zeta(s)$ was long ago proven to be divergent throughout half-plane $\text{Re}(s)\le1$. If also Riemann's proposition is true, that there exists an "expression" of $\zeta(s)$ that is convergent at all $s$ (except at $s=1$), then $\zeta(s)$ is both divergent and convergent throughout half-plane $\text{Re}(s)\le1$ (except at $s=1$). This result violates all three of Aristotle's "Laws of Thought": the Law of Identity (LOI), the Law of the Excluded Middle (LEM), and the Law of Non-Contradition (LNC). In classical and intuitionistic logics, the violation of LNC also triggers the "Principle of Explosion" / \textit{Ex Contradictione Quodlibet} (ECQ). In addition, the Hankel contour used in Riemann's analytic continuation of $\zeta(s)$ violates Cauchy's integral theorem, providing another proof of the invalidity of Riemann's $\zeta(s)$. Riemann's $\zeta(s)$ is one of the $L$-functions, which are all invalid due to analytic continuation. This result renders unsound all theorems (e.g. Modularity, Fermat's last) and conjectures (e.g. BSD, Tate, Hodge, Yang-Mills) that assume that an $L$-function (e.g. Riemann's $\zeta(s)$) is valid. We also show that the Riemann Hypothesis (RH) is not "non-trivially true" in classical logic, intuitionistic logic, or three-valued logics (3VLs) that assign a third truth-value to paradoxes (Bochvar's 3VL, Priest's $LP$).


title: Time-dependent nonlinear Jaynes-Cummings dynamics of a trapped ion

abstract: In quantum interaction problems with explicitly time-dependent interaction Hamiltonians, the time ordering plays a crucial role for describing the quantum evolution of the system under consideration. In such complex scenarios, exact solutions of the dynamics are rarely available. Here we study the nonlinear vibronic dynamics of a trapped ion, driven in the resolved sideband regime with some small frequency mismatch. By describing the pump field in a quantized manner, we are able to derive exact solutions for the dynamics of the system. This eventually allows us to provide analytical solutions for various types of time-dependent quantities. In particular, we study in some detail the electronic and the motional quantum dynamics of the ion, as well as the time evolution of the nonclassicality of the motional quantum state.


title: Computing the concurrency threshold of sound free-choice workflow nets

abstract: Workflow graphs extend classical flow charts with concurrent fork and join nodes. They constitute the core of business processing languages such as BPMN or UML Activity Diagrams. The activities of a workflow graph are executed by humans or machines, generically called resources. If concurrent activities cannot be executed in parallel by lack of resources, the time needed to execute the workflow increases. We study the problem of computing the minimal number of resources necessary to fully exploit the concurrency of a given workflow, and execute it as fast as possible (i.e., as fast as with unlimited resources). We model this problem using free-choice Petri nets, which are known to be equivalent to workflow graphs. We analyze the computational complexity of two versions of the problem: computing the resource and concurrency thresholds. We use the results to design an algorithm to approximate the concurrency threshold, and evaluate it on a benchmark suite of 642 industrial examples. We show that it performs very well in practice: It always provides the exact value, and never takes more than 30 milliseconds for any workflow, even for those with a huge number of reachable markings.


title: On monotonicity of FIFO-diverging junctions

abstract: This technical note concerns the dynamics of FIFO-diverging junctions in compartmental models for traffic networks. Many strong results on the dynamical behavior of such traffic networks rely on monotonicity of the underlying dynamics. In road traffic modeling, a common model for diverging junctions is based on the First-in, first-out principle. These type of junctions pose a problem in the analysis of traffic dynamics, since their dynamics are not monotone with respect to the positive orthant. However, this technical note demonstrates that they are in fact monotone with respect to the partial order induced by a particular, polyhedral cone.


title: Reputation Systems for News on Twitter: A Large-Scale Study

abstract: Social networks offer a ready channel for fake and misleading news to spread and exert influence. This paper examines the performance of different reputation algorithms when applied to a large and statistically significant portion of the news that are spread via Twitter. Our main result is that simple algorithms based on the identity of the users spreading the news, as well as the words appearing in the titles and descriptions of the linked articles, are able to identify a large portion of fake or misleading news, while incurring only very low (<1%) false positive rates for mainstream websites. We believe that these algorithms can be used as the basis of practical, large-scale systems for indicating to consumers which news sites deserve careful scrutiny and skepticism.


title: Symmetry preserving degenerations of the generic symmetric matrix

abstract: One considers certain degenerations of the generic symmetric matrix over a field $k$ of characteristic zero and the main structures related to the determinant $f$ of the matrix, such as the ideal generated by its partial derivatives, the polar map defined by these derivatives and its image $V(f)$, the Hessian matrix, the ideal and the map given by the cofactors, and the dual variety of $V(f)$.


title: Learning Hyperedge Replacement Grammars for Graph Generation

abstract: The discovery and analysis of network patterns are central to the scientific enterprise. In the present work, we developed and evaluated a new approach that learns the building blocks of graphs that can be used to understand and generate new realistic graphs. Our key insight is that a graph's clique tree encodes robust and precise information. We show that a Hyperedge Replacement Grammar (HRG) can be extracted from the clique tree, and we develop a fixed-size graph generation algorithm that can be used to produce new graphs of a specified size. In experiments on large real-world graphs, we show that graphs generated from the HRG approach exhibit a diverse range of properties that are similar to those found in the original networks. In addition to graph properties like degree or eigenvector centrality, what a graph "looks like" ultimately depends on small details in local graph substructures that are difficult to define at a global level. We show that the HRG model can also preserve these local substructures when generating new graphs.


title: Quasi-two-dimensional thermoelectricity in SnSe

abstract: Stannous selenide is a layered semiconductor that is a polar analogue of black phosphorus, and of great interest as a thermoelectric material. Unusually, hole doped SnSe supports a large Seebeck coefficient at high conductivity, which has not been explained to date. Angle resolved photo-emission spectroscopy, optical reflection spectroscopy and magnetotransport measurements reveal a multiple-valley valence band structure and a quasi two-dimensional dispersion, realizing a Hicks-Dresselhaus thermoelectric contributing to the high Seebeck coefficient at high carrier density. We further demonstrate that the hole accumulation layer in exfoliated SnSe transistors exhibits a field effect mobility of up to $250~\mathrm{cm^2/Vs}$ at $T=1.3~\mathrm{K}$. SnSe is thus found to be a high quality, quasi two-dimensional semiconductor ideal for thermoelectric applications.


title: A New Foundation for Finitary Corecursion and Iterative Algebras

abstract: This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modelled as coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to a new fixpoint of the coalgebraic type functor called locally finite fixpoint (LFF). We prove that if the given endofunctor is finitary and preserves monomorphisms then the LFF always exists and is a subcoalgebra of the final coalgebra (unlike the rational fixpoint previously studied by Ad\'amek, Milius, and Velebil). Moreover, we show that the LFF is characterized by two universal properties: (1) as the final locally finitely generated coalgebra, and (2) as the initial fg-iterative algebra. As instances of the LFF we first obtain the known instances of the rational fixpoint, e.g. regular languages, rational streams and formal power-series, regular trees etc. Moreover, we obtain a number of new examples, e.g. (realtime deterministic resp. non-deterministic) context-free languages, constructively S-algebraic formal power-series (in general, the behaviour of finite coalgebras under the coalgebraic language semantics arising from the generalized powerset construction by Silva, Bonchi, Bonsangue, and Rutten), and the monad of Courcelle's algebraic trees.


title: What happens if measure the electron spin twice?

abstract: The mainstream textbooks of quantum mechanics explains the quantum state collapses into an eigenstate in the measurement, while other explanations such as hidden variables and multi-universe deny the collapsing. Here we propose an ideal thinking experiment on measuring the spin of an electron with 3 steps. It is simple and straightforward, in short, to measure a spin-up electron in x-axis, and then in z-axis. Whether there is a collapsing predicts different results of the experiment. The future realistic experiment will show the quantum state collapses or not in the measurement.


title: The fallacy of Schott energy-momentum

abstract: The incompatibility between Larmor's formula for radiation losses (at a rate proportional to square of the acceleration of the electric charge) and the radiation reaction (the rate of loss of momentum of the accelerated charge proportional to its rate of change of acceleration) was recently shown to arise because a proper distinction is not kept between radiation losses calculated in terms of a retarded time and those expressed in terms of a "real time". However, the occurrence of this disparity between two formulations is usually reconciled in literature by proposing an acceleration-dependent Schott energy lying somewhere in the nearby electromagnetic fields of an accelerated charge. But nobody has yet unambiguously demonstrated where the Schott energy actually lies in the fields. By scrutinizing electromagnetic fields of a uniformly accelerated charge, a mathematically tractable case, we show that contrary to the ideas prevalent in the literature, there is no evidence of any acceleration-dependent Schott energy-momentum in the electromagnetic fields, anywhere in the near vicinity of the charge or elsewhere. Accordingly, we expose the fallacy of the Schott energy-momentum term, which should henceforth be abandoned, in the electromagnetic radiation formulation.


title: The State-of-Play of Anomalous Microwave Emission (AME) Research

abstract: Anomalous Microwave Emission (AME) is a component of diffuse Galactic radiation observed at frequencies in the range $\approx 10$-60 GHz. AME was first detected in 1996 and recognised as an additional component of emission in 1997. Since then, AME has been observed by a range of experiments and in a variety of environments. AME is spatially correlated with far-IR thermal dust emission but cannot be explained by synchrotron or free-free emission mechanisms, and is far in excess of the emission contributed by thermal dust emission with the power-law opacity consistent with the observed emission at sub-mm wavelengths. Polarization observations have shown that AME is very weakly polarized ($\lesssim 1$%). The most natural explanation for AME is rotational emission from ultra-small dust grains ("spinning dust"), first postulated in 1957. Magnetic dipole radiation from thermal fluctuations in the magnetization of magnetic grain materials may also be contributing to the AME, particularly at higher frequencies ($\gtrsim 50$ GHz). AME is also an important foreground for Cosmic Microwave Background analyses. This paper presents a review and the current state-of-play in AME research, which was discussed in an AME workshop held at ESTEC, The Netherlands, June 2016.


title: A non-local linear dynamical system and violation of Bell's inequality

abstract: A simple classical non-local dynamical system with random initial conditions and an output projecting the state variable on selected axes has been defined to mimic a two-channel quantum coincidence experiment. Non-locality is introduced by a parameter connecting the initial conditions to the selection of the projection axes. The statistics of the results shows violations up to 100% of the Bell's inequality, in the form of Clauser-Horne- Shimony-Holt (CHSH), strongly depending on the non-locality parameter. Discussions on the parallelism with Bohmian mechanics are given.


title: Octonions, triality, the exceptional Lie algebra F4, and polar actions on the Cayley hyperbolic plane

abstract: Using octonions and the triality property of Spin(8), we find explicit formulae for the Lie brackets of the exceptional simple real Lie algebras $\mathfrak{f}_4$ and $\mathfrak{f}^*_4$, i.e. the Lie algebras of the isometry groups of the Cayley projective plane and the Cayley hyperbolic plane. As an application, we classify polar actions on the Cayley hyperbolic plane which leave a totally geodesic subspace invariant.


title: Expansion Trees with Cut

abstract: Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information of which instances have been chosen for which quantifiers. This compact representation is known in the literature as Miller's expansion tree proof. It is inherently analytic and hence corresponds to a cut-free sequent calculus proof. Recently several extensions of such proof representations to proofs with cuts have been proposed. These extensions are based on graphical formalisms similar to proof nets and are limited to prenex formulas. In this paper we present a new syntactic approach that directly extends Miller's expansion trees by cuts and covers also non-prenex formulas. We describe a cut-elimination procedure for our expansion trees with cut that is based on the natural reduction steps and show that it is weakly normalizing.


title: Discriminative Label Consistent Domain Adaptation

abstract: Domain adaptation (DA) is transfer learning which aims to learn an effective predictor on target data from source data despite data distribution mismatch between source and target. We present in this paper a novel unsupervised DA method for cross-domain visual recognition which simultaneously optimizes the three terms of a theoretically established error bound. Specifically, the proposed DA method iteratively searches a latent shared feature subspace where not only the divergence of data distributions between the source domain and the target domain is decreased as most state-of-the-art DA methods do, but also the inter-class distances are increased to facilitate discriminative learning. Moreover, the proposed DA method sparsely regresses class labels from the features achieved in the shared subspace while minimizing the prediction errors on the source data and ensuring label consistency between source and target. Data outliers are also accounted for to further avoid negative knowledge transfer. Comprehensive experiments and in-depth analysis verify the effectiveness of the proposed DA method which consistently outperforms the state-of-the-art DA methods on standard DA benchmarks, i.e., 12 cross-domain image classification tasks.


title: Distributions of countable models of quite o-minimal Ehrenfeucht theories

abstract: We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for quite o-minimal Ehrenfeucht theories. Decomposition formulas for these distributions are found.


title: Frame-dragging effect in the field of non rotating body due to unit gravimagnetic moment

abstract: Nonminimal spin-gravity interaction through unit gravimagnetic moment leads to modified Mathisson-Papapetrou-Tulczyjew-Dixon equations with improved behavior in the ultrarelativistic limit. We present exact Hamiltonian of the resulting theory and compute an effective $\frac{1}{c^2}$\,-Hamiltonian and leading post-Newtonian corrections to the trajectory and spin. Gravimagnetic moment causes the same precession of spin ${\bf S}$ as a fictitious rotation of the central body with angular momentum ${\bf J}=\frac{M}{m}{\bf S}$. So the modified equations imply a number of qualitatively new effects, that could be used to test experimentally, whether a rotating body in general relativity has null or unit gravimagnetic moment.


title: Classification of Breast Cancer Histology using Deep Learning

abstract: Breast Cancer is a major cause of death worldwide among women. Hematoxylin and Eosin (H&E) stained breast tissue samples from biopsies are observed under microscopes for the primary diagnosis of breast cancer. In this paper, we propose a deep learning-based method for classification of H&E stained breast tissue images released for BACH challenge 2018 by fine-tuning Inception-v3 convolutional neural network (CNN) proposed by Szegedy et al. These images are to be classified into four classes namely, i) normal tissue, ii) benign tumor, iii) in-situ carcinoma and iv) invasive carcinoma. Our strategy is to extract patches based on nuclei density instead of random or grid sampling, along with rejection of patches that are not rich in nuclei (non-epithelial) regions for training and testing. Every patch (nuclei-dense region) in an image is classified in one of the four above mentioned categories. The class of the entire image is determined using majority voting over the nuclear classes. We obtained an average four class accuracy of 85% and an average two class (non-cancer vs. carcinoma) accuracy of 93%, which improves upon a previous benchmark by Araujo et al.


title: Statistics of finite scale local Lyapunov exponents in fully developed homogeneous isotropic turbulence

abstract: The present work analyzes the statistics of finite scale local Lyapunov exponents of pairs of fluid particles trajectories in fully developed incompressible homogeneous isotropic turbulence. According to the hypothesis of fully developed chaos, this statistics is here analyzed assuming that the entropy associated to the fluid kinematic state is maximum. The distribution of the local Lyapunov exponents results to be an unsymmetrical uniform function in a proper interval of variation. From this PDF, we determine the relationship between average and maximum Lyapunov exponents, and the longitudinal velocity correlation function. This link, which in turn leads to the closure of von K\`arm\`an-Howarth and Corrsin equations, agrees with results of previous works, supporting the proposed PDF calculation, at least for the purposes of the energy cascade main effect estimation. Furthermore, through the property that the Lyapunov vectors tend to align the direction of the maximum growth rate of trajectories distance, we obtain the link between maximum and average Lyapunov exponents in line with the previous results. To validate the proposed theoretical results, we present different numerical simulations whose results justify the hypotheses of the present analysis.


title: A gradient flow approach to relaxation rates for the multi-dimensional Cahn-Hilliard equation

abstract: The aim of this paper is to study relaxation rates for the Cahn-Hilliard equation in dimension larger than one. We follow the approach of Otto and Westdickenberg based on the gradient flow structure of the equation and establish differential and algebraic relationships between the energy, the dissipation, and the squared $H^{--1}$ distance to a kink. This leads to a scale separation of the dynamics into two different stages: a first fast phase of the order $t^{ -- 1/2}$ where one sees convergence to some kink, followed by a slow relaxation phase with rate $t^{-- 1/ 4}$ where convergence to the centered kink is observed.


title: Applications of Optimal Control of a Nonconvex Sweeping Process to Optimization of the Planar Crowd Motion Model

abstract: This paper concerns optimal control of a nonconvex perturbed sweeping process and its applications to optimization of the planar crowd motion model of traffic equilibria. The obtained theoretical results allow us to investigate a dynamic optimization problem for the microscopic planar crown motion model with finitely many participants and completely solve it analytically in the case of two participants.


title: Jarzynski Equality and its Special Trajectory Ensemble Average Demystified

abstract: The special trajectory ensemble average (TEA), denoted by a subscript 0, in the Jarzynski Equality (JE) results in the Jensen inequality <R>_0 GT-EQ delta(F) for the work R done on the system, and not the thermodynamic work inequality <R> GT-EQ delta(F) since we find <R> NEQ <R>_0. Therefore, contrary to the common belief, the Jensen inequality does not directly support the JE as a nonequilibrium result. Jarzynski's microscopic treatment of the inclusive energy considers only the external work d_eE_k but neglects the ubiquitous change d_iE_k due to external-internal force imbalance, though d_iE_k's are present even in a reversible process as we show. Because of this neglect, no thermodynamic force necessary for dissipation is allowed. Thus the JE has no built-in irreversibility, despite a time-dependent work protocol. We support our claim by an explicit calculation, which shows that <R>_0 > delta(F) even for a reversible process for which <R> = delta(F). This also confirms that <R> and <R>_0 are different averages.


title: Precursors of gate oxide degradation in SiC power MOSFETs

abstract: Gate oxide degradation is more critical in Silicon-Carbide (SiC) MOSFETs than in Silicon (Si) MOSFETs. This is because of the smaller gate oxide thickness and the higher electric field that develops across the gate oxide in SiC MOSFETs. While multiple precursors have been identified for monitoring the gate oxide degradation in Si MOSFETs, very few precursors have been identified for SiC MOSFETs. The purpose of this paper is to demonstrate that gate oxide degradation precursors used in Si MOSFETs: a) threshold voltage, b) gate plateau voltage and c) gate plateau time, can also be used as precursors for SiC MOSFETS. Moreover, all three precursors are found to exhibit a simultaneous increasing trend (during the stress time) leading to an increase in on-state loss, switching loss and switching time of the SiC MOSFET. The existing studies of gate oxide degradation mechanisms in SiC MOSFETs, and their effects on threshold voltage and mobility were extended to correlate a variation of all three precursors using analytical expressions. The increasing trends of precursors were experimentally confirmed by inducing gate oxide degradation in commercial SiC MOSFET samples.


title: Neural Gas based classification of Globular Clusters

abstract: Within scientific and real life problems, classification is a typical case of extremely complex tasks in data-driven scenarios, especially if approached with traditional techniques. Machine Learning supervised and unsupervised paradigms, providing self-adaptive and semi-automatic methods, are able to navigate into large volumes of data characterized by a multi-dimensional parameter space, thus representing an ideal method to disentangle classes of objects in a reliable and efficient way. In Astrophysics, the identification of candidate Globular Clusters through deep, wide-field, single band images, is one of such cases where self-adaptive methods demonstrated a high performance and reliability. Here we experimented some variants of the known Neural Gas model, exploring both supervised and unsupervised paradigms of Machine Learning for the classification of Globular Clusters. Main scope of this work was to verify the possibility to improve the computational efficiency of the methods to solve complex data-driven problems, by exploiting the parallel programming with GPU framework. By using the astrophysical playground, the goal was to scientifically validate such kind of models for further applications extended to other contexts.


title: On Quantum Cosmology in Teleparallel Gravity

abstract: A quantum cosmology in teleparallel gravity is presented in this article. Teleparallel gravity is used to perform such an analysis once in General Relativity (GR) the concept of gravitational energy is misleading preventing the establishment of a concise quantum cosmology. The Wheeler-DeWitt like equation is obtained using the Weyl quantization and the teleparallel expression of energy.


title: On relative separability in hypergraphs of models of theories

abstract: In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general case and for almost countably categorical quite o-minimal theories are established.


title: Sampling as optimization in the space of measures: The Langevin dynamics as a composite optimization problem

abstract: We study sampling as optimization in the space of measures. We focus on gradient flow-based optimization with the Langevin dynamics as a case study. We investigate the source of the bias of the unadjusted Langevin algorithm (ULA) in discrete time, and consider how to remove or reduce the bias. We point out the difficulty is that the heat flow is exactly solvable, but neither its forward nor backward method is implementable in general, except for Gaussian data. We propose the symmetrized Langevin algorithm (SLA), which should have a smaller bias than ULA, at the price of implementing a proximal gradient step in space. We show SLA is in fact consistent for Gaussian target measure, whereas ULA is not. We also illustrate various algorithms explicitly for Gaussian target measure, including gradient descent, proximal gradient, and Forward-Backward, and show they are all consistent.


title: Fano threefolds as equivariant compactifications of the vector group

abstract: In this article, we determine all equivariant compactifications of the three-dimensional vector group $\mathbf{G}_a^3$ which are smooth Fano threefolds with Picard number greater or equal than two.


title: Deep Online Video Stabilization

abstract: Video stabilization technique is essential for most hand-held captured videos due to high-frequency shakes. Several 2D-, 2.5D- and 3D-based stabilization techniques are well studied, but to our knowledge, no solutions based on deep neural networks had been proposed. The reason for this is mostly the shortage of training data, as well as the challenge of modeling the problem using neural networks. In this paper, we solve the video stabilization problem using a convolutional neural network (ConvNet). Instead of dealing with offline holistic camera path smoothing based on feature matching, we focus on low-latency real-time camera path smoothing without explicitly representing the camera path. Our network, called StabNet, learns a transformation for each input unsteady frame progressively along the time-line, while creating a more stable latent camera path. To train the network, we create a dataset of synchronized steady/unsteady video pairs via a well designed hand-held hardware. Experimental results shows that the proposed online method (without using future frames) performs comparatively to traditional offline video stabilization methods, while running about 30 times faster. Further, the proposed StabNet is able to handle night-time and blurry videos, where existing methods fail in robust feature matching.


title: On structures in hypergraphs of models of a theory

abstract: We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types of models of a theory, are given.


title: SO(p,q)-Higgs bundles and higher Teichm\"uller components

abstract: Some connected components of a moduli space are mundane in the sense that they are distinguished only by obvious topological invariants or have no special characteristics. Others are more alluring and unusual either because they are not detected by primary invariants, or because they have special geometric significance, or both. In this paper we describe new examples of such `exotic' components in moduli spaces of SO(p,q)-Higgs bundles on closed Riemann surfaces or, equivalently, moduli spaces of surface group representations into the Lie group SO(p,q). Furthermore, we discuss how these exotic components are related to the notion of positive Anosov representations recently developed by Guichard and Wienhard. We also provide a complete count of the connected components of these moduli spaces (except for SO(2,q), with q> 3).


title: On freedom and independence in hypergraphs of models of theories

abstract: Notions of freedom and independence for hypergraphs of models of a theory are defined. Properties of these notions and their applications to some natural classes of theories are studied.


title: Mapping Borel sets onto balls and self-similar sets by Lipschitz and nearly Lipschitz maps

abstract: If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to Z$ whose inverse is nearly Lipschitz, i.e., $\beta$-H\"older for all $\beta<1$. As an application it is shown that a Borel set in a Euclidean space maps onto $[0,1]^n$ by a nearly Lipschitz map if and only if it cannot be covered by countably many sets of Hausdorff dimension strictly below $n$. The argument extends to analytic metric spaces satisfying the mild condition. Further generalization replaces cubes with self-similar sets, nearly Lipschitz maps with nearly H\"older maps and integer dimension with arbitrary finite dimension.


title: Anomaly inflow on QCD axial domain-walls and vortices

abstract: We study the chiral effective theory in the presence of QCD vortices. Gauge invariance requires novel terms from vortex singularities in the gauged Wess-Zumino-Witten action, which incorporate anomaly induced currents along the vortices. We examine these terms for systems with QCD axial domain-walls bounded by vortices (vortons) under magnetic fields. We discuss how the baryon and the electric charge conservations are satisfied in these systems through interplay between domain-walls and vortices, which manifests Callan-Harvey's mechanism of the anomaly inflow.


title: On residual categories for Grassmannians

abstract: We define and discuss some general properties of residual categories of Lefschetz decompositions in triangulated categories. In the case of the derived category of coherent sheaves on the Grassmannian $\text{G}(k,n)$ we conjecture that the residual category associated with Fonarev's Lefschetz exceptional collection is generated by a completely orthogonal exceptional collection. We prove this conjecture for $k = p$, a prime number, modulo completeness of Fonarev's collection (and for $p = 3$ we check this completeness).


title: Bloch functions on the unit ball of a Banach space

abstract: The space of Bloch functions on bounded symmetric domains is extended by considering Bloch functions $f$ on the unit ball $B_E$ of finite and infinite dimensional complex Banach spaces in two different ways: by extending the classical Bloch space considering the boundness of $(1-\|x\|^2) \|f'(x)\|$ on $B_E$ and by preserving the invariance of the correspondiing seminorm when we compose with automorphisms $\phi$ of $B_E$. We study the connection between these spaces proving that they are different in general and prove that all bounded analytic functions on $B_{E}$ are Bloch functions in both ways.


title: Zak phase and band inversion in dimerized one-dimensional locally resonant metamaterials

abstract: Zak phase, which refers to the Berry's phase picked up by a particle moving across the Brillouin zone, characterizes the topological properties of Bloch bands in one-dimensional periodic system. Here the Zak phase in dimerized one-dimensional locally resonant metamaterials is investigated. It is found that there are some singular points in the bulk band across which the Bloch states contribute {\pi} to the Zak phase, whereas while in the rest of the band the contribution is nearly zero. These singular points associated with zero reflection are caused by two different mechanisms: the dimerization-independent anti-resonating of each branch, and the dimerization-dependent destructive interference in multiple backscattering. The structure undergoes a topological transition point in the band structure where the band inverts and the Zak phase, which is determined by the numbers of singular points in the bulk band, changes following a shift in dimerization parameter. Finally, the interface state between two dimerized metamaterial structures with different topological property in the first band gap is demonstrated experimentally. The quasi-one-dimensional configuration of the system allows one to explore topology-inspired new methods and applications in the sub-wavelength scale.


title: Negative differential resistance in Van der Waals heterostructures due to moir\'{e}-induced spectral reconstruction

abstract: Formation of moir\'{e} superlattices is common in Van der Waals heterostructures as a result of the mismatch between lattice constants and misalignment of crystallographic directions of the constituent two-dimensional crystals. We discuss theoretically electron transport in a Van der Waals tunnelling transistor in which one of the electrodes is made of two crystals forming a moir\'{e} superlattice at their interface. By investigating structures containing either the aligned graphene/hexagonal boron nitride heterostructure or twisted bilayer graphene, we show that negative differential resistance is possible in such transistors as a consequence of the superlattice-induced changes in the electronic density of states and without the need of momentum conserving tunnelling present in high-quality exfoliated devices.


title: Homotopical Quantum Field Theory

abstract: Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy inverses, A-infinity-algebras, E-infinity-algebras, and E-infinity-modules arise naturally in this context. In particular, each homotopy algebraic quantum field theory has the structure of a homotopy coherent diagram of A-infinity-algebras and satisfies a homotopy coherent version of the causality axiom. When the time-slice axiom is defined for algebraic quantum field theory, a homotopy coherent version of the time-slice axiom is satisfied by each homotopy algebraic quantum field theory. Over each topological space, every homotopy prefactorization algebra has the structure of a homotopy coherent diagram of E-infinity-modules over an E-infinity-algebra. To compare the two approaches, we construct a comparison morphism from the colored operad for (homotopy) prefactorization algebras to the colored operad for (homotopy) algebraic quantum field theories and study the induced adjunctions on algebras.


title: Understanding the Performance of Ceph Block Storage for Hyper-Converged Cloud with All Flash Storage

abstract: Hyper-converged cloud refers to an architecture that an operator runs compute and storage services on the same set of physical servers. Although the hyper-converged design comes with a number of benefits, it makes crucial operational tasks, such as capacity planning and cost analysis, fairly complicated. The problem becomes more onerous if we consider a complex distributed system, such as Ceph, for the cloud with the proliferation of SSD drives. In this paper, we aim to answer some of these questions based on comprehensive microbenchmarks, and consequently better understand the behavior of Ceph in a hyper-converged cloud with all-flash storage. We reported our findings based on the study, devised a cost model and compared the cost of hyper-converged architecture with dedicated storage architecture. Additionally we summarized our experience based on the interactions with many teams at AT&T in the past couple of years.


title: Global entanglement and quantum phase transitions in the transverse XY Heisenberg chain

abstract: We provide a study of various quantum phase transitions occurring in the XY Heisenberg chain in a transverse magnetic field using the Meyer-Wallach (MW) measure of (global) entanglement. Such a measure, while being readily evaluated, is a multipartite measure of entanglement as opposed to more commonly used bipartite measures. Consequently, we obtain analytic expression of the measure for finite-size systems and show that it can be used to obtain critical exponents via finite-size scaling with great accuracy for the Ising universality class. We also calculate an analytic expression for the isotropic (XX) model and show that global entanglement can precisely identify the level-crossing points. The critical exponent for the isotropic transition is obtained exactly from an analytic expression for global entanglement in the thermodynamic limit. Next, the general behavior of the measure is calculated in the thermodynamic limit considering the important role of symmetries for this limit. The so-called oscillatory transition in the ferromagnetic regime can only be characterized by the thermodynamic limit where global entanglement is shown to be zero on the transition curve. Finally, the anisotropic transition is explored where it is shown that global entanglement exhibits an interesting behavior in the finite-size limit. In the thermodynamic limit, we show that global entanglement shows a cusp singularity across the Ising and anisotropic transition, while showing non-analytic behavior at the XX multicritical point. It is concluded that global entanglement, despite its relative simplicity, can be used to identify all the rich structure of the ground-state Heisenberg chain.


title: Extended Bose-Hubbard Model with dipolar and contact interactions

abstract: We study the phase diagram of the one-dimensional boson gas trapped inside an optical lattice with contact and dipolar interaction taking into account next-nearest terms for both tunneling and interaction. Using the density matrix renormalization group, we calculate how the locations of phase transitions change with increasing dipolar interaction strength for average density $\rho = 1$. Furthermore, we show an emergence of pair-correlated phases for a large dipolar interaction strength and $\rho \geq 2$, including a supersolid phase with an incommensurate density wave ordering manifesting the corresponding spontaneous breaking of the translational symmetry.


title: Linear complexity of Ding-Helleseth generalized cyclotomic sequences of order eight

abstract: During the last two decades, many kinds of periodic sequences with good pseudo-random properties have been constructed from classical and generalized cyclotomic classes, and used as keystreams for stream ciphers and secure communications. Among them are a family DH-GCS$_{d}$ of generalized cyclotomic sequences on the basis of Ding and Helleseth's generalized cyclotomy, of length $pq$ and order $d=\mathrm{gcd}(p-1,q-1)$ for distinct odd primes $p$ and $q$. The linear complexity (or linear span), as a valuable measure of unpredictability, is precisely determined for DH-GCS$_{8}$ in this paper. Our approach is based on Edemskiy and Antonova's computation method with the help of explicit expressions of Gaussian classical cyclotomic numbers of order $8$. Our result for $d=8$ is compatible with Yan's low bound $(pq-1)/2$ of the linear complexity for any order $d$, which means high enough to resist security attacks of the Berlekamp-Massey algorithm. Finally, we include SageMath codes to illustrate the validity of our result by examples.


title: Greedy kernel methods for accelerating implicit integrators for parametric ODEs

abstract: We present a novel acceleration method for the solution of parametric ODEs by single-step implicit solvers by means of greedy kernel-based surrogate models. In an offline phase, a set of trajectories is precomputed with a high-accuracy ODE solver for a selected set of parameter samples, and used to train a kernel model which predicts the next point in the trajectory as a function of the last one. This model is cheap to evaluate, and it is used in an online phase for new parameter samples to provide a good initialization point for the nonlinear solver of the implicit integrator. The accuracy of the surrogate reflects into a reduction of the number of iterations until convergence of the solver, thus providing an overall speedup of the full simulation. Interestingly, in addition to providing an acceleration, the accuracy of the solution is maintained, since the ODE solver is still used to guarantee the required precision. Although the method can be applied to a large variety of solvers and different ODEs, we will present in details its use with the Implicit Euler method for the solution of the Burgers equation, which results to be a meaningful test case to demonstrate the method's features.


title: Geometry of Multi-Flavor Galileon-Like Theories

abstract: We use Lie-algebraic arguments to classify Lorentz-invariant theories of massless interacting scalars that feature coordinate-dependent redundant symmetries of the Galileon type. We show that such theories are determined, up to a set of low-energy effective couplings, by specifying an affine representation of the Lie algebra of physical, non-redundant internal symmetries and an invariant metric on its target space. This creates an infinite catalog of theories relevant for both cosmology and high-energy physics thanks to their special properties such as enhanced scaling of scattering amplitudes in the soft limit.


title: Relativistic Brueckner-Hartree-Fock theory for neutron drops

abstract: Neutron drops confined in an external field are studied in the framework of relativistic Brueckner-Hartree-Fock theory using the bare nucleon-nucleon interaction. The ground state energies and radii of neutron drops with even numbers from $N = 4$ to $N=50$ are calculated and compared with results obtained from other nonrelativistic \textit{ab initio} calculations and from relativistic density functional theory. Special attention has been paid to the magic numbers and to the sub-shell closures. The single-particle energies are investigated and the monopole effect of the tensor force on the evolutions of the spin-orbit and the pseudospin-orbit splittings is discussed. The results provide interesting insight of neutron rich systems and can form an important guide for future density functionals.


title: A Grand-Unified Nelson-Barr Model

abstract: We argue that the Nelson-Barr solution to the Strong CP Problem can be naturally realized in an E$_6$ Grand-Unified Theory. The chiral SM fermions reside in three generations of E$_6$ fundamentals together with heavy vectorlike down quarks, leptons doublets and right-handed neutrinos. CP is imposed on the Lagrangian and broken only spontaneously at high scales, leading to a mixing between chiral and vectorlike fields that allows to solve the Strong CP Problem through the Nelson-Barr mechanism. The main benefit of the E$_6$ GUT structure is the predictivity in the SM fermion sector, and a perfect fit to all SM observables can be obtained despite being over-constrained. Definite predictions are made for the neutrino sector, with a Dirac CP phase that is correlated to the CKM phase, allowing to test this model in the near future.


title: Spin symmetry in the Dirac sea derived from the bare nucleon-nucleon interaction

abstract: The spin symmetry in the Dirac sea has been investigated with relativistic Brueckner-Hartree-Fock theory using the bare nucleon-nucleon interaction. Taking the nucleus $^{16}$O as an example and comparing the theoretical results with the data, the definition of the single-particle potential in the Dirac sea is studied in detail. It is found that if the single-particle states in the Dirac sea are treated as occupied states, the ground state properties are in better agreement with experimental data. Moreover, in this case, the spin symmetry in the Dirac sea is better conserved and it is more consistent with the findings using phenomenological relativistic density functionals.


title: Local anti-correlation between star-formation rate and gas-phase metallicity in disk galaxies

abstract: Using a representative sample of 14 star-forming dwarf galaxies in the local Universe, we show the existence of a spaxel-to-spaxel anti-correlation between the index N2 (log([NII]6583/Halpha)) and the Halpha flux. These two quantities are commonly employed as proxies for gas-phase metallicity and star formation rate (SFR), respectively. Thus, the observed N2 to Halpha relation may reflect the existence of an anti-correlation between the metallicity of the gas forming stars and the SFR it induces. Such an anti-correlation is to be expected if variable external metal-poor gas fuels the star-formation process. Alternatively, it can result from the contamination of the star-forming gas by stellar winds and SNe, provided that intense outflows drive most of the metals out of the star-forming regions. We also explore the possibility that the observed anti-correlation is due to variations in the physical conditions of the emitting gas, other than metallicity. Using alternative methods to compute metallicity, as well as previous observations of HII regions and photoionization models, we conclude that this possibility is unlikely. The radial gradient of metallicity characterizing disk galaxies does not produce the correlation either.


title: Rational consumer decisions in a peak time rebate program

abstract: A rational behavior of a consumer is analyzed when the user participates in a Peak Time Rebate (PTR) mechanism, which is a demand response (DR) incentive program based on a baseline. A multi-stage stochastic programming is proposed from the demand side in order to understand the rational decisions. The consumer preferences are modeled as a risk-averse function under additive uncertainty. The user chooses the optimal consumption profile to maximize his economic benefits for each period. The stochastic optimization problem is solved backward in time. A particular situation is developed when the System Operator (SO) uses consumption of the previous interval as the household-specific baseline for the DR program. It is found that a rational consumer alters the baseline in order to increase the well-being when there is an economic incentive. As results, whether the incentive is lower than the retail price, the user shifts his load requirement to the baseline setting period. On the other hand, if the incentive is greater than the regular energy price, the optimal decision is that the user spends the maximum possible energy in the baseline setting period and reduces the consumption at the PTR time. This consumer behavior produces more energy consumption in total considering all periods. In addition, the user with high uncertainty level in his energy pattern should spend less energy than a predictable consumer when the incentive is lower than the retail price.


title: Adaptive synchronisation of unknown nonlinear networked systems with prescribed performance

abstract: This paper proposes an adaptive tracking control with prescribed performance function for distributive cooperative control of highly nonlinear multi-agent systems. The use of such approach confines the tracking error within a large predefined set to a predefined smaller set. The key idea is to transform the constrained system into unconstrained one through the transformation of the output error. Agents' dynamics are assumed unknown, and the controller is developed for a strongly connected structured network. The proposed controller allows all agents to follow the trajectory of the leader node, while satisfying the necessary dynamic requirements. The proposed approach guarantees uniform ultimate boundedness for the transformed error as well as a bounded adaptive estimate of the unknown parameters and dynamics. Simulations include two examples to validate the robustness and smoothness of the proposed controller against highly nonlinear heterogeneous multi-agent system with uncertain time-variant parameters and external disturbances. Keywords: Prescribed performance, Transformed error, Multi-agents, Distributed adaptive control, Adaptive Consensus, Transient, Steady-state error, Semi-global asymptotic stability, uniformly ultimately bounded, Nonlinear Networked Systems, Distributed Control, Robustness.


title: Two-way sparsity for time-varying networks, with applications in genomics

abstract: We propose a novel way of modelling time-varying networks, by inducing two-way sparsity on local models of node connectivity. This two-way sparsity separately promotes sparsity across time and sparsity across variables (within time). Separation of these two types of sparsity is achieved through a novel prior structure, which draws on ideas from the Bayesian lasso and from copula modelling. We provide an efficient implementation of the proposed model via a Gibbs sampler, and we apply the model to data from neural development. In doing so, we demonstrate that the proposed model is able to identify changes in genomic network structure that match current biological knowledge. Such changes in genomic network structure can then be used by neuro-biologists to identify potential targets for further experimental investigation.


title: Novel differential quadrature element method for higher order strain gradient elasticity theory

abstract: In this paper, we propose a novel and efficient differential quadrature element based on Lagrange interpolation to solve a sixth order partial differential equations encountered in non-classical beam theories. These non-classical theories render displacement, slope and curvature as degrees of freedom for an Euler-Bernoulli beam. A generalize scheme is presented herein to implementation the multi-degrees degrees of freedom associated with these non-classical theories in a simplified and efficient way. The proposed element has displacement as the only degree of freedom in the domain, whereas, at the boundaries it has displacement, slope and curvature. Further, we extend this methodology and formulate two novel versions of plate element for gradient elasticity theory. In the first version, Lagrange interpolation is assumed in $x$ and $y$ directions and the second version is based on mixed interpolation, with Lagrange interpolation in $x$ direction and Hermite interpolation in $y$ direction. The procedure to compute the modified weighting coefficients by incorporating the classical and non-classical boundary conditions is explained. The efficiency of the proposed elements is demonstrated through numerical examples on static analysis of gradient elastic beams and plates for different boundary conditions.


title: Demonstration of Bayesian quantum game on an ion trap quantum computer

abstract: We demonstrate a Bayesian quantum game on an ion trap quantum computer with five qubits. The players share an entangled pair of qubits and perform rotations on their qubit as the strategy choice. Two five-qubit circuits are sufficient to run all 16 possible strategy choice sets in a game with four possible strategies. The data are then parsed into player types randomly in order to combine them classically into a Bayesian framework. We exhaustively compute the possible strategies of the game so that the experimental data can be used to solve for the Nash equilibria of the game directly. Then we compare the payoff at the Nash equilibria and location of phase-change-like transitions obtained from the experimental data to the theory, and study how it changes as a function of the amount of entanglement.


title: Topological spaces of persistence modules and their properties

abstract: Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules, including many of those that have been previously studied, and describe the relationships between them. In the cases where these classes are sets, interleaving distance induces a topology. We undertake a systematic study the resulting topological spaces and their basic topological properties.


title: The topological chiral homology of the spherical category

abstract: We consider the spherical DG category $Sph_G$ attached to an affine algebraic group $G$. By definition, $Sph_G := IndCoh(LS_G(S^2))$ consists of ind-coherent sheaves of the stack of $G$-local systems on the $2$-sphere $S^2$. The $3$-dimensional version of the pair of pants endows $Sph_G$ with an $E_3$-monoidal structure. More generally, for an algebraic stack $Y$ (satisfying some mild conditions) and $n \geq -1$, we can look at the $E_{n+1}$-monoidal DG category $Sph(Y,n) := IndCoh_0((Y^{S^n})^\wedge_Y)$, where $IndCoh_0$ is the sheaf theory introduced in [AG2] and [centerH]. % The case of $Sph_G$ is recovered by setting $Y =BG$ and $n=2$. The cobordism hypothesis associates to $Sph(Y,n)$ an $(n+1)$-dimensional TQFT, whose value of a manifold $M^d$ of dimension $d \leq n+1$ (possibly with boundary) is given by the {topological chiral homology} $\int_{M^d} Sph(Y,n)$. % In this paper, we compute such homology (in virtually all cases): we have the Stokes style formula $$ \int_{M^d} Sph(Y,n) \simeq IndCoh_0 ( (Y^{\partial(M^d \times D^{n+1-d})})^\wedge_{Y^M} ) , $$ where the formal completion is constructed using the obvious projection $\partial(M^d \times D^{n+1-d}) \to M^d$. The most interesting instance of this formula is for $Sph_G \simeq Sph(BG,2)$, the original spherical category, and $X$ a Riemann surface. In this case, we obtain a monoidal equivalence $\int_X Sph_G \simeq H(LS_G^{Betti}(X))$, where $LS_G^{Betti}(X)$ is the stack of $G$-local systems on the topological space underlying $X$ and $H$ is the sheaf theory introduced in [centerH].


title: Laser frequency stabilization using a transfer interferometer

abstract: We present a laser frequency stabilization system that uses a transfer interferometer to stabilize slave lasers to a reference laser. Our implementation uses off-the-shelf optical components along with microcontroller-based digital feedback, and offers a simple, flexible and robust way to stabilize multiple laser frequencies to better than 1 MHz.


title: Microscopic dynamics of superfluid $^4$He: a comprehensive study by inelastic neutron scattering

abstract: The dynamic structure factor of superfluid $^4$He has been investigated at very low temperatures by inelastic neutron scattering. The measurements combine different incoming energies resulting in an unprecedentedly large dynamic range with excellent energy resolution, covering wave vectors $Q$ up to 5 \AA$^{-1}$ and energies $\omega$ up to 15 meV. A detailed description of the dynamics of superfluid $^4$He is obtained from saturated vapor pressure up to solidification. The single-excitation spectrum is substantially modified at high pressures, as the maxon energy exceeds the roton-roton decay threshold. A highly structured multi-excitation spectrum is observed at low energies, where clear thresholds and branches have been identified. Strong phonon emission branches are observed when the phonon or roton group velocities exceed the sound velocity. The spectrum is found to display strong multi-excitations whenever the single-excitations face disintegration following Pitaevskii's type a or b criteria. At intermediate energies, an interesting pattern in the dynamic structure factor is observed in the vicinity of the recoil energy. All these features, which evolve significantly with pressure, are in very good agreement with the Dynamic Many-body calculations, even at the highest densities, where the correlations are strongest.


title: Micropolar modeling approach for periodic sandwich beams

abstract: We develop a micropolar Timoshenko beam theory and use it to model web-core sandwich beams. The beam theory is derived by a vector approach and the general displacement solution to the governing sixth-order equations is given. A nodally-exact micropolar Timoshenko beam element is formulated using the solution. Bending and shear stiffnesses for a micropolar web-core sandwich beam are determined through unit cell analysis where the split of the shear forces into symmetric and antisymmetric parts plays a pivotal role. Static bending of web-core beams is studied using the micropolar model as well as modified couple-stress and classical Timoshenko beams. The 1-D micropolar results are in best agreement with 2-D web-core beam frame results. This is because the micropolar beam allows antisymmetric shear deformation to emerge at locations where the 2-D web-core deformations cannot be reduced to 1-D by considering only symmetric shear behavior.


title: Harmonious Attention Network for Person Re-Identification

abstract: Existing person re-identification (re-id) methods either assume the availability of well-aligned person bounding box images as model input or rely on constrained attention selection mechanisms to calibrate misaligned images. They are therefore sub-optimal for re-id matching in arbitrarily aligned person images potentially with large human pose variations and unconstrained auto-detection errors. In this work, we show the advantages of jointly learning attention selection and feature representation in a Convolutional Neural Network (CNN) by maximising the complementary information of different levels of visual attention subject to re-id discriminative learning constraints. Specifically, we formulate a novel Harmonious Attention CNN (HA-CNN) model for joint learning of soft pixel attention and hard regional attention along with simultaneous optimisation of feature representations, dedicated to optimise person re-id in uncontrolled (misaligned) images. Extensive comparative evaluations validate the superiority of this new HA-CNN model for person re-id over a wide variety of state-of-the-art methods on three large-scale benchmarks including CUHK03, Market-1501, and DukeMTMC-ReID.


title: Dual Shapiro steps of a phase-slip junction in the presence of a parasitic capacitance

abstract: Bloch oscillations in a single Josephson junction in the phase-slip regime relate current to frequency. They can be measured by applying a periodic drive to a DC-biased, small Josephson junction. Phase-locking between the periodic drive and the Bloch oscillations then gives rise to steps at constant current in the I-V curves, also known as dual Shapiro steps. Unlike conventional Shapiro steps, a measurement of these dual Shapiro steps is impeded by the presence of a parasitic capacitance. This capacitance shunts the junction resulting in a suppression of the amplitude of the Bloch oscillations. This detrimental effect of the parasitic capacitance can be remedied by an on-chip superinductance. Additionally, we introduce a large off-chip resistance to provide the necessary dissipation. We investigate the resulting system by a set of analytical and numerical methods. In particular, we obtain an explicit analytical expression for the height of dual Shapiro steps as a function of the ratio of the parasitic capacitance to the superinductance. Using this result, we provide a quantitative estimate of the dual Shapiro step height. Our calculations reveal that even in the presence of a parasitic capacitance, it should be possible to observe Bloch oscillations with realistic experimental parameters.


title: Deterministic Quantum Network for Distributed Entanglement and Quantum Computation

abstract: We propose a simple interaction protocol to be implemented on a scalable quantum network, in which the quantum nodes consist of qubit systems confined in cavities. The nodes are deterministically coupled by transmission and reflection of a single photon, which is disentangled from the qubits at the end of the coupling operation. This single photon can generate an entangling controlled phase (C-PHASE) gate between any selected number of qubits in the network. Our multi-qubit gate reaches a much higher fidelity compared to schemes concatenating one-qubit and two-qubit gates; thus it forms an efficient basis for universal quantum computing distributed over multiple processor units. In our analysis we consider atomic qubits coupled to optical photons, while the scheme can be readily generalized to other architectures, such as superconducting qubit nodes coupled by microwave photons.


title: The non-linear onset of neutrino-driven convection in two and three-dimensional core-collapse supernovae

abstract: A toy model of the post-shock region of core-collapse supernovae is used to study the non-linear development of turbulent motions driven by convection in the presence of advection. Our numerical simulations indicate that buoyant perturbations of density are able to trigger self-sustained convection only when the instability is not linearly stabilized by advection. Large amplitude perturbations produced by strong shock oscillations or combustion inhomogeneities before the collapse of the progenitor are efficiently shredded through phase mixing and generate a turbulent cascade. Our model enables us to investigate several physical arguments that had been proposed to explain the impact of the dimensionality on the onset of explosions in global simulations of core-collapse supernovae. Three-dimensional (3D) simulations are found to lead to higher entropy values than two-dimensional (2D) ones. We attribute this to greater turbulent mixing and dissipation of the kinetic energy into heat in 3D. Our results show that the increase of entropy is enhanced with finer numerical resolution and larger perturbation amplitude.


title: Time-parallel iterative solvers for parabolic evolution equations

abstract: We present original time-parallel algorithms for the solution of the implicit Euler discretization of general linear parabolic evolution equations with time-dependent self-adjoint spatial operators. Motivated by the inf-sup theory of parabolic problems, we show that the standard nonsymmetric time-global system can be equivalently reformulated as an original symmetric saddle-point system that remains inf-sup stable with respect to the same natural parabolic norms. We then propose and analyse an efficient and readily implementable parallel-in-time preconditioner to be used with an inexact Uzawa method. The proposed preconditioner is non-intrusive and easy to implement in practice, and also features the key theoretical advantages of robust spectral bounds, leading to convergence rates that are independent of the number of time-steps, final time, or spatial mesh sizes, and also a theoretical parallel complexity that grows only logarithmically with respect to the number of time-steps. Numerical experiments with large-scale parallel computations show the effectiveness of the method, along with its good weak and strong scaling properties.


title: Mapping Analytic sets onto cubes by little Lipschitz functions

abstract: A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or, more generally, analytic) metric space has packing dimension greater than $n$, then $X$ can be mapped onto an $n$-dimensional cube by a little Lipschitz function. The result requires two facts that are interesing in their own right. First, an analytic metric space $X$ contains, for any $\varepsilon>0$, a compact subset $S$ that embeds into an ultrametric space by a Lipschitz map, and $\dim_P S\geq\dim_P X-\varepsilon$. Second, a little Lipschitz function on a closed subset admits a little Lipschitz extension.


title: The moduli space of Fano manifolds with K\"ahler-Ricci solitons

abstract: We construct a canonical Hausdorff complex analytic moduli space of Fano manifolds with K\"ahler-Ricci solitons. This naturally enlarges the moduli space of Fano manifolds with K\"ahler-Einstein metrics, which was constructed by Odaka and Li-Wang-Xu. We discover a moment map picture for K\"ahler-Ricci solitons, and give complex analytic charts on the topological space consisting of K\"ahler-Ricci solitons, by studying differential geometric aspects of this infinite dimensional moment map. Some stacky words and arguments on Gromov-Hausdorff convergence help to glue them together in the holomorphic manner.


title: Multimodal Explanations: Justifying Decisions and Pointing to the Evidence

abstract: Deep models that are both effective and explainable are desirable in many settings; prior explainable models have been unimodal, offering either image-based visualization of attention weights or text-based generation of post-hoc justifications. We propose a multimodal approach to explanation, and argue that the two modalities provide complementary explanatory strengths. We collect two new datasets to define and evaluate this task, and propose a novel model which can provide joint textual rationale generation and attention visualization. Our datasets define visual and textual justifications of a classification decision for activity recognition tasks (ACT-X) and for visual question answering tasks (VQA-X). We quantitatively show that training with the textual explanations not only yields better textual justification models, but also better localizes the evidence that supports the decision. We also qualitatively show cases where visual explanation is more insightful than textual explanation, and vice versa, supporting our thesis that multimodal explanation models offer significant benefits over unimodal approaches.


title: A novel incentive-based demand response model for Cournot competition in electricity markets

abstract: This paper presents an analysis of competition between generators when incentive-based demand response is employed in an electricity market. Thermal and hydropower generation are considered in the model. A smooth inverse demand function is designed using a sigmoid and two linear functions for modeling the consumer preferences under incentive-based demand response program. Generators compete to sell energy bilaterally to consumers and system operator provides transmission and arbitrage services. The profit of each agent is posed as an optimization problem, then the competition result is found by solving simultaneously Karush-Kuhn-Tucker conditions for all generators. A Nash-Cournot equilibrium is found when the system operates normally and at peak demand times when DR is required. Under this model, results show that DR diminishes the energy consumption at peak periods, shifts the power requirement to off-peak times and improves the net consumer surplus due to incentives received for participating in DR program. However, the generators decrease their profit due to the reduction of traded energy and market prices.


title: Searching for the rules that govern hadron construction

abstract: Just as Quantum Electrodynamics describes how electrons are bound in atoms by the electromagnetic force, mediated by exchange of photons, Quantum Chromodynamics (QCD) describes how quarks are bound inside hadrons by the strong force, mediated by exchange of gluons. At face value, QCD allows hadrons constructed from increasingly many quarks to exist, just as atoms with increasing numbers of electrons exist, yet such complex constructions seemed, until recently, to not be present in nature. In what follows we describe advances in the spectroscopy of mesons that are refining our understanding of the rules for building hadrons from QCD.


title: Results of the first user program on the Homogenous Thermal Neutron Source HOTNES (ENEA / INFN)

abstract: The HOmogeneous Thermal NEutron Source (HOTNES) is a new type of thermal neutron irradiation assembly developed by the ENEA-INFN collaboration. The facility is fully characterized in terms of neutron field and dosimetric quantities, by either computational and experimental methods. This paper reports the results of the first "HOTNES users program", carried out in 2016, and covering a variety of thermal neutron active detectors such as scintillators, solid-state, single crystal diamond and gaseous detectors.


title: Reducibility for wave equations of finitely smooth potential with periodic boundary conditions

abstract: In the present paper, the reducibility is derived for the wave equations with finitely smooth and time-quasi-periodic potential subjects to periodic boundary conditions. More exactly, the linear wave equation $u_{tt}-u_{xx}+Mu+\varepsilon (V_0(\omega t)u_{xx}+V(\omega t, x)u)=0,\;x\in \mathbb{R}/2\pi \mathbb{Z}$ can be reduced to a linear Hamiltonian system of a constant coefficient operator which is of pure imaginary point spectrum set, where $V$ is finitely smooth in $(t, x)$, quasi-periodic in time $t$ with Diophantine frequency $\omega\in \mathbb{R}^{n},$ and $V_0$ is finitely smooth and quasi-periodic in time $t$ with Diophantine frequency $\omega\in \mathbb{R}^{n},$ Moreover, it is proved that the corresponding wave operator possesses the property of pure point spectra and zero Lyapunov exponent.


title: Multi-fluid approach to high-frequency waves in plasmas. III. Nonlinear regime and plasma heating

abstract: The multi-fluid modelling of high-frequency waves in partially ionized plasmas has shown that the behavior of magnetohydrodynamics waves in the linear regime is heavily influenced by the collisional interaction between the different species that form the plasma. Here, we go beyond linear theory and study large-amplitude waves in partially ionized plasmas using a nonlinear multi-fluid code. It is known that in fully ionized plasmas, nonlinear Alfv\'en waves generate density and pressure perturbations. Those nonlinear effects are more pronounced for standing oscillations than for propagating waves. By means of numerical simulations and analytical approximations, we examine how the collisional interaction between ions and neutrals affects the nonlinear evolution. The friction due to collisions dissipates a fraction of the wave energy, which is transformed into heat and consequently rises the temperature of the plasma. As an application, we investigate frictional heating in a plasma with physical conditions akin to those in a solar quiescent prominence.


title: Optimal inventory management and order book modeling

abstract: We model the behavior of three agent classes acting dynamically in a limit order book of a financial asset. Namely, we consider market makers (MM), high-frequency trading (HFT) firms, and institutional brokers (IB). Given a prior dynamic of the order book, similar to the one considered in the Queue-Reactive models [14, 20, 21], the MM and the HFT define their trading strategy by optimizing the expected utility of terminal wealth, while the IB has a prescheduled task to sell or buy many shares of the considered asset. We derive the variational partial differential equations that characterize the value functions of the MM and HFT and explain how almost optimal control can be deduced from them. We then provide a first illustration of the interactions that can take place between these different market participants by simulating the dynamic of an order book in which each of them plays his own (optimal) strategy.


title: High Seebeck coefficient and ultra-low lattice thermal conductivity in Cs2InAgCl6

abstract: The elastic, electronic and thermoelectric properties of indium-based double-perovskite halide, Cs2InAgCl6 have been studied by first principles study. The Cs2InAgCl6 is found to be elastically stable, ductile, anisotropic and relatively low hard material. The calculated direct bandgap 3.67 eV by TB-mBJ functional fairly agrees with the experimentally measured value 3.3 eV but PBE functional underestimates the bandgap by 1.483 eV. The relaxation time and lattice thermal conductivity have been calculated by using relaxation time approximation (RTA) within the supercell approach. The lattice thermal conductivity (\k{appa}l) is quite low (0.2 Wm-1K-1). The quite low phonon group velocity in the large weighted phase space, and high anharmonicity (large phonon scattering) are responsible for small \k{appa}l. The room temperature Seebeck coefficient is 199 {\mu}VK-1. Such high Seebeck coefficient arises from the combination of the flat conduction band and large bandgap. We obtain power factors at 300K by using PBE and TB-mBJ potentials are ~29 and ~31 mWm-1K-2, respectively and the corresponding thermoelectric figure of merit of Cs2BiAgCl6 are 0.71 and 0.72. However, the maximum ZT value obtained at 700K is ~0.74 by TB-mBJ potential. The obtained results implies that Cs2InAgCl6 is a promising material for thermoelectric device applications.


title: Scaling limits of discrete snakes with stable branching

abstract: We consider so-called discrete snakes obtained from size-conditioned critical Bienaym\'e-Galton-Watson trees by assigning to each node a random spatial position in such a way that the increments along each edge are i.i.d. When the offspring distribution belongs to the domain of attraction of a stable law with index $\alpha \in (1,2]$, we give a necessary and sufficient condition on the tail distribution of the spatial increments for this spatial tree to converge, in a functional sense, towards the Brownian snake driven by the $\alpha$-stable L\'evy tree. We also study the case of heavier tails, and apply our result to study the number of inversions of a uniformly random permutation indexed by the tree.


title: Reliable Intersection Control in Non-cooperative Environments

abstract: We propose a reliable intersection control mechanism for strategic autonomous and connected vehicles (agents) in non-cooperative environments. Each agent has access to his/her earliest possible and desired passing times, and reports a passing time to the intersection manager, who allocates the intersection temporally to the agents in a First-Come-First-Serve basis. However, the agents might have conflicting interests and can take actions strategically. To this end, we analyze the strategic behaviors of the agents and formulate Nash equilibria for all possible scenarios. Furthermore, among all Nash equilibria we identify a socially optimal equilibrium that leads to a fair intersection allocation, and correspondingly we describe a strategy-proof intersection mechanism, which achieves reliable intersection control such that the strategic agents do not have any incentive to misreport their passing times strategically.


title: Path-Specific Counterfactual Fairness

abstract: We consider the problem of learning fair decision systems in complex scenarios in which a sensitive attribute might affect the decision along both fair and unfair pathways. We introduce a causal approach to disregard effects along unfair pathways that simplifies and generalizes previous literature. Our method corrects observations adversely affected by the sensitive attribute, and uses these to form a decision. This avoids disregarding fair information, and does not require an often intractable computation of the path-specific effect. We leverage recent developments in deep learning and approximate inference to achieve a solution that is widely applicable to complex, non-linear scenarios.


title: Scale-Chiral Effective Field Theory for Nuclear Interactions in the Veneziano Limit

abstract: Following Golterman and Shamir, we develop scale-chiral perturbation theory in the large $N_c$ and large $N_f$ Veneziano limit that incorporates both light-quark baryons and hidden local symmetric bosons and derive a leading-order scale symmetry Lagrangian applicable in nuclear physics. Some applications in the medium-free space and baryonic matter are discussed.


title: Connecting KOSs and the LOD Cloud

abstract: This paper describes a specific project, the current situation leading to it, its project design and first results. In particular, we will examine the terminology employed in the Linked Open Data cloud and compare this to the terminology employed in both the Universal Decimal Classification and the Basic Concepts Classification. We will explore whether these classifications can encourage greater consistency in LOD terminology. We thus hope to link the largely distinct scholarly literatures that address LOD and KOSs.


title: Fractional Cassini Coordinates

abstract: Introducing a set $\{\alpha_i\} \in R$ of fractional exponential powers of focal distances an extension of symmetric Cassini-coordinates on the plane to the asymmetric case is proposed which leads to a new set of fractional generalized Cassini-coordinate systems. Orthogonality and classical limiting cases are derived. An extension to cylindrically symmetric systems in $R^3$ is investigated. The resulting asymmetric coordinate systems are well suited to solve corresponding two- and three center problems in physics.