title: Compress\~ao de Entropia e Colora\c{c}\~oes Leg\'itimas em Planos Projetivos

abstract: We prove that the entropy compression method systematized by L. Esperet and A. Parreau can be applied to any problem formulated in the variable version of the Lovasz Local Lemma. As an application, we prove the existence of legitimate colorings for projective planes with small orders, which extends results of N. Alon and Z. Fured. In fact, we allow different numbers of colors, proving that projective planes of any order can be legitimate colored with 42 colors.


title: An adaptive data-driven approach to solve real-world vehicle routing problems in logistics

abstract: Transportation occupies one-third of the amount in the logistics costs, and accordingly transportation systems largely influence the performance of the logistics system. This work presents an adaptive data-driven innovative modular approach for solving the real-world Vehicle Routing Problems (VRP) in the field of logistics. The work consists of two basic units: (i) an innovative multi-step algorithm for successful and entirely feasible solving of the VRP problems in logistics, (ii) an adaptive approach for adjusting and setting up parameters and constants of the proposed algorithm. The proposed algorithm combines several data transformation approaches, heuristics and Tabu search. Moreover, as the performance of the algorithm depends on the set of control parameters and constants, a predictive model that adaptively adjusts these parameters and constants according to historical data is proposed. A comparison of the acquired results has been made using the Decision Support System with predictive models: Generalized Linear Models (GLM) and Support Vector Machine (SVM). The algorithm, along with the control parameters, which using the prediction method were acquired, was incorporated into a web-based enterprise system, which is in use in several big distribution companies in Bosnia and Herzegovina. The results of the proposed algorithm were compared with a set of benchmark instances and validated over real benchmark instances as well. The successful feasibility of the given routes, in a real environment, is also presented.


title: Data Curves Clustering Using Common Patterns Detection

abstract: For the past decades we have experienced an enormous expansion of the accumulated data that humanity produces. Daily a numerous number of smart devices, usually interconnected over internet, produce vast, real-values datasets. Time series representing datasets from completely irrelevant domains such as finance, weather, medical applications, traffic control etc. become more and more crucial in human day life. Analyzing and clustering these time series, or in general any kind of curves, could be critical for several human activities. In the current paper, the new Curves Clustering Using Common Patterns (3CP) methodology is introduced, which applies a repeated pattern detection algorithm in order to cluster sequences according to their shape and the similarities of common patterns between time series, data curves and eventually any kind of discrete sequences. For this purpose, the Longest Expected Repeated Pattern Reduced Suffix Array (LERP-RSA) data structure has been used in combination with the All Repeated Patterns Detection (ARPaD) algorithm in order to perform highly accurate and efficient detection of similarities among data curves that can be used for clustering purposes and which also provides additional flexibility and features.


title: Incremental constitutive tensors and strain localization for prestressed elastic lattices: Part I -- quasi-static response

abstract: A lattice of elastic rods organized in a parallelepiped geometry can be axially loaded up to an arbitrary amount without distortion and then be subject to incremental displacements. Using quasi-static homogenization theory, this lattice can be made equivalent to a prestressed elastic solid subject to incremental deformation, in such a way to obtain extremely localized mechanical responses. These responses can be analyzed with reference to a mechanical model which can, in principle, be realized, so that features such as for instance shear bands inclination, or emergence of a single shear band, or competition between micro (occurring in the lattice but not in the equivalent solid) and macro (present in both the lattice and the equivalent continuum) instabilities become all designable features. The analysis of localizations is performed using a Green's function-based perturbative approach to highlight the correspondence between micromechanics of the composite and homogenized response of the equivalent solid. The presented results, limited to quasi-static behaviour, provide a new understanding of strain localization in a continuum and open new possibilities for the realization and experimentation of materials exhibiting these extreme mechanical behaviours. Dynamic homogenization and vibrational localization are deferred to Part II of this study.


title: Numerical evaluation of Airy-type integrals arising in uniform asymptotic analysis

abstract: We describe a method to evaluate integrals that arise in the asymptotic analysis when two saddle points may be close together. These integrals, which appear in problems from optics, acoustics or quantum mechanics as well as in a wide class of special functions, can be transformed into Airy-type integrals and we use the trapezoidal rule to compute these integrals numerically. The quadrature method, which remains valid when two saddle points coalesce, is illustrated with numerical examples.


title: An algebraic geometry perspective on topological data analysis

abstract: A short survey on applications of algebraic geometry in topological data analysis.


title: Optimal contracts under adverse selection for staple goods: efficiency of in-kind insurance

abstract: An income loss can have a negative impact on households, forcing them to reduce their consumption of some staple goods. This can lead to health issues and, consequently, generate significant costs for society. We suggest that consumers can, to prevent these negative consequences, buy insurance to secure sufficient consumption of a staple good if they lose part of their income. We develop a two-period/two-good principal-agent problem with adverse selection and endogenous reservation utility to model insurance with in-kind benefits. This model allows us to obtain semi-explicit solutions for the insurance contract and is applied to the context of fuel poverty. For this application, our model allows to conclude that, even in the least efficient scenario from the households point of view, i.e., when the insurance is provided by a monopoly, this mechanism decreases significantly the risk of fuel poverty of households by ensuring them a sufficient consumption of energy. The effectiveness of in-kind insurance is highlighted through a comparison with income insurance, but our results nevertheless underline the need to regulate such insurance market.


title: The effects of plasma lensing on the inferred dispersion measures of Fast Radio Bursts

abstract: Radio signals are delayed when propagating through plasma. This type of delay is frequency-dependent and is usually used for estimating the projected number density of electrons along the line of sight, called the dispersion measure. The dense and clumpy distribution of plasma can cause refractive deflections of radio signals, analogous to lensing effects. Similar to gravitational lensing, there are two contributions to the time delay effect in plasma lensing: a geometric delay, due to increased path length of the signal, and a dispersive delay due to the change of speed of light in a plasma medium. We show the delay time for two models of the plasma distribution, and point out that the estimated dispersion measure can be biased. Since the contribution of the geometric effect can be comparable to that of the dispersive delay, the bias in the measured dispersion measure can be dramatically large if plasma lensing effects are not taken into account when signals propagate through a high-density gradient clump of plasma.


title: State Transition Modeling of the Smoking Behavior using LSTM Recurrent Neural Networks

abstract: The use of sensors has pervaded everyday life in several applications including human activity monitoring, healthcare, and social networks. In this study, we focus on the use of smartwatch sensors to recognize smoking activity. More specifically, we have reformulated the previous work in detection of smoking to include in-context recognition of smoking. Our presented reformulation of the smoking gesture as a state-transition model that consists of the mini-gestures hand-to-lip, hand-on-lip, and hand-off-lip, has demonstrated improvement in detection rates nearing 100% using conventional neural networks. In addition, we have begun the utilization of Long-Short-Term Memory (LSTM) neural networks to allow for in-context detection of gestures with accuracy nearing 97%.


title: Optimization of DSP Applications Using Parameterized Error Models for Low Power Approximate Adders

abstract: Approximate circuit design has gained significance in recent years targeting error tolerant applications. In this paper, we first demonstrate that the commonly used assumption that the inputs to the adder are uniformly distributed results in an inaccurate prediction of error statistics for multi-level circuits. To overcome this problem, we derive parameterized error models that can be used within any optimization framework in order to optimize the number of approximate bits. We also show that in order to accurately compute the mean square error, the optimization framework needs to take into account not just the functionality of the adder, but also its position in the circuit, functionality of its parents and the number of approximate bits in the parent blocks. We demonstrate a significant improvement of accuracy in the prediction of the noise power of DSP systems containing approximate adders.


title: Self learning robot using real-time neural networks

abstract: With the advancements in high volume, low precision computational technology and applied research on cognitive artificially intelligent heuristic systems, machine learning solutions through neural networks with real-time learning has seen an immense interest in the research community as well the industry. This paper involves research, development and experimental analysis of a neural network implemented on a robot with an arm through which evolves to learn to walk in a straight line or as required. The neural network learns using the algorithms of Gradient Descent and Backpropagation. Both the implementation and training of the neural network is done locally on the robot on a raspberry pi 3 so that its learning process is completely independent. The neural network is first tested on a custom simulator developed on MATLAB and then implemented on the raspberry computer. Data at each generation of the evolving network is stored, and analysis both mathematical and graphical is done on the data. Impact of factors like the learning rate and error tolerance on the learning process and final output is analyzed.


title: Front-end-Electronics for the SiPM-readout gaseous TPC for neutrinoless double beta decay search

abstract: We have developed a dedicated front-end-electronics board for a high-pressure xenon gas time projection chamber for a neutrinoless double-beta decay search. The ionization signal is readout by detecting electroluminescence photons with SiPM's. The board readout the signal from 56~SiPM's through the DC-coupling and record the waveforms at 5 MS/s with a wide dynamic range up to 7,000 photons/200 ns. The SiPM bias voltages are provided by the board and can be adjusted for each SiPM. In order to calibrate and monitor the SiPM gain, additional auxiliary ADC measures 1 photon-equivalent dark current. The obtained performance satisfies the requirement for a neutrinoless double-beta decay search.


title: The Law of Large Numbers for the bigraded Betti numbers of the random moment-angle complex

abstract: This note announces recent exciting progress on the frontier between algebraic topology and probability theory. It is intended for a journal which publishes such announcements (without an abstract, typically in Russian). A description of a larger work in progress is included in the concluding remarks.


title: Machine Learning Quantum States -- Extensions to Fermion-Boson Coupled Systems and Excited-State Calculations

abstract: To analyze quantum many-body Hamiltonians, recently, machine learning techniques have been shown to be quite useful and powerful. However, the applicability of such machine learning solvers is still limited. Here, we propose schemes that make it possible to apply machine learning techniques to analyze fermion-boson coupled Hamiltonians and to calculate excited states. As for the extension to fermion-boson coupled systems, we study the Holstein model as a representative of the fermion-boson coupled Hamiltonians. We show that the machine-learning solver achieves highly accurate ground-state energy, improving the accuracy substantially compared to that obtained by the variational Monte Carlo method. As for the calculations of excited states, we propose a different approach than that proposed in K. Choo et al., Phys. Rev. Lett. 121 (2018) 167204. We discuss the difference in detail and compare the accuracy of two methods using the one-dimensional $S=1/2$ Heisenberg chain. We also show the benchmark for the frustrated two-dimensional $S=1/2$ $J_1$-$J_2$ Heisenberg model and show an excellent agreement with the results obtained by the exact diagonalization. The extensions shown here open a way to analyze general quantum many-body problems using machine learning techniques.


title: Leveraging Prior Knowledge for Protein-Protein Interaction Extraction with Memory Network

abstract: Automatically extracting Protein-Protein Interactions (PPI) from biomedical literature provides additional support for precision medicine efforts. This paper proposes a novel memory network-based model (MNM) for PPI extraction, which leverages prior knowledge about protein-protein pairs with memory networks. The proposed MNM captures important context clues related to knowledge representations learned from knowledge bases. Both entity embeddings and relation embeddings of prior knowledge are effective in improving the PPI extraction model, leading to a new state-of-the-art performance on the BioCreative VI PPI dataset. The paper also shows that multiple computational layers over an external memory are superior to long short-term memory networks with the local memories.


title: Frame dependence of transition form factors in light-front dynamics

abstract: We study the radiative transitions between vector and pseudoscalar quarkonia in the light-front Hamiltonian approach, and investigate the effects of using different current component and different reference frames. In practical calculations with truncated Fock spaces, transition form factors may acquire current component dependence and frame dependence, and such dependences could serve as a measure for the Lorentz symmetry violation. We suggest using the transverse current with $m_j=0$ state of the vector meson, since this procedure employs the dominant spin components of the light-front wavefunctions and is more robust in practical calculations. We calculate the transition form factor between vector and pseudoscalar quarkonia and investigate the frame dependence with light-front wavefunctions calculated from the valence Fock sector. We suggest using frames with minimal longitudinal momentum transfer for calculations in the valence Fock sector, namely the Drell-Yan frame for the space-like region and a specific longitudinal frame for the timelike region; at $q^2=0$ these two frames give the same result.


title: Critical Dimension and Negative Specific Heat in One-dimensional Large-N Reduced Models

abstract: We investigate critical phenomena of the Yang-Mills (YM) type one-dimensional matrix model that is a large-$N$ reduction (or dimensional reduction) of the $D+1$ dimensional $U(N)$ pure YM theory (bosonic BFSS model). This model shows a large-$N$ phase transition at finite temperature, which is analogous to the confinement/deconfinement transition of the original YM theory. We study the matrix model at a three-loop calculation via the "principle of minimum sensitivity" and find that there is a critical dimension $D=35.5$: At $D \le 35$, the transition is of first order, while it is of second order at $D\ge 36$. Furthermore, we evaluate several observables in our method, and they nicely reproduce the existing Monte Carlo results. Through the gauge/gravity correspondence, the transition is expected to be related to a Gregory-Laflamme transition in gravity, and we argue that the existence of the critical dimension is qualitatively consistent with it. Besides, in the first order transition case, a stable phase having negative specific heat appears in the microcanonical ensemble, which is similar to Schwarzschild black holes. We study some properties of this phase.


title: Robust bounds and optimization at the large deviations scale for queueing models via R\'enyi divergence

abstract: This paper develops tools to obtain robust probabilistic estimates for queueing models at the large deviations (LD) scale. These tools are based on the recently introduced robust R\'enyi bounds, which provide LD estimates (and more generally risk-sensitive (RS) cost estimates) that hold uniformly over an uncertainty class of models, provided that the class is defined in terms of R\'enyi divergence with respect to a reference model and that estimates are available for the reference model. One very attractive quality of the approach is that the class to which the estimates apply may consist of hard models, such as highly non-Markovian models and ones for which the LD principle is not available. Our treatment provides exact expressions as well as bounds on the R\'enyi divergence rate on families of marked point processes, including as a special case renewal processes. Another contribution is a general result that translates robust RS control problems, where robustness is formulated via R\'enyi divergence, to finite dimensional convex optimization problems, when the control set is a finite dimensional convex set. The implications to queueing are vast, as they apply in great generality. This is demonstrated on two non-Markovian queueing models. One is the multiclass single-server queue considered as a RS control problem, with scheduling as the control process and exponential weighted queue length as cost. The second is the many-server queue with reneging, with the probability of atypically large reneging count as performance criterion. As far as LD analysis is concerned, no robust estimates or non-Markovian treatment were previously available for either of these models.


title: Direct Parameter Inference from Global EoR Signal with Bayesian Statistics

abstract: In the observation of sky-averaged HI signal from Epoch of Reionization, model parameter inference can be a computation-intensive work, which makes it hard to perform a direct one-stage model parameter inference by using MCMC sampling method in Bayesian framework. Instead, a two-stage inference is usually used, i.e., the parameters of some characteristic points on the EoR spectrum model are first estimated, which are then used as the input to estimate physical model parameters further. However, some previous works had noticed that this kind of method could bias results, and it could be meaningful to answer the question of whether it is feasible to perform direct one-stage MCMC sampling and obtain unbiased physical model parameter estimations. In this work, we studied this problem and confirmed the feasibility. We find that unbiased estimations to physical model parameters can be obtained with a one-stage direct MCMC sampling method. We also study the influence of some factors that should be considered in practical observations to model parameter inference. We find that a very tiny amplifier gain calibration error ($10^{-5}$ relative error) with complex spectral structures can significantly bias the parameter estimation; the frequency-dependent antenna beam and geographical position can also influence the results, so that should be carefully handled.


title: Multitask learning over graphs: An Approach for Distributed, Streaming Machine Learning

abstract: The problem of learning simultaneously several related tasks has received considerable attention in several domains, especially in machine learning with the so-called multitask learning problem or learning to learn problem [1], [2]. Multitask learning is an approach to inductive transfer learning (using what is learned for one problem to assist in another problem) and helps improve generalization performance relative to learning each task separately by using the domain information contained in the training signals of related tasks as an inductive bias. Several strategies have been derived within this community under the assumption that all data are available beforehand at a fusion center. However, recent years have witnessed an increasing ability to collect data in a distributed and streaming manner. This requires the design of new strategies for learning jointly multiple tasks from streaming data over distributed (or networked) systems. This article provides an overview of multitask strategies for learning and adaptation over networks. The working hypothesis for these strategies is that agents are allowed to cooperate with each other in order to learn distinct, though related tasks. The article shows how cooperation steers the network limiting point and how different cooperation rules allow to promote different task relatedness models. It also explains how and when cooperation over multitask networks outperforms non-cooperative strategies.


title: On the Jacobian locus in the Prym locus and geodesics

abstract: In the paper we consider the Jacobian locus $\overline{J_g}$ and the Prym locus $\overline{P_{g+1}}$, in the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$, for $g\geq 7$, and we study the extrinsic geometry of $\overline{J_g}\subset \overline{P_{g+1}}$, under the inclusion provided by the theory of generalized Prym varieties as introduced by Beauville. More precisely, we study certain geodesic curves with respect to the Siegel metric of $A_g$, starting at a Jacobian variety $[JC]\in A_g$ of a curve $[C]\in M_g$ and with direction $\zeta\in T_{[JC]}J_g$. We prove that for a general $JC$, any geodesic of this kind is not contained in $\overline{J_g}$ and even in $\overline{P_{g+1}}$, if $\zeta$ has rank $k<\Cliff C-3$, where $\Cliff C$ denotes the Clifford index of $C$.


title: Effect of Confidence and Explanation on Accuracy and Trust Calibration in AI-Assisted Decision Making

abstract: Today, AI is being increasingly used to help human experts make decisions in high-stakes scenarios. In these scenarios, full automation is often undesirable, not only due to the significance of the outcome, but also because human experts can draw on their domain knowledge complementary to the model's to ensure task success. We refer to these scenarios as AI-assisted decision making, where the individual strengths of the human and the AI come together to optimize the joint decision outcome. A key to their success is to appropriately \textit{calibrate} human trust in the AI on a case-by-case basis; knowing when to trust or distrust the AI allows the human expert to appropriately apply their knowledge, improving decision outcomes in cases where the model is likely to perform poorly. This research conducts a case study of AI-assisted decision making in which humans and AI have comparable performance alone, and explores whether features that reveal case-specific model information can calibrate trust and improve the joint performance of the human and AI. Specifically, we study the effect of showing confidence score and local explanation for a particular prediction. Through two human experiments, we show that confidence score can help calibrate people's trust in an AI model, but trust calibration alone is not sufficient to improve AI-assisted decision making, which may also depend on whether the human can bring in enough unique knowledge to complement the AI's errors. We also highlight the problems in using local explanation for AI-assisted decision making scenarios and invite the research community to explore new approaches to explainability for calibrating human trust in AI.


title: Understanding the Great Recession Using Machine Learning Algorithms

abstract: Nyman and Ormerod (2017) show that the machine learning technique of random forests has the potential to give early warning of recessions. Applying the approach to a small set of financial variables and replicating as far as possible a genuine ex ante forecasting situation, over the period since 1990 the accuracy of the four-step ahead predictions is distinctly superior to those actually made by the professional forecasters. Here we extend the analysis by examining the contributions made to the Great Recession of the late 2000s by each of the explanatory variables. We disaggregate private sector debt into its household and non-financial corporate components. We find that both household and non-financial corporate debt were key determinants of the Great Recession. We find a considerable degree of non-linearity in the explanatory models. In contrast, the public sector debt to GDP ratio appears to have made very little contribution. It did rise sharply during the Great Recession, but this was as a consequence of the sharp fall in economic activity rather than it being a cause. We obtain similar results for both the United States and the United Kingdom.


title: Ergodicity, Output-Controllability, and Antithetic Integral Control of Uncertain Stochastic Reaction Networks

abstract: The ergodicity and the output-controllability of stochastic reaction networks have been shown to be essential properties to fulfill to enable their control using, for instance, antithetic integral control. We propose here to extend those properties to the case of uncertain networks. To this aim, the notions of interval, robust, sign, and structural ergodicity/output-controllability are introduced. The obtained results lie in the same spirit as those obtained in [Briat, Gupta & Khammash, Cell Systems, 2016] where those properties are characterized in terms of control theoretic concepts, linear algebraic conditions, linear programs, and graph-theoretic/algebraic conditions. An important conclusion is that all those properties can be characterized by linear programs. Two examples are given for illustration.


title: Regulated State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)

abstract: This paper studies regulated state synchronization of homogeneous networks of non-introspective agents in presence of unknown nonuniform input delays. A scale-free protocol is designed based on additional information exchange, which does not need any knowledge of the directed network topology and the spectrum of the associated Laplacian matrix. The proposed protocol is scalable and achieves state synchronization for any arbitrary number of agents. Meanwhile, an upper bound for the input delay tolerance is obtained, which explicitly depends on the agent dynamics.


title: Mesh Independence of a Majorized ABCD Method for Sparse PDE-constrained Optimization Problems

abstract: A majorized accelerated block coordinate descent (mABCD) method in Hilbert space is analyzed to solve a sparse PDE-constrained optimization problem via its dual. The finite element approximation method is investigated. The attractive $O(1/k^2)$ iteration complexity of {the mABCD} method for the dual objective function values can be achieved. Based on the convergence result, we prove the robustness with respect to the mesh size $h$ for the mABCD method by establishing that asymptotically the infinite dimensional ABCD method and finite dimensional discretizations have the same convergence property, and the number of iterations of mABCD method remains almost constant as the discretization is refined.


title: Magnetic billiards: Non-integrability for strong magnetic field; Gutkin type examples

abstract: We consider magnetic billiards under a strong constant magnetic field. The purpose of this paper is two-folded. We examine the question of existence of polynomial integral of billiard magnetic flow. We succeed to reduce this question to algebraic geometry test on existence of polynomial integral, which shows polynomial non-integrability for all but finitely many values of the magnitude. In the second part of the paper we construct examples of magnetic billiards which have the so called $\delta$-Gutkin property, meaning that any Larmor circle entering the domain with angle $\delta$ exits the domain with the same angle $\delta$. For ordinary Birkhoff billiard in the plane such examples were introduced by E. Gutkin and are very explicit. Our construction of Gutkin magnetic billiards relies on beautiful examples by F.Wegner of the so called Zindler curves, which are related to the problem of floating bodies in equilibrium, which goes back to S.Ulam. We prove that Gutkin magnetic billiard can be obtained as a parallel curve to a Wegner curve. Wegner curves can be written by elliptic functions in polar coordinates so the construction of magnetic Gutkin billiard is rather explicit but much more complicated.


title: Wiman-Valiron theory for a polynomial series based on the Askey-Wilson operator

abstract: We establish a Wiman-Valiron theory of a polynomial series based on the Askey-Wilson operator $\mathcal{D}_q$, where $q\in(0,1)$. For an entire function $f$ of log-order smaller than $2$, this theory includes (i) an estimate which shows that $f$ behaves locally like a polynomial consisting of the terms near the maximal term of its Askey-Wilson series expansion, and (ii) an estimate of $\mathcal{D}_q^n f$ compared to $f$. We then apply this theory in studying the growth of entire solutions to difference equations involving the Askey-Wilson operator.


title: CatBoostLSS -- An extension of CatBoost to probabilistic forecasting

abstract: We propose a new framework of CatBoost that predicts the entire conditional distribution of a univariate response variable. In particular, CatBoostLSS models all moments of a parametric distribution (i.e., mean, location, scale and shape [LSS]) instead of the conditional mean only. Choosing from a wide range of continuous, discrete and mixed discrete-continuous distributions, modelling and predicting the entire conditional distribution greatly enhances the flexibility of CatBoost, as it allows to gain insight into the data generating process, as well as to create probabilistic forecasts from which prediction intervals and quantiles of interest can be derived. We present both a simulation study and real-world examples that demonstrate the benefits of our approach.


title: Hierarchical Reinforcement Learning as a Model of Human Task Interleaving

abstract: How do people decide how long to continue in a task, when to switch, and to which other task? Understanding the mechanisms that underpin task interleaving is a long-standing goal in the cognitive sciences. Prior work suggests greedy heuristics and a policy maximizing the marginal rate of return. However, it is unclear how such a strategy would allow for adaptation to everyday environments that offer multiple tasks with complex switch costs and delayed rewards. Here we develop a hierarchical model of supervisory control driven by reinforcement learning (RL). The supervisory level learns to switch using task-specific approximate utility estimates, which are computed on the lower level. A hierarchically optimal value function decomposition can be learned from experience, even in conditions with multiple tasks and arbitrary and uncertain reward and cost structures. The model reproduces known empirical effects of task interleaving. It yields better predictions of individual-level data than a myopic baseline in a six-task problem (N=211). The results support hierarchical RL as a plausible model of task interleaving.


title: On the precise asymptotics of Type-IIb solutions to mean curvature flow

abstract: In this paper, we study the precise asymptotics of noncompact Type-IIb solutions to the mean curvature flow. Precisely, for each real number $\gamma>0$, we construct mean curvature flow solutions, in the rotationally symmetric class, with the following precise asymptotics as $t\nearrow\infty$: (1) The highest curvature concentrates at the tip of the hypersurface (an umbilical point) and blows up at the Type-IIb rate $(2t+1)^{(\gamma-1)/2}$. (2) In a neighbourhood of the tip, the Type-IIb blow-up of the solution converges to a translating soliton known as the bowl soliton. (3) Near spatial infinity, the hypersurface has a precise growth rate depending on $\gamma$.


title: A note on $\delta$-strongly compact cardinals

abstract: In this paper we investigate more characterizations and applications of $\delta$-strongly compact cardinals. We show that, for a cardinal $\kappa$ the following are equivalent: (1) $\kappa$ is $\delta$-strongly compact, (2) For every regular $\lambda \ge \kappa$ there is a $\delta$-complete uniform ultrafilter over $\lambda$, and (3) Every product space of $\delta$-Lindel\"of spaces is $\kappa$-Lindel\"of. We also prove that in the Cohen forcing extension, the least $\omega_1$-strongly compact cardinal is a precise upper bound on the tightness of the products of two countably tight spaces.


title: Quantifying Polarization on Twitter: the Kavanaugh Nomination

abstract: This paper addresses polarization quantification, particularly as it pertains to the nomination of Brett Kavanaugh to the US Supreme Court and his subsequent confirmation with the narrowest margin since 1881. Republican (GOP) and Democratic (DNC) senators voted overwhelmingly along party lines. In this paper, we examine political polarization concerning the nomination among Twitter users. To do so, we accurately identify the stance of more than 128 thousand Twitter users towards Kavanaugh's nomination using both semi-supervised and supervised classification. Next, we quantify the polarization between the different groups in terms of who they retweet and which hashtags they use. We modify existing polarization quantification measures to make them more efficient and more effective. We also characterize the polarization between users who supported and opposed the nomination.


title: A symmetry of the Einstein-Friedmann equations for spatially flat, perfect fluid, universes

abstract: We report a symmetry property of the Einstein-Friedmann equations for spatially flat Friedmann-Lema\^itre-Robertson-Walker universes filled with a perfect fluid with any constant equation of state. The symmetry transformations form a one-parameter Abelian group.


title: Prediction of MRI Hardware Failures based on Image Features using Time Series Classification

abstract: Already before systems malfunction one has to know if hardware components will fail in near future in order to counteract in time. Thus, unplanned downtime is ought to be avoided. In medical imaging, maximizing the system's uptime is crucial for patients' health and healthcare provider's daily business. We aim to predict failures of Head/Neck coils used in Magnetic Resonance Imaging (MRI) by training a statistical model on sequential data collected over time. As image features depend on the coil's condition, their deviations from the normal range already hint to future failure. Thus, we used image features and their variation over time to predict coil damage. After comparison of different time series classification methods we found Long Short Term Memorys (LSTMs) to achieve the highest F-score of 86.43% and to tell with 98.33% accuracy if hardware should be replaced.


title: $L^2$ harmonic theory, Seiberg-Witten theory and asymptotics of differential forms

abstract: We present a pair of open smooth $4$-manifolds that are mutually homeomorphic. One of them admits a Riemannian metric that possesses quasi-cylindricity, and positivity of scalar curvature and of dimension of certain $L^2$ harmonic forms. By contrast, for the other manifold, no Riemannian metric can simultaneously satisfy these properties. Our method uses Seiberg-Witten theory on compact $4$-manifolds and applies $L^2$ harmonic theory on non-compact, complete Riemannian $4$-manifolds. We introduce a new argument to apply Gauge theory, which arises from a discovery of an asymptotic property of the range of the differential.


title: Deep Video Super-Resolution using HR Optical Flow Estimation

abstract: Video super-resolution (SR) aims at generating a sequence of high-resolution (HR) frames with plausible and temporally consistent details from their low-resolution (LR) counterparts. The key challenge for video SR lies in the effective exploitation of temporal dependency between consecutive frames. Existing deep learning based methods commonly estimate optical flows between LR frames to provide temporal dependency. However, the resolution conflict between LR optical flows and HR outputs hinders the recovery of fine details. In this paper, we propose an end-to-end video SR network to super-resolve both optical flows and images. Optical flow SR from LR frames provides accurate temporal dependency and ultimately improves video SR performance. Specifically, we first propose an optical flow reconstruction network (OFRnet) to infer HR optical flows in a coarse-to-fine manner. Then, motion compensation is performed using HR optical flows to encode temporal dependency. Finally, compensated LR inputs are fed to a super-resolution network (SRnet) to generate SR results. Extensive experiments have been conducted to demonstrate the effectiveness of HR optical flows for SR performance improvement. Comparative results on the Vid4 and DAVIS-10 datasets show that our network achieves the state-of-the-art performance.


title: Polynomial approach to cyclicity for weighted $\ell^p_A$

abstract: In previous works, an approach to the study of cyclic functions in reproducing kernel Hilbert spaces has been presented, based on the study of so called \emph{optimal polynomial approximants}. In the present article, we extend such approach to the (non-Hilbert) case of spaces of analytic functions whose Taylor coefficients are in $\ell^p(\omega)$, for some weight $\omega$. When $\omega=\{(k+1)^\alpha\}_{k\in \mathbb{N}}$, for a fixed $\alpha \in \mathbb{R}$, we derive a characterization of the cyclicity of polynomial functions and, when $1<p<\infty$, we obtain sharp rates of convergence of the optimal norms.


title: Dissipative solution to the Ericksen-Leslie system equipped with the Oseen-Frank energy

abstract: We analyze the Ericksen-Leslie system equipped with the Oseen-Frank energy in three space dimensions. The new concept of dissipative solutions is introduced. Recently, the author introduced the concept of measure-valued solutions to the considered system and showed global existence as well as weak-strong uniqueness of these generalized solutions. In this paper, we show that the expectation of the measure valued solution is a dissipative solution. The concept of a dissipative solution itself relies on an inequality instead of an equality, but is described by functions instead of parametrized measures. These solutions exist globally and fulfill the weak-strong uniqueness property. Additionally, we generalize the relative energy inequality to solutions fulfilling different nonhomogeneous Dirichlet boundary conditions and incorporate the influence of a temporarily constant electromagnetic field. Relying on this generalized energy inequality, we investigate the long-time behavior and show that all solutions converge for the large time limit to a certain steady state.


title: Mitochondria in higher plants possess H2 evolving activity which is closely related to complex I

abstract: Hydrogenase occupy a central place in the energy metabolism of anaerobic bacteria. Although the structure of mitochondrial complex I is similar to that of hydrogenase, whether it has hydrogen metabolic activity remain unclear. Here, we show that a H2 evolving activity exists in higher plants mitochondria and is closely related to complex I, especially around ubiquinone binding site. The H2 production could be inhibited by rotenone and ubiquinone. Hypoxia could simultaneously promote H2 evolution and succinate accumulation. Redox properties of quinone pool, adjusted by NADH or succinate according to oxygen concentration, acts as a valve to control the flow of protons and electrons and the production of H2. The coupling of H2 evolving activity of mitochondrial complex I with metabolic regulation reveals a more effective redox homeostasis regulation mechanism. Considering the ubiquity of mitochondria in eukaryotes, H2 metabolism might be the innate function of higher organisms. This may serve to explain, at least in part, the broad physiological effects of H2.


title: Stability and electronic properties of the LaNiO$_2$/SrTiO$_3$ interface

abstract: Infinite-layer nickelate thin films materialize an intriguing new platform for high-temperature unconventional superconductivity, with LaNiO$_2$/SrTiO$_3$ as reference setup. We discuss the relative stability of the elementary interfaces of this system and determine the corresponding electronic band structure. We find substantial changes compared to the bulk, in particular in relation to the 5$d$ orbital contributions to the low-energy physics which can be totally replaced by purely Ni-3$d$ flat bands. The $d^9$ configuration characteristic of cuprates can thus be supplemented by an extra interfacial ingredient destabilizing the normal non-superconducting state in these heterostructures.


title: Generating M-indeterminate probability densities by way of quantum mechanics

abstract: Probability densities that are not uniquely determined by their moments are said to be "moment-indeterminate", or "M-indeterminate". Determining whether or not a density is M-indeterminate, or how to generate an M-indeterminate density, is a challenging problem with a long history. Quantum mechanics is inherently probabilistic, yet the way in which probability densities are obtained is dramatically different in comparison to standard probability theory, involving complex wave functions and operators, among other aspects. Nevertheless, the end results are standard probabilistic quantities, such as expectation values, moments and probability density functions. We show that the quantum mechanics procedure to obtain densities leads to a simple method to generate an infinite number of M-indeterminate densities. Different self-adjoint operators can lead to new classes of M-indeterminate densities. Depending on the operator, the method can produce densities that are of the Stieltjes class or new formulations that are not of the Stieltjes class. As such, the method complements and extends existing approaches and opens up new avenues for further development. The method applies to continuous and discrete probability densities. A number of examples are given.


title: MatD3: A Database and Online Presentation Package for Research Data Supporting Materials Discovery, Design, and Dissemination

abstract: The discovery of new materials as well as the determination of a vast set of materials properties for science and technology is a fast growing field of research, with contributions from many groups worldwide. Materials data from individual research groups is traditionally disseminated by means of loosely interconnected, peer-reviewed publications. MatD3 is an open-source, dedicated database and web application framework designed to store, curate and disseminate experimental and theoretical materials data generated by individual research groups or research consortia. A research group can set up its own instance of MatD3 and publish scientific results or simply use an existing online MatD3 instance. Disseminating research data in this form enables broader access, reproducibility, and repurposing of scientific products. MatD3 is a general purpose database that does not focus on any specific level of theory or experimental method. Instead, the focus is on storing and making accessible the data and making it straightforward to curate them.


title: Single artificial atoms in silicon emitting at telecom wavelengths

abstract: Given its unrivaled potential of integration and scalability, silicon is likely to become a key platform for large-scale quantum technologies. Individual electron-encoded artificial atoms either formed by impurities or quantum dots have emerged as a promising solution for silicon-based integrated quantum circuits. However, single qubits featuring an optical interface needed for large-distance exchange of information have not yet been isolated in such a prevailing semiconductor. Here we show the isolation of single optically-active point defects in a commercial silicon-on-insulator wafer implanted with carbon atoms. These artificial atoms exhibit a bright, linearly polarized single-photon emission at telecom wavelengths suitable for long-distance propagation in optical fibers. Our results demonstrate that despite its small bandgap (~ 1.1 eV) a priori unfavorable towards such observation, silicon can accommodate point defects optically isolable at single scale, like in wide-bandgap semiconductors. This work opens numerous perspectives for silicon-based quantum technologies, from integrated quantum photonics to quantum communications and metrology.


title: Morse Index of Multiple Blow-Up Solutions to the Two-Dimensional Sinh-Poisson Equation

abstract: In this paper we consider the Dirichlet problem \begin{equation} \label{iniz} \begin{cases} -\Delta u = \rho^2 (e^{u} - e^{-u}) & \text{ in } \Omega\\ u=0 & \text{ on } \partial \Omega, \end{cases} \end{equation} where $\rho$ is a small parameter and $\Omega$ is a $C^2$ bounded domain in $\mathbb{R}^2$. [1] proves the existence of a $m$-point blow-up solution $u_\rho$ jointly with its asymptotic behaviour. we compute the Morse index of $u_\rho$ in terms of the Morse index of the associated Hamilton function of this problem. In addition, we give an asymptotic estimate for the first $4m$ eigenvalues and eigenfunctions.


title: A note on the action of the primitive Milnor operations on the Dickson invariants

abstract: In this note, we present a formula for the action of the primitive Milnor operations on generators of algebra of invariants of the general linear group $GL_n=GL(n, \mathbb F_p)$ in the polynomial algebra $P_n= \mathbb F_p[x_1,x_2,\ldots,x_n]$ with $p$ an odd prime number.


title: Computing the rearrangement distance of natural genomes

abstract: The computation of genomic distances has been a very active field of computational comparative genomics over the last 25 years. Substantial results include the polynomial-time computability of the inversion distance by Hannenhalli and Pevzner in 1995 and the introduction of the double-cut and join (DCJ) distance by Yancopoulos et al. in 2005. Both results, however, rely on the assumption that the genomes under comparison contain the same set of unique markers (syntenic genomic regions, sometimes also referred to as genes). In 2015, Shao, Lin and Moret relax this condition by allowing for duplicate markers in the analysis. This generalized version of the genomic distance problem is NP-hard, and they give an ILP solution that is efficient enough to be applied to real-world datasets. A restriction of their approach is that it can be applied only to balanced genomes, that have equal numbers of duplicates of any marker. Therefore it still needs a delicate preprocessing of the input data in which excessive copies of unbalanced markers have to be removed. In this paper we present an algorithm solving the genomic distance problem for natural genomes, in which any marker may occur an arbitrary number of times. Our method is based on a new graph data structure, the multi-relational diagram, that allows an elegant extension of the ILP by Shao, Lin and Moret to count runs of markers that are under- or over-represented in one genome with respect to the other and need to be inserted or deleted, respectively. With this extension, previous restrictions on the genome configurations are lifted, for the first time enabling an uncompromising rearrangement analysis. Any marker sequence can directly be used for the distance calculation. The evaluation of our approach shows that it can be used to analyze genomes with up to a few ten thousand markers, which we demonstrate on simulated and real data.


title: Approximation rigidity and $h$-principle for Bing spines

abstract: We show that all PL manifolds of dimension $\geq 3$ have spines similar to Bing's house with two rooms. Beyond this we explore approximation rigidity and an $h$-principle.


title: Stability of the Albanese fibration on the Cartwright-Steger surface

abstract: We verify that the Albanese fibration of the Cartwright-Steger surface is stable, answering a problem left open in [CKY].


title: Demystifying Freeze-In Dark Matter at the LHC

abstract: Freeze-in mechanism provides robust dark matter production in the early universe. Due to its feeble interactions, freeze-in dark matter leaves signals at colliders which are often involved with long lived particle decays and consequent displaced vertices (DV). In this paper, we develop a method to read off mass spectrum of particles being involved in the DV events at the LHC. We demonstrate that our method neatly works under a limited statistics, detector resolution and smearing effects. The signature of DV at the LHC can come from either highly suppressed phase-space or a feeble coupling of particle decay processes. By measuring invisible particle mass spectrum, one can discriminate these two cases and thus extract information of dominant freeze-in processes in the early universe at the LHC.


title: Testing the Structure of Multipartite Entanglement with Hardy's Nonlocality

abstract: Multipartite quantum states may exhibit different types of quantum entanglement in that they cannot be converted into each other by local quantum operations only, and fully understanding mathematical structures of different types of multipartite entanglement is a very challenging task. In this paper, from the viewpoint of Hardy's nonlocality, we compare W and GHZ states and show a couple of crucial different behaviors between them. Particularly, by developing a geometric model for the Hardy's nonlocality problem of W states, we derive an upper bound for its maximal violation probability, which turns out to be strictly smaller than the corresponding probability of GHZ state. This gives us a new comparison between these two quantum states, and the result is also consistent with our intuition that GHZ states is more entangled. Furthermore, we generalize our approach to obtain an asymptotic characterization for general $N$-qubit W states, revealing that when $N$ goes up, the speed that the maximum violation probabilities decay is exponentially slower than that of general $N$-qubit GHZ states. We provide some numerical simulations to verify our theoretical results.


title: Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

abstract: We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve two open problems: * We present the first result that demonstrates a separation in proof power for cutting planes with unbounded versus polynomially bounded coefficients. Specifically, we exhibit CNF formulas that can be refuted in quadratic length and constant line space in cutting planes with unbounded coefficients, but for which there are no refutations in subexponential length and subpolynomial line space if coefficients are restricted to be of polynomial magnitude. * We give the first explicit separation between monotone Boolean formulas and monotone real formulas. Specifically, we give an explicit family of functions that can be computed with monotone real formulas of nearly linear size but require monotone Boolean formulas of exponential size. Previously only a non-explicit separation was known. An important technical ingredient, which may be of independent interest, is that we show that the Nullstellensatz degree of refuting the pebbling formula over a DAG G over any field coincides exactly with the reversible pebbling price of G. In particular, this implies that the standard decision tree complexity and the parity decision tree complexity of the corresponding falsified clause search problem are equal.


title: Enhanced Pulse Compression within Sign-Alternating Dispersion Waveguides

abstract: Repeatedly alternating the sign of dispersion along a waveguide substantially increases the bandwidth to input peak power efficiency of supercontinuum generation (SCG). Here, we explore, theoretically and numerically, how to optimize sign-alternating dispersion waveguides for nonlinear pulse compression, so that the compression ratio is maximized. By exploring a previously unknown SCG phase effect, we find emergent phase effects unique to these structures where the spectral phase converges to a parabolic profile independent of uncompensated higher-order dispersion. The combination of an easy to compress phase spectrum, with low input power requirements, then makes sign-alternating dispersion a scheme for high-quality nonlinear pulse compression that removes the need for high powered lasers. Also, we show a new scheme for the design of practical waveguide segments that can compress SCG pulses to near transform-limited durations, which is integral for the design of these alternated waveguides and in general, for nonlinear pulse compression experiments. We conclude by showing how compression can be maximized for alternating dispersion waveguides within the integrated photonics platform, showing compression to two optical cycles.


title: A DNA damage multi-scale model for NTCP in proton and hadron therapy

abstract: {\bf Purpose}: To develop a first principle and multi-scale model for normal tissue complication probability (NTCP) as a function of dose and LET for proton and in general for particle therapy with a goal of incorporating nano-scale radio-chemical to macro-scale cell biological pathways, spanning from initial DNA damage to tissue late effects. {\bf Methods}: The method is combination of analytical and multi-scale computational steps including (1) derivation of functional dependencies of NTCP on DNA driven cell lethality in nanometer and mapping to dose and LET in millimeter, and (2) 3D-surface fitting to Monte Carlo data set generated based on post radiation image change and gathered for a cohort of 14 pediatric patients treated by scanning beam of protons for ependymoma. We categorize voxel-based dose and LET associated with development of necrosis in NTCP. {\bf Result}: Our model fits well the clinical data, generated for post radiation tissue toxicity and necrosis. The fitting procedure results in extraction of in-{\it vivo} radio-biological $\alpha$-$\beta$ indices and their numerical values. {\bf Discussion and conclusion}: The NTCP model, explored in this work, allows to correlate the tissue toxicities to DNA initial damage, cell lethality and the properties and qualities of radiation, dose and LET.

categories: physics.med-ph cond-mat.mes-hall physics.bio-ph physics.data-an


title: Excited $\Omega_b$ baryons and fine structure of strong interaction

abstract: The heavy baryon system bounded by the strong interaction has a rich internal structure, so its mass spectra can have the fine structure similar to the line spectra of atom bounded by the electromagnetic interaction. We systematically study the internal structure of $P$-wave $\Omega_b$ baryons and calculate their $D$-wave decay properties. The present study, together with our previous studies on their mass spectra and $S$-wave decay properties, suggest that all the four excited $\Omega_b$ baryons recently discovered by LHCb can be well explained as $P$-wave $\Omega_b$ baryons, and their beautiful fine structure is directly related to the rich internal structure of $P$-wave $\Omega_b$ baryons.


title: Water affects morphogenesis of growing aquatic plant leaves

abstract: Lotus leaves floating on water usually experience short-wavelength edge wrinkling that decays toward the center, while the leaves growing above water normally morph into a global bending cone shape with long rippled waves near the edge. Observations suggest that the underlying water (liquid substrate) significantly affects the morphogenesis of leaves. To understand the biophysical mechanism under such phenomena, we develop mathematical models that can effectively account for inhomogeneous differential growth of floating and free-standing leaves, to quantitatively predict formation and evolution of their morphology. We find, both theoretically and experimentally, that the short-wavelength buckled configuration is energetically favorable for growing membranes lying on liquid, while the global buckling shape is more preferable for suspended ones. Other influencing factors such as stem/vein, heterogeneity and dimension are also investigated. Our results provide a fundamental insight into a variety of plant morphogenesis affected by water foundation and suggest that such surface instabilities can be harnessed for morphology control of biomimetic deployable structures using substrate or edge actuation.


title: General 3D Room Layout from a Single View by Render-and-Compare

abstract: We present a novel method to reconstruct the 3D layout of a room (walls, floors, ceilings) from a single perspective view in challenging conditions, by contrast with previous single-view methods restricted to cuboid-shaped layouts. This input view can consist of a color image only, but considering a depth map results in a more accurate reconstruction. Our approach is formalized as solving a constrained discrete optimization problem to find the set of 3D polygons that constitute the layout. In order to deal with occlusions between components of the layout, which is a problem ignored by previous works, we introduce an analysis-by-synthesis method to iteratively refine the 3D layout estimate. As no dataset was available to evaluate our method quantitatively, we created one together with several appropriate metrics. Our dataset consists of 293 images from ScanNet, which we annotated with precise 3D layouts. It offers three times more samples than the popular NYUv2 303 benchmark, and a much larger variety of layouts.


title: Electronic structure of $\beta$-SiAlON: effect of varying Al/O concentration at finite temperatures relevant for thermal quenchin

abstract: $\beta$-Si$_{6-z}$Al$_{z}$O$_{z}$N$_{8-z}$ is a prominent example of systems suitable as hosts for creating materials for light-emitting diodes. In this work, the electronic structure of a series of ordered and disordered $\beta$-Si$_{6-z}$Al$_{z}$O$_{z}$N$_{8-z}$ systems is investigated by means of ab initio calculations, using the FLAPW and the Green function KKR methods. Finite temperature effects are included within the alloy analogy model. We found that the trends with the Al/O doping are similar for ordered and disordered structures. The electronic band gap decreases with increasing $z$ by about 1 eV when going from $z$=0 to $z$=2. The optical gap decreases analogously as the electronic band gap. The changes in the density of states (DOS) at Si and N atoms introduced by doping $\beta$-Si$_{3}$N$_{4}$ with Al and O are comparable to the DOS at Al and O atoms themselves. The bottom of the conduction band in $\beta$-Si$_{6-z}$Al$_{z}$O$_{z}$N$_{8-z}$ is formed by extended states residing on all atomic types. Increasing the temperature leads to a shift of the bottom of the conduction band to lower energies. The amount of this shift increases with increasing doping $z$.


title: Incremental constitutive tensors and strain localization for prestressed elastic lattices: Part II -- incremental dynamics

abstract: Floquet-Bloch wave asymptotics is used to homogenize the in-plane mechanical response of a periodic grillage of elastic Rayleigh rods, possessing a distributed mass density, together with rotational inertia. The grid is subject to incremental time-harmonic dynamic motion, superimposed to a given state of axial loading of arbitrary magnitude. In contrast to the quasi-static energy match (addressed in Part I of the present study), the vibrational properties of the lattice are directly represented by the acoustic tensor of the equivalent solid (without passing through the constitutive tensor). The acoustic tensor is shown to be independent of the rods' rotational inertia and allows the analysis of strong ellipticity of the equivalent continuum, evidencing coincidence with macro-bifurcation in the lattice. On the other hand, micro-bifurcation corresponds to a vibration of vanishing frequency of the lowest dispersion branch of the lattice, occurring at finite wavelength. Dynamic homogenization reveals the structure of the acoustic branches close to ellipticity loss and the analysis of forced vibrations (both in physical space and Fourier space) shows low-frequency wave localizations. A comparison is presented between strain localization occurring near ellipticity loss and forced vibration of the lattice, both corresponding to the application of a concentrated pulsating force. The comparison shows that the homogenization technique allows an almost perfect representation of the lattice, with the exception of cases where micro-bifurcation occurs, which is shown to leave the equivalent solid unaffected. Therefore, the presented results pave the way for the design of architected cellular materials to be used in applications where extreme deformations are involved.


title: PaRoT: A Practical Framework for Robust Deep Neural Network Training

abstract: Deep Neural Networks (DNNs) are finding important applications in safety-critical systems such as Autonomous Vehicles (AVs), where perceiving the environment correctly and robustly is necessary for safe operation. Raising unique challenges for assurance due to their black-box nature, DNNs pose a fundamental problem for regulatory acceptance of these types of systems. Robust training --- training to minimize excessive sensitivity to small changes in input --- has emerged as one promising technique to address this challenge. However, existing robust training tools are inconvenient to use or apply to existing codebases and models: they typically only support a small subset of model elements and require users to extensively rewrite the training code. In this paper we introduce a novel framework, PaRoT, developed on the popular TensorFlow platform, that greatly reduces the barrier to entry. Our framework enables robust training to be performed on arbitrary DNNs without any rewrites to the model. We demonstrate that our framework's performance is comparable to prior art, and exemplify its ease of use on off-the-shelf, trained models and its testing capabilities on a real-world industrial application: a traffic light detection network.


title: Information Theoretic Model Predictive Q-Learning

abstract: Model-free Reinforcement Learning (RL) works well when experience can be collected cheaply and model-based RL is effective when system dynamics can be modeled accurately. However, both assumptions can be violated in real world problems such as robotics, where querying the system can be expensive and real-world dynamics can be difficult to model. In contrast to RL, Model Predictive Control (MPC) algorithms use a simulator to optimize a simple policy class online, constructing a closed-loop controller that can effectively contend with real-world dynamics. MPC performance is usually limited by factors such as model bias and the limited horizon of optimization. In this work, we present a novel theoretical connection between information theoretic MPC and entropy regularized RL and develop a Q-learning algorithm that can leverage biased models. We validate the proposed algorithm on sim-to-sim control tasks to demonstrate the improvements over optimal control and reinforcement learning from scratch. Our approach paves the way for deploying reinforcement learning algorithms on real systems in a systematic manner.


title: Generalized geometrical coupling for vector field localization on thick brane in asymptotic Anti-de Sitter spacetime

abstract: It is known that a five-dimensional free vector field $A_{M}$ cannot be localized on Randall-Sundrum (RS)-like thick branes, namely, the thick branes embedded in asymptotic Anti-de Sitter (AdS) spacetime. In order to localize a vector field on the RS-like thick brane, an extra coupling term should be introduced. In this paper, we generalize the geometrical coupling mechanism by adding two mass terms ($\alpha Rg^{MN}A_{M}A_{N}+\beta R^{MN}A_{M}A_{N}$) into the action. We decompose the fundamental vector field $A_{M}$ into three parts: transverse vector part $\hat{A}_{\mu}$, scalar parts $\phi$ and $A_{5}$. Then, we find that the transverse vector part $\hat{A}_{\mu}$ decouples from the scalar parts. In order to eliminate the tachyonic modes of $\hat{A}_{\mu}$, the two coupling parameters $\alpha$ and $\beta$ should satisfy a relation. Combining the restricted condition, we can get a combination parameter as $\gamma=\frac{3}{2}\pm\sqrt{1+12\alpha}$. Only if $\gamma>1/2$, the zero mode of $\hat{A}_{\mu}$ can be localized on the RS-like thick brane. We also investigate the resonant character of the vector part $\hat{A}_{\mu}$ for the general RS-like thick brane with the warp factor $A(z)=-\ln(1+k^2z^2)/2$ by choosing the relative probability method. The result shows that, only for $\gamma>3$, the massive resonant Kaluza-Klein modes can exist. The number of resonant Kaluza-Klein states increases with the combination parameter $\gamma$, and the lifetime of the first resonant state can be long enough as the age of our universe. This indicates that the vector resonances might be considered as one of the candidates of dark matter.


title: Pomset logic: the other approach to non commutativity in logic

abstract: Thirty years ago, I introduced a non-commutative variant of classical linear logic, called "pomset logic", issued from a particular categorical interpretation of linear logic known as coherence spaces. In addition to the usual commutative multiplicative connectives of linear logic, pomset logic includes a non-commutative connective, "$\triangleleft$" called "before", associative and self-dual: $(A\triangleleft B)^\perp=A^\perp \triangleleft B^\perp$. The conclusion of a pomset logic proof is a Partially Ordered MultiSET of formulas. Pomset logic enjoys a proof net calculus with cut-elimination, denotational semantics, and faithfully embeds sequent calculus. The study of pomset logic has reopened with recent results on handsome proof nets, on its sequent calculus, or on its following calculi like deep inference by Guglielmi and Strassburger. Therefore, it is high time we published a thorough presentation of pomset logic, including published and unpublished material, old and new results. Pomset logic (1993) is a non-commutative variant of linear logic (1987) as for Lambek calculus (1958!) and it can also be used as a grammatical formalism. Those two calculi are quite different, but we hope that the algebraic presentation we give here, with formulas as algebraic terms and with a semantic notion of proof (net) correctness, better matches Lambek's view of what a logic should be.


title: Strangeness and light fragment production at high baryon density

abstract: We discuss medium effects on light cluster production in the QCD phase diagram within a generalized Beth-Uhlenbeck (GBU) approach by relating Mott transition lines to those for chemical freeze-out. We find that in heavy-ion collisions at highest energies provided by the LHC light cluster abundances should follow the statistical model because of low baryon densities. At low energies in the nuclear fragmentation region, where the freeze-out interferes with the liquid-gas phase transition, selfenergy and Pauli blocking effects are important. At intermediate energies the HADES, FAIR and NICA experiments can give new information. The GBU approach provides new insights to strange hadron production in this energy domain for explaining the "horn" effects.


title: Power Generation Nowcasting of the Behind-the-Meter Photovoltaic Systems

abstract: Rapid increase in the number of photo voltaic systems (PVSs) across the low voltage distribution systems required real-time monitoring of those systems. However, considering the necessary investment cost, real-time monitoring infrastructure installation does not seem to be achieved in the near future. Thus, alternative approaches to achieve this necessity is crucial. In this study, a method is proposed to nowcast the power generation of the behind-the-meter PVSs. The method relies on the strong correlation between the harmonic current injection of the PVS inverter and the power generation of the PVS. The Artificial Neural Network method (ANN) is utilized to model the relation between the predictors and the aggregated PVS output, i.e. generated power. Finally, the effectiveness of the approach is assessed with real field data.


title: On asymptotics for lacunary partition functions

abstract: We give asymptotic analysis of power series associated with lacunary partition functions. New partition theoretic interpretations of some basic hypergeometric series are offered as examples.


title: Dark Matter and Torsion

abstract: Superheavy right-handed Majorana neutrinos are proposed as a promising candidate for dark matter, with dynamical axial torsion as the mediating agent.


title: Inferring Convolutional Neural Networks' accuracies from their architectural characterizations

abstract: Convolutional Neural Networks (CNNs) have shown strong promise for analyzing scientific data from many domains including particle imaging detectors. However, the challenge of choosing the appropriate network architecture (depth, kernel shapes, activation functions, etc.) for specific applications and different data sets is still poorly understood. In this paper, we study the relationships between a CNN's architecture and its performance by proposing a systematic language that is useful for comparison between different CNN's architectures before training time. We characterize CNN's architecture by different attributes, and demonstrate that the attributes can be predictive of the networks' performance in two specific computer vision-based physics problems -- event vertex finding and hadron multiplicity classification in the MINERvA experiment at Fermi National Accelerator Laboratory. In doing so, we extract several architectural attributes from optimized networks' architecture for the physics problems, which are outputs of a model selection algorithm called Multi-node Evolutionary Neural Networks for Deep Learning (MENNDL). We use machine learning models to predict whether a network can perform better than a certain threshold accuracy before training. The models perform 16-20% better than random guessing. Additionally, we found an coefficient of determination of 0.966 for an Ordinary Least Squares model in a regression on accuracy over a large population of networks.


title: Trained Trajectory based Automated Parking System using Visual SLAM on Surround View Cameras

abstract: Automated Parking is becoming a standard feature in modern vehicles. Existing parking systems build a local map to be able to plan for maneuvering towards a detected slot. Next generation parking systems have an use case where they build a persistent map of the environment where the car is frequently parked, say for example, home parking or office parking. The pre-built map helps in re-localizing the vehicle better when its trying to park the next time. This is achieved by augmenting the parking system with a Visual SLAM pipeline and the feature is called trained trajectory parking in the automotive industry. In this paper, we discuss the use cases, design and implementation of a trained trajectory automated parking system. The proposed system is deployed on commercial vehicles and the consumer application is illustrated in \url{https://youtu.be/nRWF5KhyJZU}. The focus of this paper is on the application and the details of vision algorithms are kept at high level.


title: Meteospace, a New Instrument for Solar Survey at the Calern Observatory

abstract: High cadence observations of solar activity (active regions, flares, filaments) in the H$\alpha$ line were performed at Meudon and Haute Provence Observatories from 1956 to 2004. More than 7 million images were recorded, mainly on 35 mm films. After a review of the scientific interest of solar surveys at high temporal resolution and the historical background, we describe the new instrument which will operate automatically in 2020 at the Calern station of the C\^{o}te d'Azur observatory (1270 m). It will replace the former heliographs with improved cadence, seeing and time coverage. We summarize the capabilities of the optical design and present new scientific perspectives in terms of flare onset and Moreton wave detection.


title: A3: An Automatic Topology-Aware Malfunction Detection and Fixation System in Data Center Networks

abstract: Link failures and cable miswirings are not uncommon in building data center networks, which prevents the existing automatic address configuration methods from functioning correctly. However, accurately detecting such malfunctions is not an easy task because there could be no observable node degree changes. Fixing or correcting such malfunctions is even harder as almost no work can provide accurate fixation suggestions now. To solve the problems, we design and implement A3, an automatic topology-aware malfunction detection and fixation system. A3 innovatively formulates the problem of finding minimal fixation to the problem of computing minimum graph difference (NP-hard) and solves it in O(k^6) and O(k^3) for any less than k/2 and k/4 undirected link malfunctions for FatTree, respectively. Our evaluation demonstrates that for less than k/2 undirected link malfunctions, A3 is 100% accurate for malfunction detection and provides the minimum fixation result. For greater or equal to k/2 undirected link malfunctions, A3 still has accuracy of about 100% and provides the near optimal fixation result.


title: A Decomposition of Twisted Equivariant $K$-Theory

abstract: For $G$ a finite group, a normalized 2-cocycle $\alpha\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $\alpha$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $\alpha$-projective representations of $A$. This generalizes the decomposition obtained in [G\'omez J.M., Uribe B., Internat. J. Math. 28 (2017), 1750016, 23 pages, arXiv:1604.01656] for equivariant $K$-theory. We also explore some examples of this decomposition for the particular case of the dihedral groups $D_{2n}$ with $n\ge 2$ an even integer.


title: Generalized mean shift with triangular kernel profile

abstract: The mean shift algorithm is a popular way to find modes of some probability density functions taking a specific kernel-based shape, used for clustering or visual tracking. Since its introduction, it underwent several practical improvements and generalizations, as well as deep theoretical analysis mainly focused on its convergence properties. In spite of encouraging results, this question has not received a clear general answer yet. In this paper we focus on a specific class of kernels, adapted in particular to the distributions clustering applications which motivated this work. We show that a novel Mean Shift variant adapted to them can be derived, and proved to converge after a finite number of iterations. In order to situate this new class of methods in the general picture of the Mean Shift theory, we alo give a synthetic exposure of existing results of this field.


title: Rich phase diagram of quantum phases in the anisotropic subohmic spin-boson model

abstract: We study the anisotropic spin-boson model (SBM) with the subohmic bath by a numerically exact method based on variational matrix product states. A rich phase diagram is found in the anisotropy-coupling strength plane by calculating several observables. There are three distinct quantum phases: a delocalized phase with even parity (phase I), a delocalized phase with odd parity (phase II), and a localized phase with broken $Z_2$ symmetry (phase III), which intersect at a quantum tricritical point. The competition between those phases would give overall picture of the phase diagram. For small power of the spectral function of the bosonic bath, the quantum phase transition (QPT) from phase I to III with mean-field critical behavior is present, similar to the isotropic SBM. The novel phase diagram full with three different phases can be found at large power of the spectral function: For highly anisotropic case, the system experiences the QPTs from phase I to II via 1st-order, and then to the phase III via 2nd-order with the increase of the coupling strength. For low anisotropic case, the system only experiences the continuous QPT from phase I to phase III with the non-mean-field critical exponents. Very interestingly, at the moderate anisotropy, the system would display the continuous QPTs for several times but with the same critical exponents. This unusual reentrance to the same localized phase is discovered in the light-matter interacting systems. The present study on the anisotropic SBM could open an avenue to the rich quantum criticality.


title: Spiral wave chimeras for coupled oscillators with inertia

abstract: We report the appearance and the metamorphoses of spiral wave chimera states in coupled phase oscillators with inertia. First, when the coupling strength is small enough, the system behavior resembles classical two-dimensional (2D) Kuramoto-Shima spiral chimeras with bell-shape frequency characteristic of the incoherent cores. As the coupling increases, the cores acquire concentric regions of constant time-averaged frequencies, the chimera becomes quasiperiodic. Eventually, with a subsequent increase in the coupling strength, only one such region is left, i.e., the whole core becomes frequency-coherent. An essential modification of the system behavior occurs, when the parameter point enters the so-called solitary} region. Then, isolated oscillators are normally present on the spiral core background of the chimera states. These solitary oscillators do not participate in the common spiraling around the cores; instead, they start to oscillate with different time-averaged frequencies (Poincar\'e winding numbers). The number and the disposition of solitary oscillators can be any, given by the initial conditions. At a further increase in the coupling, the spiraling disappears, and the system behavior passes to a sort of spatiotemporal chaos.


title: Exact Bayesian inference for discretely observed Markov Jump Processes using finite rate matrices

abstract: We present new methodologies for Bayesian inference on the rate parameters of a discretely observed continuous-time Markov jump processes with a countably infinite state space. The usual method of choice for inference, particle Markov chain Monte Carlo (particle MCMC), struggles when the observation noise is small. We consider the most challenging regime of exact observations and provide two new methodologies for inference in this case: the minimal extended state space algorithm (MESA) and the nearly minimal extended state space algorithm (nMESA). By extending the Markov chain Monte Carlo state space, both MESA and nMESA use the exponentiation of finite rate matrices to perform exact Bayesian inference on the Markov jump process even though its state space is countably infinite. Numerical experiments show improvements over particle MCMC of between a factor of three and several orders of magnitude.


title: How motifs condition critical thresholds for tipping cascades in complex networks: Linking Micro- to Macro-scales

abstract: In this study, we investigate how specific micro interaction structures (motifs) affect the occurrence of tipping cascades on networks of stylized tipping elements. We compare the properties of cascades in Erd\"os-R\'enyi networks and an exemplary moisture recycling network of the Amazon rainforest. Within these networks, decisive small-scale motifs are the feed forward loop, the secondary feed forward loop, the zero loop and the neighboring loop. Of all motifs, the feed forward loop motif stands out in tipping cascades since it decreases the critical coupling strength necessary to initiate a cascade more than the other motifs. We find that for this motif, the reduction of critical coupling strength is 11% less than the critical coupling of a pair of tipping elements. For highly connected networks, our analysis reveals that coupled feed forward loops coincide with a strong 90% decrease of the critical coupling strength. For the highly clustered moisture recycling network in the Amazon, we observe regions of very high motif occurrence for each of the four investigated motifs suggesting that these regions are more vulnerable. The occurrence of motifs is found to be one order of magnitude higher than in a random Erd\"os-R\'enyi network. This emphasizes the importance of local interaction structures for the emergence of global cascades and the stability of the network as a whole.


title: PIC simulation of a shock tube: Implications for wave transmission in the heliospheric boundary region

abstract: A shock tube problem is solved numerically by using one-dimensional full particle-in-cell simulations under the condition that a relatively tenuous and weakly magnetized plasma is continuously pushed by a relatively dense and strongly magnetized plasma having supersonic relative velocity. A forward and a reverse shock and a contact discontinuity are self-consistently reproduced. The spatial width of the contact discontinuity increases as the angle between the discontinuity normal and ambient magnetic field decreases. The inner structure of the discontinuity shows different profiles between magnetic field and plasma density, or pressure, which is caused by a non-MHD effect of the local plasma. The region between the two shocks is turbulent. The fluctuations in the relatively dense plasma are compressible and propagating away from the contact discontinuity, although the fluctuations in the relatively tenuous plasma contain both compressible and incompressible components. The source of the compressible fluctuations in the relatively dense plasma is in the relatively tenuous plasma. Only compressible fast mode fluctuations generated in the relatively tenuous plasma are transmitted through the contact discontinuity and propagate in the relatively dense plasma. These fast mode fluctuations are steepened when passing the contact discontinuity. This wave steepening and probably other effects may cause the broadening of the wave spectrum in the very local interstellar medium plasma. The results are discussed in the context of the heliospheric boundary region or heliopause.


title: On a smooth scalar field characterizing the risk of exposure to methyl-mercury due to non intentional consumption of shark meet in males of M\'exico city's metropolitan area

abstract: In this article, we obtain, through statistical and numerical methods, a smooth function in the variables of the life stage and the concentration, which estimates the risk of exposure of methylmercury due to the unintentional consumption of shark in men from Mexico City. With methods of the Theory of Singularities and Dynamical Systems, the stability of this risk function was shown by analyzing the associated vector field. The region of risk was obtained in the variables as mentioned above, and the average risk in the whole region was calculated, which turns out to be a high index. The associated risk surface is a Hadamard surface embedded in the three-dimensional space $\mathbb{R}^3$, and the points where the curvature is zero determine critical ages important for the risk in men.


title: Data Structure Primitives on Persistent Memory: An Evaluation

abstract: Persistent Memory (PMem), as already available, e.g., with Intel Optane DC Persistent Memory, represents a very promising, next-generation memory solution with a significant impact on database architectures. Several data structures for this new technology and its properties have already been proposed. However, primarily only complete structures are presented and evaluated. Thus, the implications of the individual ideas and PMem features are concealed. Therefore, in this paper, we disassemble the structures presented so far, identify their underlying design primitives, and assign them to appropriate design goals regarding PMem. As a result of our comprehensive experiments on real PM hardware, we can reveal the trade-offs of the primitives for various access patterns. This allowed us to pinpoint their best use cases as well as vulnerabilities. Besides our general insights regarding PMem-based data structure design, we also discovered new combinations not examined in the literature so far.


title: Inferring genetic fitness from genomic data

abstract: The genetic composition of a naturally developing population is considered as due to mutation, selection, genetic drift and recombination. Selection is modeled as single-locus terms (additive fitness) and two-loci terms (pairwise epistatic fitness). The problem is posed to infer epistatic fitness from population-wide whole-genome data from a time series of a developing population. We generate such data in silico, and show that in the Quasi-Linkage Equilibrium (QLE) phase of Kimura, Neher and Shraiman, that pertains at high enough recombination rates and low enough mutation rates, epistatic fitness can be quantitatively correctly inferred using inverse Ising/Potts methods.


title: MMS Observations of Whistler and Lower Hybrid Drift Waves Associated with Magnetic Reconnection in the Turbulent Magnetosheath

abstract: Magnetic reconnection (MR) and the associated concurrently occurring waves have been extensively studied at large-scale plasma boundaries, in quasi-symmetric and asymmetric configurations in the terrestrial magnetotail and at the magnetopause. Recent high-resolution observations by MMS (Magnetospheric Multiscale) spacecraft indicate that MR can occur also in the magnetosheath where the conditions are highly turbulent when the upstream shock geometry is quasi-parallel. The strong turbulent motions make the boundary conditions for evolving MR complicated. In this paper it is demonstrated that the wave observations in localized regions of MR can serve as an additional diagnostic tool reinforcing our capacity for identifying MR events in turbulent plasmas. It is shown that in a close resemblance with MR at large-scale boundaries, turbulent reconnection associated whistler waves occur at separatrix/outflow regions and at the outer boundary of the electron diffusion region, while lower hybrid drift waves are associated with density gradients during the crossing of the current sheet. The lower hybrid drift instability can make the density inhomogeneities rippled. The identification of MR associated waves in the magnetosheath represents also an important milestone for developing a better understanding of energy redistribution and dissipation in turbulent plasmas.


title: From inequalities involving exponential functions and sums to logarithmically complete monotonicity of ratios of gamma functions

abstract: In the paper, the authors review origins, motivations, and generalizations of a series of inequalities involving several exponential functions and sums, establish three new inequalities involving finite exponential functions and sums by finding convexity of a function related to the generating function of the Bernoulli numbers, survey the history, backgrounds, generalizations, logarithmically complete monotonicity, and applications of a series of ratios of finite gamma functions, present complete monotonicity of a linear combination of finite trigamma functions, construct a new ratio of finite gamma functions, derives monotonicity, logarithmic convexity, concavity, complete monotonicity, and the Bernstein function property of the newly constructed ratio of finite gamma functions, and suggest two linear combinations of finite trigamma functions and two ratios of finite gamma functions to be investigated.


title: Quantum information scrambling in a trapped-ion quantum simulator with tunable range interactions

abstract: In ergodic many-body quantum systems, locally encoded quantum information becomes, in the course of time evolution, inaccessible to local measurements. This concept of "scrambling" is currently of intense research interest, entailing a deep understanding of many-body dynamics such as the processes of chaos and thermalization. Here, we present first experimental demonstrations of quantum information scrambling on a 10-qubit trapped-ion quantum simulator representing a tunable long-range interacting spin system, by estimating out-of-time ordered correlators (OTOCs) through randomized measurements. We also analyze the role of decoherence in our system by comparing our measurements to numerical simulations and by measuring R\'enyi entanglement entropies.


title: Twisted Supergravity and Koszul Duality: A case study in AdS$_3$

abstract: In this note, we study a simplified variant of the familiar holographic duality between supergravity on AdS$_3\times S^3\times T^4$ and the SCFT (on the moduli space of) the symmetric orbifold theory $Sym^N(T^4)$ as $N \rightarrow \infty$. This variant arises conjecturally from a twist proposed by the first author and Si Li. We recover a number of results concerning protected subsectors of the original duality working directly in the twisted bulk theory. Moreover, we identify the symmetry algebra arising in the $N\rightarrow \infty$ limit of the twisted gravitational theory. We emphasize the role of $\textit{Koszul duality}$---a ubiquitous mathematical notion to which we provide a friendly introduction---in field theory and string theory. After illustrating the appearance of Koszul duality in the "toy" example of holomorphic Chern-Simons theory, we describe how (a deformation of) Koszul duality relates bulk and boundary operators in our twisted setup, and explain how one can compute algebra OPEs diagrammatically using this notion. Further details, results, and computations will appear in a companion paper.


title: Heaps' law and Heaps functions in tagged texts: Evidences of their linguistic relevance

abstract: We study the relationship between vocabulary size and text length in a corpus of $75$ literary works in English, authored by six writers, distinguishing between the contributions of three grammatical classes (or ``tags,'' namely, {\it nouns}, {\it verbs}, and {\it others}), and analyze the progressive appearance of new words of each tag along each individual text. While the power-law relation prescribed by Heaps' law is satisfactorily fulfilled by total vocabulary sizes and text lengths, the appearance of new words in each text is on the whole well described by the average of random shufflings of the text, which does not obey a power law. Deviations from this average, however, are statistically significant and show a systematic trend across the corpus. Specifically, they reveal that the appearance of new words along each text is predominantly retarded with respect to the average of random shufflings. Moreover, different tags are shown to add systematically distinct contributions to this tendency, with {\it verbs} and {\it others} being respectively more and less retarded than the mean trend, and {\it nouns} following instead this overall mean. These statistical systematicities are likely to point to the existence of linguistically relevant information stored in the different variants of Heaps' law, a feature that is still in need of extensive assessment.


title: Challenges to modelling from groundbreaking new data of present/future space and ground facilities

abstract: The sheer size of high-accuracy, multi-band photometry, spectroscopy, astrometry and seismic data that space missions like Kepler, Gaia, PLATO, TESS, JWST and ground-based facilities under development such as MOONS, WEAVE and the LSST will produce within the next decade, brings big opportunities to improve current modelling; but it also presents unprecedented challenges to overcome the present limitations in stellar evolution and pulsation models. Such an unprecedented harvest of data also requires multi-tasking and synergic approaches to be interpreted and fully exploited. We briefly review major outputs expected from ongoing/planned facilities and large sky surveys, then focus specifically on Gaia and present a few examples of the impact that this mission is having on studies of stellar physics, Galactic structure and the cosmic distance ladder.


title: Forecast constraints on Anisotropic Stress in Dark Energy using gravitational-waves

abstract: It is always interesting to investigate how well can a future experiment perform with respect to others (present or future ones). Cosmology is really an exciting field where a lot of puzzles are still unknown. In this article we consider a generalized dark energy (DE) scenario where anisotropic stress is present. We constrain this generalized cosmic scenario with an aim to investigate how gravitational waves standard sirens (GWSS) may constrain the anisotropic stress, which according to the standard cosmological probes, remains unconstrained. In order to do this, we generate the luminosity distance measurements from $\mathcal{O} (10^3)$ mock GW events which match the expected sensitivity of the Einstein Telescope. Our analyses report that, first of all, GWSS can give better constraints on various cosmological parameters compared to the usual cosmological probes, but the viscous sound speed appearing due to the dark energy anisotropic stress, is totally unconstrained even after the inclusion of GWSS.


title: Rainbow matchings in $k$-partite hypergraphs

abstract: In this paper, we prove a conjecture of Aharoni and Howard on the existence of rainbow (transversal) matchings in sufficiently large families $\mathcal F_1,\ldots, \mathcal F_s$ of tuples in $\{1,\ldots, n\}^k$, provided $s\ge 470.$


title: Nonlinear waves in an anti-Hermitian lattice with cubic nonlinearity

abstract: In an anti-Hermitian linear system, all energy eigenvalues are purely imaginary and the corresponding eigenvectors are orthogonal. This implies that no stationary state is available in such systems. We consider an anti-Hermitian lattice with cubic nonlinearity and explore novel nonlinear stationary modes. We discuss that relative population is conserved in a nonreciprocal tight binding lattice with periodical boundary conditions as opposed to parity-time (PT) symmetric lattices. We study nonlinear nonrecipocal dimer, triple and quadrimer models and construct stationary nonlinear modes.


title: Markov chains revisited

abstract: A rigorous and largely self-contained account of (a) the bread-and-butter concepts and techniques in Markov chain theory and (b) the long-term behaviour of chains. As much as possible, the treatment is probabilistic instead of analytical (I stay away from semigroup theory). Personally, I tend to find that the intuition lies with the former and not the latter. This manuscript is geared towards those interested in the use of Markov chains as models of real-life phenomena. For this reason, I focus on the type of chains most commonly encountered in practice (time-homogeneous, minimal, and right-continuous in the discrete topology) and choose a starting point very familiar to this audience: the (Kendall-) Gillespie Algorithm commonly used to simulate these chains. In order to keep the prerequisite knowledge and technical complications to a minimum, I take a 'bare-bones' approach that keeps the focus on chains (instead of more general processes) to an almost pathological degree: I use the 'jump and hold' structure of chains extensively; almost no martingale theory; minimal coupling; no stochastic calculus; and, even though regeneration and renewal (of course!) feature in the manuscript, they do so exclusively in the context of chains. I have also taken some extra steps to avoid imposing certain assumptions encountered in other texts that sometimes prove to be stumbling blocks in practice (e.g., irreducibility of the state space, boundedness of test functions and of stopping times). For more details, see the preface.


title: Transition Property for $\alpha$-Power Free Languages with $\alpha\geq 2$ and $k\geq 3$ Letters

abstract: In 1985, Restivo and Salemi presented a list of five problems concerning power free languages. Problem $4$ states: Given $\alpha$-power-free words $u$ and $v$, decide whether there is a transition from $u$ to $v$. Problem $5$ states: Given $\alpha$-power-free words $u$ and $v$, find a transition word $w$, if it exists. Let $\Sigma_k$ denote an alphabet with $k$ letters. Let $L_{k,\alpha}$ denote the $\alpha$-power free language over the alphabet $\Sigma_k$, where $\alpha$ is a rational number or a rational "number with $+$". If $\alpha$ is a "number with $+$" then suppose $k\geq 3$ and $\alpha\geq 2$. If $\alpha$ is "only" a number then suppose $k=3$ and $\alpha>2$ or $k>3$ and $\alpha\geq 2$. We show that: If $u\in L_{k,\alpha}$ is a right extendable word in $L_{k,\alpha}$ and $v\in L_{k,\alpha}$ is a left extendable word in $L_{k,\alpha}$ then there is a (transition) word $w$ such that $uwv\in L_{k,\alpha}$. We also show a construction of the word $w$.