title: Nonparametric tests of the causal null with non-discrete exposures

abstract: In many scientific studies, it is of interest to determine whether an exposure has a causal effect on an outcome. In observational studies, this is a challenging task due to the presence of confounding variables that affect both the exposure and the outcome. Many methods have been developed to test for the presence of a causal effect when all such confounding variables are observed and when the exposure of interest is discrete. In this article, we propose a class of nonparametric tests of the null hypothesis that there is no average causal effect of an arbitrary univariate exposure on an outcome in the presence of observed confounding. Our tests apply to discrete, continuous, and mixed discrete-continuous exposures. We demonstrate that our proposed tests are doubly-robust consistent, that they have correct asymptotic type I error if both nuisance parameters involved in the problem are estimated at fast enough rates, and that they have power to detect local alternatives approaching the null at the rate $n^{-1/2}$. We study the performance of our tests in numerical studies, and use them to test for the presence of a causal effect of smoking on birthweight among smoking mothers.


title: Niobium doping induced mirror twin boundaries in MBE grown WSe2 monolayers

abstract: Mirror twin boundary (MTB) brings unique 1D physics and properties into two-dimensional transition metal dichalcogenides (TMDCs), but they were rarely observed in non-Mo-based TMDCs. Herein, by post-growth Nb doping, high density 4|4E-W and 4|4P-Se MTBs were introduced into molecular beam epitaxy (MBE) grown WSe2 monolayers. Of them, 4|4E-W MTB with a novel structure was discovered experimentally for the first time, while 4|4P-Se MTBs present a random permutations of W and Nb, forming a 1D alloy system. Comparison between the doped and non-doped WSe2 confirmed that Nb dopants are essential for MTB formation. Furthermore, quantitative statistics reveal the areal density of MTBs is directly proportional to the concentration of Nb dopants. To unravel the injection pathway of Nb dopants, first-principles calculations about a set of formation energies for excess Nb atoms with different configurations were conducted, based on which a model explaining the origin of MTBs introduced by excess metal was built. We conclude that the formation of MTBs is mainly driven by the collective evolution of excess Nb atoms introduced into the lattice of host WSe2 crystal and subsequent displacement of metal atoms (W or Nb). This study provides a novel way to tailor the MTBs in 2D TMDC materials via proper metal doping and presents a new opportunities for exploring the intriguing properties.


title: Quantum walks in weak electric fields and Bloch oscillations

abstract: Bloch oscillations appear when an electric field is superimposed on a quantum particle that evolves on a lattice with a tight-binding Hamiltonian (TBH), i.e., evolves via what we will call an electric TBH; this phenomenon will be referred to as TBH Bloch oscillations. A similar phenomenon is known to show up in so-called electric discrete-time quantum walks (DQWs); this phenomenon will be referred to as DQW Bloch oscillations. This similarity is particularly salient when the electric field of the DQW is weak. For a wide, i.e., spatially extended initial condition, one numerically observes semi-classical oscillations, i.e., oscillations of a localized particle, both for the electric TBH and the electric DQW. More precisely: The numerical simulations strongly suggest that the semi-classical DQW Bloch oscillations correspond to two counter-propagating semi-classical TBH Bloch oscillations. In this work it is shown that, under certain assumptions, the solution of the electric DQW for a weak electric field and a wide initial condition is well approximated by the superposition of two continuous-time expressions, which are counter-propagating solutions of an electric TBH whose hopping amplitude is the cosine of the arbitrary coin-operator mixing angle. In contrast, if one wishes the continuous-time approximation to hold for spatially localized initial conditions, one needs at least the DQW to be lazy, as suggested by numerical simulations and by the fact that this has been proven in the case of a vanishing electric field.


title: Holomorphic anomaly equation for $(\mathbb{P}^2,E)$ and the Nekrasov-Shatashvili limit of local $\mathbb{P}^2$

abstract: We prove a higher genus version of the genus $0$ local-relative correspondence of van Garrel-Graber-Ruddat: for $(X,D)$ a pair with $X$ a smooth projective variety and $D$ a nef smooth divisor, maximal contact Gromov-Witten theory of $(X,D)$ with $\lambda_g$-insertion is related to Gromov-Witten theory of the total space of $\mathcal{O}_X(-D)$ and local Gromov-Witten theory of $D$. Specializing to $(X,D)=(S,E)$ for $S$ a del Pezzo surface or a rational elliptic surface and $E$ a smooth anticanonical divisor, we show that maximal contact Gromov-Witten theory of $(S,E)$ is determined by the Gromov-Witten theory of the Calabi-Yau 3-fold $\mathcal{O}_S(-E)$ and the stationary Gromov-Witten theory of the elliptic curve $E$. Specializing further to $S=\mathbb{P}^2$, we prove that higher genus generating series of maximal contact Gromov-Witten invariants of $(\mathbb{P}^2,E)$ are quasimodular and satisfy a holomorphic anomaly equation. The proof combines the quasimodularity results and the holomorphic anomaly equations previously known for local $\mathbb{P}^2$ and the elliptic curve. Furthermore, using the connection between maximal contact Gromov-Witten invariants of $(\mathbb{P}^2,E)$ and Betti numbers of moduli spaces of semistable one-dimensional sheaves on $\mathbb{P}^2$, we obtain a proof of the quasimodularity and holomorphic anomaly equation predicted in the physics literature for the refined topological string free energy of local $\mathbb{P}^2$ in the Nekrasov-Shatashvili limit.


title: A Supervised Learning Algorithm for Multilayer Spiking Neural Networks Based on Temporal Coding Toward Energy-Efficient VLSI Processor Design

abstract: Spiking neural networks (SNNs) are brain-inspired mathematical models with the ability to process information in the form of spikes. SNNs are expected to provide not only new machine-learning algorithms, but also energy-efficient computational models when implemented in VLSI circuits. In this paper, we propose a novel supervised learning algorithm for SNNs based on temporal coding. A spiking neuron in this algorithm is designed to facilitate analog VLSI implementations with analog resistive memory, by which ultra-high energy efficiency can be achieved. We also propose several techniques to improve the performance on a recognition task, and show that the classification accuracy of the proposed algorithm is as high as that of the state-of-the-art temporal coding SNN algorithms on the MNIST dataset. Finally, we discuss the robustness of the proposed SNNs against variations that arise from the device manufacturing process and are unavoidable in analog VLSI implementation. We also propose a technique to suppress the effects of variations in the manufacturing process on the recognition performance.


title: Persistent oscillations after quantum quenches: The inhomogeneous case

abstract: We previously showed that a quantum quench in a one-dimensional translation invariant system produces undamped oscillations of a local observable when the post-quench state includes a single-quasiparticle mode and the observable couples to that mode [J. Phys. A 47 (2014) 402001]. Here we consider quenches that break initial translation invariance. Focusing on quenches performed only on an interval of the whole system, we analytically determine the time evolution of local observables, which occurs inside a truncated light cone spreading away from the quenched interval as time increases. If the quench excites a single-quasiparticle mode, oscillations with the frequency of the quasiparticle mass stay undamped until a time increasing with the length of the quenched interval, before eventually decaying as $t^{-1/2}$. The translation invariant case with no damping is recovered as the length of the interval goes to infinity.


title: On Dirichlet biquadratic fields

abstract: We study the $4$-rank of the ideal class group of $K_n := \mathbb{Q}(\sqrt{-n}, \sqrt{n})$. Our main result is that for a positive proportion of the squarefree integers $n$ we have that the $4$-rank of $\text{Cl}(K_n)$ equals $\omega_3(n) - 1$, where $\omega_3(n)$ is the number of prime divisors of $n$ that are $3$ modulo $4$.


title: Theory of magnetic response in finite two-dimensional superconductors

abstract: We present a theory of magnetic response in a finite-size two-dimensional superconductors with Rashba spin-orbit coupling. The interplay between the latter and an in-plane Zeeman field leads on the one hand to an out-of-plane spin polarization which accumulates at the edges of the sample over the superconducting coherence length, and on the other hand, to circulating supercurrents decaying away from the edge over a macroscopic scale. In a long finite stripe of width W both, the spin polarization and the currents, contribute to the total magnetic moment induced at the stripe ends. These two contributions scale with W and W2 respectively, such that for sufficiently large samples it can be detected by current magnetometry techniques.


title: Towards DMRG-tailored coupled cluster method in the 4c-relativistic domain

abstract: There are three essential problems in computational relativistic chemistry: electrons moving at relativistic speeds, close lying states and dynamical correlation. Currently available quantum-chemical methods are capable of solving systems with one or two of these issues. However, there is a significant class of molecules, in which all the three effects are present. These are the heavier transition metal compounds, lanthanides and actinides with open d or f shells. For such systems, sufficiently accurate numerical methods are not available, which hinders the application of theoretical chemistry in this field. In this paper, we combine two numerical methods in order to address this challenging class of molecules. These are the relativistic versions of coupled cluster methods and density matrix renormalization group (DMRG) method. To the best of our knowledge, this is the first relativistic implementation of the coupled cluster method externally corrected by DMRG. The method brings a significant reduction of computational costs, as we demonstrate on the system of TlH, AsH and SbH.


title: Overview of Recent Results from ATLAS

abstract: This paper presents an overview of recent results from the ATLAS Experiment at the CERN Large Hadron Collider, with a particular focus on those that are based on the entire Run 2 dataset of $\sqrt{s}$=13 TeV proton-proton collisions. These results include Standard Model measurements, updates on the Higgs Boson properties, as well as searches for high-mass resonances and supersymmetry.


title: Multi-level trust-based intelligence schema for securing of internet of things (IoT) against security threats using cryptographic authentication

abstract: The internet of things (IoT) is able to provide a prediction of linked, universal, and smart nodes that have autonomous interaction when they present services. Because of wide openness, relatively high processing power, and wide distribution of IoT things, they are ideal for attacks of the gray hole. In the gray hole attack, the attacker fakes itself as the shortest path to the destination that is a thing here. This causes the routing packets not to reach the destination. The proposed method is based on the AODV routing protocol and is presented under the MTISS-IoT name which means for the reduction of gray hole attacks using check node information. In this paper, a hybrid approach is proposed based on cryptographic authentication. The proposed approach consists of four phases, such as the verifying node trust in the IoT, testing the routes, gray hole attack discovery, and the malicious attack elimination process in MTISS-IoT. The method is evaluated here via extensive simulations carried out in the NS-3 environment. The experimental results of four scenarios demonstrated that the MTISS-IoT method can achieve a false positive rate of 14.104%, a false negative rate of 17.49%, and a detection rate of 94.5% when gray hole attack was launched.


title: Constraining the nuclear equation of state via gravitational-wave radiation of short gamma-ray burst remnants

abstract: The observed internal plateau of X-ray emission in some short GRBs suggests the formation of a remnant supra-massive magnetar following a double neutron star (NS) merger. In this paper, we assume that the rotational energy is lost mainly via gravitational wave (GW) radiation instead of magnetic dipole (MD) radiation, and present further constraints on the NS nuclear equation of state (EoS) via mass quadrupole deformation and r-mode fluid oscillations of the magnetar. We present two short GRBs with measured redshifts, 101219A and 160821B, whose X-ray light curves exhibit an internal plateau. This suggests that a supra-massive NS may survive as the central engine. By considering twelve NS EoSs, within the mass quadrupole deformation scenario we find that the GM1, DD2, and DDME2 models give an $M_{\rm p}$ band falling within the 2$\sigma$ region of the proto-magnetar mass distribution for $\varepsilon=0.01$. This is consistent with the constraints from the MD radiation dominated model of rotational energy loss. However, for an r-mode fluid oscillation model with $\alpha=0.1$ the data suggest that the NS EOS is close to the Shen and APR models, which is obviously different from the MD radiation dominated and mass quadrupole deformation cases.


title: Contraction-free quantum state encoding by quantum tunneling in single molecules

abstract: Quantum computing is a unique computational approach that promises tremendous performance that cannot be achieved by classical computers, although several problems must be resolved to realize a practical quantum computing system for easy use. Here, we propose a new system and theory for quantum computing that employs single molecule confinement between electrodes. The striking features of this system are (i) an individual molecule that exhibits quantum tunneling can be regarded as a sequence of quantum gates, (ii) the quantum tunneling can be encoded onto an array of quantum bits and observed without the contraction of superposition states, and (iii) quantum computing by quantum tunneling can be performed at room temperature. An adenine molecule is adopted as the single molecule between electrodes, and conductance data are encoded onto quantum states including entangled states, depending on the conductance values. As an application of the new quantum system, molecule identification based on quantum computing by quantum tunneling is demonstrated.


title: DSR: A Collection for the Evaluation of Graded Disease-Symptom Relations

abstract: The effective extraction of ranked disease-symptom relationships is a critical component in various medical tasks, including computer-assisted medical diagnosis or the discovery of unexpected associations between diseases. While existing disease-symptom relationship extraction methods are used as the foundation in the various medical tasks, no collection is available to systematically evaluate the performance of such methods. In this paper, we introduce the Disease-Symptom Relation collection (DSR-collection), created by five fully trained physicians as expert annotators. We provide graded symptom judgments for diseases by differentiating between "symptoms" and "primary symptoms". Further, we provide several strong baselines, based on the methods used in previous studies. The first method is based on word embeddings, and the second on co-occurrences of keywords in medical articles. For the co-occurrence method, we propose an adaption in which not only keywords are considered, but also the full text of medical articles. The evaluation on the DSR-collection shows the effectiveness of the proposed adaption in terms of nDCG, precision, and recall.


title: A novel countermeasure technique to protect WSN against denial-of-sleep attacks using firefly and Hopfield neural network (HNN) algorithms

abstract: Wireless sensor networks (WSNs) contain numerous nodes that their main goals are to monitor and control environments. Also, sensor nodes distribute based on network usage. One of the most significant issues in this type of network is the energy consumption of sensor nodes. In fixed-sink networks, nodes which are near the sink act as an interface to transfer data of other nodes to sink. This causes the energy consumption of sensors reduces rapidly. Therefore, the lifetime of the network declines. Sensor nodes owing to their weaknesses are susceptible to several threats, one of which is denial-of-sleep attack (DoSA) threatening WSN. Hence, the DoSA refers to the energy loss in these nodes by maintaining the nodes from entering energy-saving and sleep mode. In this paper, a hybrid approach is proposed based on mobile sink, firefly algorithm based on leach, and Hopfield neural network (WSN-FAHN). Thus, mobile sink is applied to both improve energy consumption and increase network lifetime. Firefly algorithm is proposed to cluster nodes and authenticate in two levels to prevent from DoSA. In addition, Hopfield neural network detects the direction route of the sink movement to send data of CH. Furthermore, here WSN-FAHN technique is assessed through wide simulations performed in the NS-2 environment. The WSN-FAHN procedure superiority is demonstrated by simulation outcomes in comparison with contemporary schemes based on performance metrics like packet delivery ratio (PDR), average throughput, detection ratio, and network lifetime while decreasing the average residual energy.


title: Comment on "Energy levels, oscillator strengths, and transition probabilities for sulfur-like scandium, Sc~VI" by El-Maaref et al.\, [Indian J. Phys. {\bf 91} 1029 (2017)]

abstract: In this comment, through our independent calculations, we assess that the recently reported results of El-Maaref et al. [{\em Indian J. Phys.} {\bf 91} 1029 (2017)] for energy levels, oscillator strengths, radiative rates, and lifetimes are inaccurate and unreliable for several levels and transitions of S-like Sc~VI.


title: Generalized Bayes Quantification Learning under Dataset Shift

abstract: Quantification learning is the task of prevalence estimation for a test population using predictions from a classifier trained on a different population. Quantification methods assume that the sensitivities and specificities of the classifier are either perfect or transportable from the training to the test population. These assumptions are inappropriate in the presence of dataset shift, when the misclassification rates in the training population are not representative of those for the test population. Quantification under dataset shift has been addressed only for single-class (categorical) predictions and assuming perfect knowledge of the true labels on a small subset of the test population. We propose generalized Bayes quantification learning (GBQL) that uses the entire compositional predictions from probabilistic classifiers and allows for uncertainty in true class labels for the limited labeled test data. Instead of positing a full model, we use a model-free Bayesian estimating equation approach to compositional data based only on a first-moment assumption. The idea will be useful in Bayesian compositional data analysis in general as it is robust to different generating mechanisms for compositional data and includes categorical outputs as a special case. We show how our method yields existing quantification approaches as special cases. Extension to an ensemble GBQL that uses predictions from multiple classifiers yielding inference robust to inclusion of a poor classifier is discussed. We outline a fast and efficient Gibbs sampler using a rounding and coarsening approximation to the loss functions. We also establish posterior consistency, asymptotic normality and valid coverage of interval estimates from GBQL, as well as finite sample posterior concentration rate. Empirical performance of GBQL is demonstrated through simulations and analysis of real data with evident dataset shift.


title: Learning the Ising Model with Generative Neural Networks

abstract: Recent advances in deep learning and neural networks have led to an increased interest in the application of generative models in statistical and condensed matter physics. In particular, restricted Boltzmann machines (RBMs) and variational autoencoders (VAEs) as specific classes of neural networks have been successfully applied in the context of physical feature extraction and representation learning. Despite these successes, however, there is only limited understanding of their representational properties and limitations. To better understand the representational characteristics of RBMs and VAEs, we study their ability to capture physical features of the Ising model at different temperatures. This approach allows us to quantitatively assess learned representations by comparing sample features with corresponding theoretical predictions. Our results suggest that the considered RBMs and convolutional VAEs are able to capture the temperature dependence of magnetization, energy, and spin-spin correlations. The samples generated by RBMs are more evenly distributed across temperature than those generated by VAEs. We also find that convolutional layers in VAEs are important to model spin correlations whereas RBMs achieve similar or even better performances without convolutional filters.


title: Th\'eorie de Bruhat-Tits pour les groupes quasi-r\'eductifs

abstract: We extend (scheme-theoretic) Bruhat-Tits theory to quasi-reductive groups i.e. with trivial split unipotent radical over discretely valued henselian non-archimedean fields $K$, whose ring of integers is excellent and residue field is perfect, building on Bruhat-Tits I et II and the classification of pseudo-reductive groups by Conrad-Gabber-Prasad. The buildings had been constructed previously by Solleveld in a different manner, but they ultimately coincide with ours. We were motivated by the geometry of affine Grassmannians and give some applications at the end (compare also with previously submitted work arXiv:1912.11918).


title: Doubly Sparse Variational Gaussian Processes

abstract: The use of Gaussian process models is typically limited to datasets with a few tens of thousands of observations due to their complexity and memory footprint. The two most commonly used methods to overcome this limitation are 1) the variational sparse approximation which relies on inducing points and 2) the state-space equivalent formulation of Gaussian processes which can be seen as exploiting some sparsity in the precision matrix. We propose to take the best of both worlds: we show that the inducing point framework is still valid for state space models and that it can bring further computational and memory savings. Furthermore, we provide the natural gradient formulation for the proposed variational parameterisation. Finally, this work makes it possible to use the state-space formulation inside deep Gaussian process models as illustrated in one of the experiments.


title: Solving connectivity problems parameterized by treedepth in single-exponential time and polynomial space

abstract: A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by treewidth can be solved much faster than the previously best known time $\mathcal{O}^*(2^{\mathcal{O}(tw \log(tw))})$. Using their inspired Cut\&Count technique, they obtained $\mathcal{O}^*(\alpha^{tw})$ time algorithms for many such problems. Moreover, they proved these running times to be optimal assuming the Strong Exponential-Time Hypothesis. Unfortunately, like other dynamic programming algorithms on tree decompositions, these algorithms also require exponential space, and this is widely believed to be unavoidable. In contrast, for the slightly larger parameter called treedepth, there are already several examples of algorithms matching the time bounds obtained for treewidth, but using only polynomial space. Nevertheless, this has remained open for connectivity problems. In the present work, we close this knowledge gap by applying the Cut\&Count technique to graphs of small treedepth. While the general idea is unchanged, we have to design novel procedures for counting consistently cut solution candidates using only polynomial space. Concretely, we obtain time $\mathcal{O}^*(3^d)$ and polynomial space for Connected Vertex Cover, Feedback Vertex Set, and Steiner Tree on graphs of treedepth $d$. Similarly, we obtain time $\mathcal{O}^*(4^d)$ and polynomial space for Connected Dominating Set and Connected Odd Cycle Transversal.


title: A note on unimodular $N=1, d=4$ AdS supergravity

abstract: We put forward a unimodular $N=1, d=4$ anti-de Sitter supergravity theory off shell. This theory, where the Cosmological Constant does not couple to gravity, has a unique maximally supersymmetric classical vacuum which is Anti-de Sitter spacetime with radius given by the equation of motion of the auxiliary scalar field, ie, $S=\frac{3}{\kappa L}$. However, we see that the non-supersymmetric classical vacua of the unimodular theory are Minkowski and de Sitter spacetimes as well as anti-de Sitter spacetime with radius $l\neq L$.


title: Structure functions from the Compton amplitude

abstract: We have initiated a program to compute the Compton amplitude from lattice QCD with the Feynman-Hellman method. This amplitude is related to the structure function via a Fredholm integral equation of the first kind. It is known that these types of equations are inherently ill--posed - they are, e.g., extremely sensitive to perturbations of the system. We discuss two methods which are candidates to handle these problems: the model free inversion based on singular value decomposition and one Bayesian type approach. We apply the Bayesian method to currently available lattice data for the Compton amplitude.


title: Kinetic Similarity between Extinction Strain Rate and Laminar Flame Speed

abstract: Extinction strain rate (ESR) and laminar flame speed (LFS) are fundamental properties of a fuel/air mixture that are often utilized as scaling parameters in turbulent combustion. While LFS at atmospheric and elevated pressures are extensively investigated, experimental measurements of ESR with counterflow premixed flames are very limited for flame instability often occurs near extinction, especially at high pressures. Due to the scarcity of ESR measurements, most combustion kinetic models are mainly validated and optimized against LFS. However, it is questionable whether the controlling reactions are the same for ESR and LFS such that those models are also valid for predicting ESR. This work quantifies the kinetic similarities between ESR and LFS by analyzing their kinetic sensitivity directions. The direction is represented by a unit vector composed of the normalized sensitivity of ESR or LFS to the rate constant for each elemental reaction. Consequently, the similarity between the two directions is measured by the inner product of the corresponding unit vectors. The sensitivity directions of ESR and LFS are found parallel for various fuels, equivalence ratios, and pressures. Furthermore, sensitivity directions at various strain rates are also similar for the maximum temperature, local temperature at various locations in the flame coordinate, and ESR in counterflow premixed flames. These findings suggest that LFS and ESR are similarly effective as the target for constraining and optimizing rate constants in kinetic models. In addition, the independence of the sensitivity directions on the strain rate also enables us to perform uncertainty quantification for turbulent flames with a wide range of strain rates based on the kinetic sensitivity of ESR and LFS.


title: Minimal collision arcs asymptotic to central configurations

abstract: We are concerned with the analysis of finite time collision trajectories for a class of singular anisotropic homogeneous potentials of degree $-\alpha$, with $\alpha\in(0,2)$ and their lower order perturbations. It is well known that, under reasonable generic assumptions, the asymptotic normalized configuration converges to a central configuration. Using McGehee coordinates, the flow can be extended to the collision manifold having central configurations as stationary points, endowed with their stable and unstable manifolds. We focus on the case when the asymptotic central configuration is a global minimizer of the potential on the sphere: our main goal is to show that, in a rather general setting, the local stable manifold coincides with that of the initial data of minimal collision arcs. This characterisation may be extremely useful in building complex trajectories with a broken geodesic method. The proof takes advantage of the generalised Sundman's monotonicity formula.


title: Estimating the extent of glioblastoma invasion

abstract: Glioblastoma Multiforme is a malignant brain tumor with poor prognosis. There have been numerous attempts to model the invasion of tumorous glioma cells via partial differential equations in the form of advection-diffusion-reaction equations. The patient-wise parametrisation of these models, and their validation via experimental data has been found to be difficult, as time sequence measurements are generally missing. Also the clinical interest lies in the actual (invisible) tumor extent for a particular MRI/DTI scan and not in a predictive estimate. Therefore we propose a stationalised approach to estimate the extent of glioblastoma (GBM) invasion at the time of a given MRI/DTI scan. The underlying dynamics can be derived from an instationary GBM model, falling into the wide class of advection-diffusion-reaction equations. The stationalisation is introduced via an analytical solution of the Fisher-KPP equation, the simplest model in the considered model class. We investigate the applicability in 1D and 2D, in the presence of inhomogeneous diffusion coefficients and on a real 3D DTI-dataset.


title: $K^{*}(892)^0$ meson production in inelastic p+p interactions at 158 GeV/$c$ beam momentum measured by NA61/SHINE at the CERN SPS

abstract: The measurement of $K^{*}(892)^0$ resonance production via its $K^{+}\pi^{-}$ decay mode in inelastic p+p collisions at beam momentum 158 GeV/$c$ ($\sqrt{s_{NN}}=17.3$ GeV) is presented. The data were recorded by the NA61/SHINE hadron spectrometer at the CERN Super Proton Synchrotron. The \textit{template} method was used to extract the $K^{*}(892)^0$ signal and double differential transverse momentum and rapidity spectra were obtained. The full phase-space mean multiplicity of $K^{*}(892)^0$ mesons was found to be $(78.44 \pm 0.38 \mathrm{(stat)} \pm 6.0 \mathrm{(sys)) \cdot 10^{-3}}$. The NA61/SHINE results are compared with the EPOS1.99 and Hadron Resonance Gas models as well as with world data from p+p and nucleus-nucleus collisions.


title: Making deep neural networks right for the right scientific reasons by interacting with their explanations

abstract: Deep neural networks have shown excellent performances in many real-world applications. Unfortunately, they may show "Clever Hans"-like behavior -- making use of confounding factors within datasets -- to achieve high performance. In this work, we introduce the novel learning setting of "explanatory interactive learning" (XIL) and illustrate its benefits on a plant phenotyping research task. XIL adds the scientist into the training loop such that she interactively revises the original model via providing feedback on its explanations. Our experimental results demonstrate that XIL can help avoiding Clever Hans moments in machine learning and encourages (or discourages, if appropriate) trust into the underlying model.


title: A Method for Estimating Reflectance map and Material using Deep Learning with Synthetic Dataset

abstract: The process of decomposing target images into their internal properties is a difficult task due to the inherent ill-posed nature of the problem. The lack of data required to train a network is a one of the reasons why the decomposing appearance task is difficult. In this paper, we propose a deep learning-based reflectance map prediction system for material estimation of target objects in the image, so as to alleviate the ill-posed problem that occurs in this image decomposition operation. We also propose a network architecture for Bidirectional Reflectance Distribution Function (BRDF) parameter estimation, environment map estimation. We also use synthetic data to solve the lack of data problems. We get out of the previously proposed Deep Learning-based network architecture for reflectance map, and we newly propose to use conditional Generative Adversarial Network (cGAN) structures for estimating the reflectance map, which enables better results in many applications. To improve the efficiency of learning in this structure, we newly utilized the loss function using the normal map of the target object.


title: The role of CLIC in Europe's course to the high-energy frontier

abstract: We respond to points raised in the recent discussion note arXiv:1912.13466, "Charting the European course to the high-energy frontier", which compares the CLIC and FCC programmes.


title: Primal and dual algorithms for the minimum covering Euclidean ball of a set of Euclidean balls in $\mathbb{R}^n$

abstract: Primal and dual algorithms are developed for solving the $n$-dimensional convex optimization problem of finding the Euclidean ball of minimum radius that covers $m$ given Euclidean balls, each with a given center and radius. Each algorithm is based on a directional search method in which a search path may be a ray or a two-dimensional conic section in $\mathbb{R}^n$. At each iteration, a search path is constructed by the intersection of bisectors of pairs of points, where the bisectors are either hyperplanes or $n$-dimensional hyperboloids. The optimal step size along each search path is determined explicitly.


title: AAAI FSS-19: Human-Centered AI: Trustworthiness of AI Models and Data Proceedings

abstract: To facilitate the widespread acceptance of AI systems guiding decision-making in real-world applications, it is key that solutions comprise trustworthy, integrated human-AI systems. Not only in safety-critical applications such as autonomous driving or medicine, but also in dynamic open world systems in industry and government it is crucial for predictive models to be uncertainty-aware and yield trustworthy predictions. Another key requirement for deployment of AI at enterprise scale is to realize the importance of integrating human-centered design into AI systems such that humans are able to use systems effectively, understand results and output, and explain findings to oversight committees. While the focus of this symposium was on AI systems to improve data quality and technical robustness and safety, we welcomed submissions from broadly defined areas also discussing approaches addressing requirements such as explainable models, human trust and ethical aspects of AI.


title: Evaluating the Advantage of Adaptive Strategies for Quantum Channel Distinguishability

abstract: Recently, the resource theory of asymmetric distinguishability for quantum strategies was introduced by [Wang et al., Phys. Rev. Research 1, 033169 (2019)]. The fundamental objects in the resource theory are pairs of quantum strategies, which are generalizations of quantum channels that provide a framework to describe an arbitrary quantum interaction. In the present paper, we provide semi-definite program characterizations of the one-shot operational quantities in this resource theory. We then apply these semi-definite programs to study the advantage conferred by adaptive strategies in discrimination and distinguishability distillation of generalized amplitude damping channels. We find that there are significant gaps between what can be accomplished with an adaptive strategy versus a non-adaptive strategy.


title: Density Matrix Renormalization Group Study of Nematicity in Two Dimensions: Application to a Spin-$1$ Bilinear-Biquadratic Model on the Square Lattice

abstract: Nematic order is an exotic property observed in several strongly correlated systems, such as the iron-based superconductors. Using large-scale density matrix renormalization group (DMRG) techniques, we study at zero-temperature the nematic spin liquid that competes with spin dipolar and quadrupolar orders. We use these nematic orders to characterize different quantum phases and quantum phase transitions. More specifically, we study a spin-$1$ bilinear-biquadratic Heisenberg model on the square lattice with couplings beyond nearest neighbors. We focus on parameter regions around the highly symmetric $SU(3)$ point where the bilinear and biquadratic interactions are equal. With growing further-neighbor biquadratic interactions, we identify different spin dipolar and quadrupolar orders. We find that the DMRG results on cylindrical geometries correctly detect nematicity in different quantum states and accurately characterize the quantum phase transitions among them. Therefore, spin-driven nematicity -- here defined as the spontaneous breaking of the lattice invariance under a 90$^o$ rotation -- is an order parameter which can be studied directly in DMRG calculations in two dimensions in different quantum states.


title: Pseudo Quantum Electrodynamics and Chern-Simons theory Coupled to Two-dimensional Electrons

abstract: We study a nonlocal theory that combines both the Pseudo quantum electrodynamics (PQED) and Chern-Simons actions among two-dimensional electrons. In the static limit, we conclude that the competition of these two interactions yields a Coulomb potential with a screened electric charge given by $e^2/(1+\theta^2)$, where $\theta$ is the dimensionless Chern-Simons parameter. This could be useful for describing the substrate interaction with two-dimensional materials and the doping dependence of the dielectric constant in graphene. In the dynamical limit, we calculate the effective current-current action of the model considering Dirac electrons. We show that this resembles the electromagnetic and statistical interactions, but with two different overall constants, given by $e^2/(1+\theta^2)$ and $e^2\theta/(1+\theta^2)$. Therefore, the $\theta$-parameter does not provide a topological mass for the Gauge field in PQED, which is a relevant difference in comparison with quantum electrodynamics. Thereafter, we apply the one-loop perturbation theory in our model. Within this approach, we calculate the electron self-energy, the electron renormalized mass, the corrected gauge-field propagator, and the renormalized Fermi velocity for both high- and low-speed limits, using the renormalization group. In particular, we obtain a maximum value of the renormalized mass for $\theta\approx 0.36$. This behavior is an important signature of the model and relations with doping control of band gap size are also discussed in the conclusions.


title: A conformal scalar $n$-point function in momentum space

abstract: We suggest a certain type of conformal $n$-point function of scalar primaries where the scalar operators share the same scaling dimension. The conformal correlation functions are obtained in momentum space, and we show that they satisfy the conformal Ward identities.


title: Relatively Projectivity and the Green correspondence for complexes

abstract: We investigate a version of the Green correspondence for categories of complexes, including homotopy categories and derived categories. The correspondence is an equivalence between a category defined over a finite group $G$ and the same for a subgroup $H$, often the normalizer of a $p$-subgroup of $G$. We present a basic formula for deciding when categories of modules or complexes have a Green correspondence and apply it to many examples. In several cases the equivalence is an equivalence of triangulated categories, and in special cases it is an equivalence of tensor triangulated categories.


title: Analysis of Genetic Algorithm on Bearings-Only Target Motion Analysis

abstract: Target motion analysis using only bearing angles is an important study for tracking targets in water. Several methods including Kalman-like filters and evolutionary strategies are used to get a good predictor. Kalman-like filters couldn't get the expected results thus evolutionary strategies have been using in this area for a long time. Target Motion Analysis with Genetic Algorithm is the most successful method for Bearings-Only Target Motion Analysis and we investigated it. We found that Covariance Matrix Adaptation Evolutionary Strategies does the similar work with Target Motion Analysis with Genetic Algorithm and tried it; but it has statistical feedback mechanism and converges faster than other methods. In this study, we compared and criticize the methods.


title: Conformal invariants of $3$-Braids and Counting Functions

abstract: We consider a conformal invariant of braids, the extremal length with totally real horizontal boundary values $\lambda_{tr}$. The invariant descends to an invariant of elements of $\mathcal{B}_n\diagup\mathcal{Z}_n$, the braid group modulo its center. We prove that the number of elements of $\mathcal{B}_3\diagup\mathcal{Z}_3$ of positive $\lambda_{tr}$ grows exponentially. The estimate applies to obtain effective finiteness theorems in the spirit of the geometric Shafarevich conjecture over Riemann surfaces of second kind. As a corollary we obtain another proof of the exponential growth of the number of conjugacy classes of $\mathcal{B}_3\diagup\mathcal{Z}_3$ with positive entropy not exceeding $Y$.


title: Film thickness of Pb islands on the Si(111) surface

abstract: We analyze topographic scanning force microscopy images together with Kelvin probe images obtained on Pb islands and on the wetting layer on Si(111) for variable annealing times. Within the wetting layer we observe negatively charged Si-rich areas. We show evidence that these Si-rich areas result from islands that have disappeared by coarsening. We argue that the islands are located on Si-rich areas inside the wetting layer such that the Pb/Si interface of the islands is in line with the top of the wetting layer rather than with its interface to the substrate. We propose that the Pb island heights are one atomic layer smaller than previously believed. For the quantum size effect bilayer oscillations of the work function observed in this system, we conclude that for film thicknesses below 9 atomic layers large values of the work function correspond to even numbers of monolayers instead of odd ones. The atomically precise island height is important to understand ultrafast "explosive" island growth in this system.


title: Modeling the spin-Peierls transition of spin-$1/2$ chains with correlated states: $J_1-J_2$ model, CuGeO$_3$ and TTF-CuS$_4$C$_4$(CF$_3$)$_4$

abstract: The spin-Peierls transition at $T_{SP}$ of spin-$1/2$ chains with isotropic exchange interactions has previously been modeled as correlated for $T > T_{SP}$ and mean field for $T < T_{SP}$. We use correlated states throughout in the $J_1-J_2$ model with antiferromagnetic exchange $J_1$ and $J_2 = \alpha J_1$ between first and second neighbors, respectively, and variable frustration $0 \leq \alpha \leq 0.50$. The thermodynamic limit is reached at high $T$ by exact diagonalization of short chains and at low $T$ by density matrix renormalization group calculations of progressively longer chains. In contrast to mean field results, correlated states of 1D models with linear spin-phonon coupling and a harmonic adiabatic lattice provide an internally consistent description in which the parameter $T_{SP}$ yields both the stiffness and the lattice dimerization $\delta(T)$. The relation between $T_{SP}$ and $\Delta(\delta,\alpha)$, the $T = 0$ gap induced by dimerization, depends strongly on $\alpha$ and deviates from the BCS gap relation that holds in uncorrelated spin chains. Correlated states account quantitatively for the magnetic susceptibility of TTF-CuS$_4$C$_4$(CF$_3$)$_4$ crystals ($J_1 = 79$ K, $\alpha = 0$, $T_{SP} = 12$ K) and CuGeO$_3$ crystals ($J_1 = 160$ K, $\alpha = 0.35$, $T_{SP} = 14$ K). The same parameters describe the specific heat anomaly of CuGeO$_3$ and inelastic neutron scattering. Modeling the spin-Peierls transition with correlated states exploits the fact that $\delta(0)$ limits the range of spin correlations at $T = 0$ while $T > 0$ limits the range at $\delta= 0$.


title: Yttrium Iron Garnet Thickness Influence on the Spin Pumping in the Bulk Acoustic Wave Resonator

abstract: The features of phonon-magnon interconversion in acoustic resonator determine the efficiency of spin pumping from YIG into Pt that may be detected electrically through the inverse spin Hall effect (ISHE). Based on the methods developed in previous works for calculating resonator structures with a piezoelectric (ZnO) and a magnetoelastic layer in contact with the heavy metal (YIG/Pt), we present the results of numerical calculations of YIG film thickness influence on acoustically driven spin waves. We obtain some YIG film thickness regions with various behavior of dc ISHE voltage $U_{ISHE}$. At micron and submicron thicknesses, the higher spin wave resonance (SWR) modes (both even and odd) can be generated with efficiency comparable and even exceeding that of the main mode. The absolute maximum of $U_{ISHE}$ is achieved at the thickness about $s_1 \approx 208$ nm under the excitation of the first SWR.


title: Zinc-Blende group III-V/group IV epitaxy: importance of the miscut

abstract: Here, we clarify the central role of the miscut during group III-V/ group IV crystal growth. We show that the miscut first impacts the initial antiphase domain distribution, with two distinct nucleation-driven and terraces-driven regimes. It is then inferred how the antiphase domain distribution mean phase and mean lateral length are affected by the miscut. An experimental confirmation is given through the comparison of antiphase domain distributions in GaP and GaSb/AlSb samples grown on nominal and vicinal Si substrates. The antiphase domain burying step of GaP/Si samples is then observed at the atomic scale by scanning tunneling microscopy. The steps arising from the miscut allow growth rate imbalance between the two phases of the crystal and the growth conditions can deeply modify the imbalance coefficient, as illustrated with GaAs/Si. We finally explain how a monodomain III-V semiconductor configuration can be achieved even on low miscut substrates.


title: The primitive equations of the polluted atmosphere as a weak and strong limit of the 3D Navier-Stokes equations in downwind-matching coordinates

abstract: A widely used approach to mathematically describe the atmosphere is to consider it as a geophysical fluid in a shallow domain -- and thus to model it using classical fluid dynamical equations combined with the explicit inclusion of an {\epsilon} parameter representing the small aspect ratio of the physical domain. In our previous paper [15] we proved a weak convergence theorem for the polluted atmosphere described by the Navier-Stokes equations extended by an advection-diffusion equation. We obtained a justification of the generalised hydrostatic limit model including the pollution effect described for the case of classical, east-north-upwards oriented local Cartesian coordinates. Here we give a two-fold improvement of this statement. Firstly, we consider a meteorologically more meaningful coordinate system, incorporate the analytical consequences of this coordinate change into the governing equations, and verify that the weak convergence still holds for this altered system. Secondly, still considering this new, so-called downwind-matching coordinate system, we prove an analogous strong convergence result, which we make complete by providing a closely related existence theorem as well.


title: Estimation of Climbing Route Difficulty using Whole-History Rating

abstract: Existing grading systems for rock climbing routes assign a difficulty grade to a route based on the opinions of a few people. An objective approach to estimating route difficulty on an interval scale was obtained by adapting the Whole-History Rating (WHR) system to rock climbing. WHR's model was fitted to a database of 236,095 ascents recorded by users on an established climbing website. 73% of the ascents used in the dataset were classified as successful. Predictions were on average 85% accurate with 10-fold cross-validation. The results suggest that an empirical rating system is accurate at assessing route difficulty and is viable for revising conventional route grades.


title: Photo-molecular high temperature superconductivity

abstract: Superconductivity in organic conductors is often tuned by the application of chemical or external pressure. With this type of tuning, orbital overlaps and electronic bandwidths are manipulated, whilst the properties of the molecular building blocks remain virtually unperturbed.Here, we show that the excitation of local molecular vibrations in the charge-transfer salt $\kappa-(BEDT-TTF)_2Cu[N(CN)_2]Br$ induces a colossal increase in carrier mobility and the opening of a superconducting-like optical gap. Both features track the density of quasi-particles of the equilibrium metal, and can be achieved up to a characteristic coherence temperature $T^* \approxeq 50 K$, far higher than the equilibrium transition temperature $T_C = 12.5 K$. Notably, the large optical gap achieved by photo-excitation is not observed in the equilibrium superconductor, pointing to a light induced state that is different from that obtained by cooling. First-principle calculations and model Hamiltonian dynamics predict a transient state with long-range pairing correlations, providing a possible physical scenario for photo-molecular superconductivity.


title: Real Time Reasoning in OWL2 for GDPR Compliance

abstract: This paper shows how knowledge representation and reasoning techniques can be used to support organizations in complying with the GDPR, that is, the new European data protection regulation. This work is carried out in a European H2020 project called SPECIAL. Data usage policies, the consent of data subjects, and selected fragments of the GDPR are encoded in a fragment of OWL2 called PL (policy language); compliance checking and policy validation are reduced to subsumption checking and concept consistency checking. This work proposes a satisfactory tradeoff between the expressiveness requirements on PL posed by the GDPR, and the scalability requirements that arise from the use cases provided by SPECIAL's industrial partners. Real-time compliance checking is achieved by means of a specialized reasoner, called PLR, that leverages knowledge compilation and structural subsumption techniques. The performance of a prototype implementation of PLR is analyzed through systematic experiments, and compared with the performance of other important reasoners. Moreover, we show how PL and PLR can be extended to support richer ontologies, by means of import-by-query techniques. PL and its integration with OWL2's profiles constitute new tractable fragments of OWL2. We prove also some negative results, concerning the intractability of unrestricted reasoning in PL, and the limitations posed on ontology import.


title: Vector relative degree and funnel control for differential-algebraic systems

abstract: We consider tracking control for multi-input multi-output differential-algebraic systems. First, the concept of vector relative degree is generalized for linear systems and we arrive at the novel concept of "truncated vector relative degree", and we derive a new normal form. Thereafter, we consider a class of nonlinear functional differential-algebraic systems which comprises linear systems with truncated vector relative degree. For this class we introduce a feedback controller which achieves that, for a given sufficiently smooth reference signal, the tracking error evolves within a prespecified performance funnel. We illustrate our results by an example of a robotic manipulator.


title: Gravitational radiation by magnetic field: application to millisecond magnetars

abstract: We investigate the direct contribution of the magnetic field to the gravitational wave generation. To do so, we study the post-Newtonian energy-momentum tensor of the magnetized fluid and the post-Newtonian expansion of the gravitational potential in the wave zone. We show that the magnetic field appears even in the first post-Newtonian order of the multipole moment tensor. Then, we find an explicit relativistic correction containing the magnetic field contribution to the well-known quadrupole formula. As an application of this derivation, we find that the B-field part of the gravitational waves released in the early stages of a millisecond magnetar's life can be as much as one-hundredth of the signals due to the deformed rotating neutron stars. We show that although the event rate of this system is small, the signal would lie in the sensitivity range of the next generation of detectors.


title: Forecast for cosmological parameter estimation with gravitational-wave standard siren observation from the Cosmic Explorer

abstract: The third-generation ground-based gravitational-wave (GW) detector, Cosmic Explorer (CE), is scheduled to start its observation in the 2030s. In this paper, we make a forecast for cosmological parameter estimation with gravitational-wave standard siren observation from the CE. We use the simulated GW standard siren data of CE to constrain the $\Lambda$CDM, $w$CDM and CPL models. We combine the simulated GW data with the current cosmological electromagnetic observations including the latest cosmic microwave background anisotropies data from Planck, the optical baryon acoustic oscillation measurements, and the type Ia supernovae observation (Pantheon compilation) to do the analysis. We find that the future standard siren observation from CE will improve the cosmological parameter estimation to a great extent, since the future GW standard siren data can well break the degeneracies generated by the optical observations between various cosmological parameters. We also find that the CE's constraining capability on the cosmological parameters is slightly better than that of the same-type GW detector, the Einstein Telescope. In addition, the synergy between the GW standard siren observation from CE and the 21 cm emission observation from SKA is also discussed.


title: Designing Progressive Dinner Parties

abstract: I recently came across a combinatorial design problem involving progressive dinner parties (also known as safari suppers). In this note, I provide some elementary methods of designing schedules for these kinds of dinner parties.


title: Exploring the partonic phase at finite chemical potential in and out-of equilibrium

abstract: We study the influence of the baryon chemical potential $\mu_B$ on the properties of the Quark-Gluon-Plasma (QGP) in and out-of equilibrium. The description of the QGP in equilibrium is based on the effective propagators and couplings from the Dynamical QuasiParticle Model (DQPM) that is matched to reproduce the equation-of-state of the partonic system above the deconfinement temperature $T_c$ from lattice QCD. We study the transport coefficients such as the ratio of shear viscosity $\eta$ and bulk viscosity $\zeta$ over entropy density $s$, i.e. $\eta/s$ and $\zeta/s$ in the $(T,\mu)$ plane and compare to other model results available at $\mu_B =0$. The out-of equilibrium study of the QGP is performed within the Parton-Hadron-String Dynamics (PHSD) transport approach extended in the partonic sector by explicitly calculating the total and differential partonic scattering cross sections based on the DQPM and the evaluated at actual temperature $T$ and baryon chemical potential $\mu_B$ in each individual space-time cell where partonic scattering takes place. The traces of their $\mu_B$ dependences are investigated in different observables for symmetric Au+Au and asymmetric Cu+Au collisions such as rapidity and $m_T$- distributions and directed and elliptic flow coefficients $v_1, v_2$ in the energy range 7.7 GeV $\le \sqrt{s_{NN}}\le 200$ GeV.


title: Loss Allocation in Joint Transmission and Distribution Peer-to-Peer Markets

abstract: Large deployment of distribute energy resources and the increasing awareness of end-users towards their energy procurement are challenging current practices of electricity markets. A change of paradigm, from a top-down hierarchical approach to a more decentralized framework, has been recently researched, with market structures relying on multi-bilateral trades among market participants. In order to guarantee feasibility in power system operation, it is crucial to rethink the interaction with system operators and the way operational costs are shared in such decentralized markets. We propose here to include system operators, both at transmission and distribution level, as active actors of the market, accounting for power grid constraints and line losses. Moreover, to avoid market outcomes that discriminate agents for their geographical location, we analyze loss allocation policies and their impact on market outcomes and prices.


title: SU(3)$_F$ Analysis for Beauty Baryon Decays

abstract: We perform a general SU(3)$_F$ analysis of $b\rightarrow c\bar{c}s(d)$ decays of members of the beauty baryon antitriplet to a member of the light baryon octet and a singlet. Under several reasonable assumptions we found $\left\vert \mathcal{A}(\Xi_b^0\rightarrow \Lambda S)/ \mathcal{A}(\Xi_b^0\rightarrow \Xi^0 S)\right\vert\approx 1/\sqrt{6}\, \left\vert V_{cb}^* V_{cd} / (V_{cb}^* V_{cs})\right\vert$ and $\left\vert\mathcal{A}(\Lambda_b\rightarrow \Sigma^0 S)/\mathcal{A}(\Lambda_b\rightarrow \Lambda S)\right\vert \sim 0.02$. These two relations have been recently probed by LHCb for the case of $S=J/\psi$. The former agrees with the measurement, while for the latter our prediction lies close to the upper bound set by LHCb.


title: Nonsaturating magnetoresistance, anomalous Hall effect, and magnetic quantum oscillations in ferromagnetic semimetal PrAlSi

abstract: We report a comprehensive investigation of the structural, magnetic, transport and thermodynamic properties of a single crystal PrAlSi, in comparison to its nonmagnetic analogue LaAlSi. PrAlSi exhibits a ferromagnetic transition at $T_C$ = 17.8 K which, however, is followed by two weak phase transitions at lower temperatures. Based on the combined dc and ac magnetic susceptibility measurements, we propose the two reentrant magnetic phases below $T_C$ to be spin glasses or ferromagnetic cluster glasses. When the magnetic glassy states are suppressed by small field, several remarkable features appear. These include a linear, nonsaturating magnetoresistance as a function of field that is reminiscent of a topological or charge-compensated semimetal, and a large anomalous Hall conductivity amounting to $\sim$2000 $\Omega ^{-1}$cm$^{-1}$. Specific-heat measurements indicate a non-Kramers doublet ground state and a relatively low crystal electric field splitting of the Pr$^{3+}$ multiplets of less than 100 K. Shubnikov-de Hass oscillations are absent in LaAlSi, whereas they are clearly observed below about 25 K in PrAlSi, with an unusual temperature dependence of the dominating oscillation frequency $F$. It increases from $F$ = 18 T at 25 K to $F$ = 33 T at 2 K, hinting at an emerging Fermi pocket upon cooling into the ordered phase. These results suggest that PrAlSi is a new system where a small Fermi pocket of likely relativistic fermions is strongly coupled to magnetism. Whether hybridization between $f$ and conduction band is also involved remains an intriguing open problem.


title: The Archives Unleashed Project: Technology, Process, and Community to Improve Scholarly Access to Web Archives

abstract: The Archives Unleashed project aims to improve scholarly access to web archives through a multi-pronged strategy involving tool creation, process modeling, and community building - all proceeding concurrently in mutually-reinforcing efforts. As we near the end of our initially-conceived three-year project, we report on our progress and share lessons learned along the way. The main contribution articulated in this paper is a process model that decomposes scholarly inquiries into four main activities: filter, extract, aggregate, and visualize. Based on the insight that these activities can be disaggregated across time, space, and tools, it is possible to generate "derivative products", using our Archives Unleashed Toolkit, that serve as useful starting points for scholarly inquiry. Scholars can download these products from the Archives Unleashed Cloud and manipulate them just like any other dataset, thus providing access to web archives without requiring any specialized knowledge. Over the past few years, our platform has processed over a thousand different collections from about two hundred users, totaling over 280 terabytes of web archives.


title: Efficient Programmable Random Variate Generation Accelerator from Sensor Noise

abstract: We introduce a method for non-uniform random number generation based on sampling a physical process in a controlled environment. We demonstrate one proof-of-concept implementation of the method that reduces the error of Monte Carlo integration of a univariate Gaussian by 1068 times while doubling the speed of the Monte Carlo simulation. We show that the supply voltage and temperature of the physical process must be controlled to prevent the mean and standard deviation of the random number generator from drifting.


title: Support recovery and sup-norm convergence rates for sparse pivotal estimation

abstract: In high dimensional sparse regression, pivotal estimators are estimators for which the optimal regularization parameter is independent of the noise level. The canonical pivotal estimator is the square-root Lasso, formulated along with its derivatives as a "non-smooth + non-smooth" optimization problem. Modern techniques to solve these include smoothing the datafitting term, to benefit from fast efficient proximal algorithms. In this work we show minimax sup-norm convergence rates for non smoothed and smoothed, single task and multitask square-root Lasso-type estimators. Thanks to our theoretical analysis, we provide some guidelines on how to set the smoothing hyperparameter, and illustrate on synthetic data the interest of such guidelines.


title: 1-planar graphs with minimum degree at least 3 have bounded girth

abstract: We show that every 1-planar graph with minimum degree at least 4 has girth at most $8$, and every 1-planar graph with minimum degree at least 3 has girth at most $198$.


title: Black Holes as a Gateway to the Quantum: Classical and Semi-Classical Explorations

abstract: This thesis is entirely devoted to black hole physics as a natural arena to study quantum gravity related questions. The five main Chapters present the results already published in arXiv:1512.04566 [gr-qc], arXiv:1604.07222 [gr-qc], arXiv:1707.00479 [gr-qc], arXiv:1807.02041 [gr-qc], arXiv:1811.03667 [gr-qc]. A main introductory Section, together with the Sections introducing each of the two parts of the manuscript compose the \emph{fil rouge} of the thesis, and are not published elsewhere. They contain reviews (together with my personal view) on the information paradox (Part 1) and the thermodynamics of spacetime (Part 2).


title: Studies of $\eta^{(')}\pi$ Final States Using GlueX Data

abstract: The primary goal of the GlueX experiment at Jefferson Lab is to search for and map the spectrum of light hybrid mesons. Many experiments have studied and reported evidence of exotic mesons decaying into $\eta\pi$ and $\eta'\pi$ final states. With a large acceptance to both charged and neutral particles, GlueX has access to both the neutral, $\gamma p\to\eta^{(')}\pi^{0}p$, and charged, $\gamma p\to\eta^{(')}\pi^{-}\Delta^{++}$, exchanges. These proceedings will give an overview of the current studies being performed at GlueX in $\eta^{(')}\pi^{-}$ final states. It will discuss early physics goals and outline the strategy for an amplitude analysis as GlueX begins its quest to illuminate the light hybrid meson spectrum.


title: Heterogeneous accretion of Earth inferred from Mo-Ru isotope systematics

abstract: The Mo and Ru isotopic compositions of meteorites and the bulk silicate Earth (BSE) hold important clues about the provenance of Earth's building material. Prior studies have argued that non-carbonaceous (NC) and carbonaceous (CC) meteorite groups together define a Mo-Ru 'cosmic' correlation, and that the BSE plots on the extension of this correlation. These observations were taken as evidence that the final 10-15% of Earth's accreted material derived from a homogeneous inner disk reservoir with an enstatite chondrite-like isotopic composition. Here, using new Mo and Ru isotopic data for previously uninvestigated meteorite groups, we show that the Mo-Ru correlation only exists for NC meteorites, and that both the BSE and CC meteorites fall off this Mo-Ru correlation. These observations indicate that the final stages of Earth's accretion were heterogeneous and consisted of a mixture of NC and CC materials. The Mo-Ru isotope systematics are best accounted for by either an NC heritage of the late veneer combined with a CC heritage of the Moon-forming giant impactor, or by mixed NC-CC compositions for both components. The involvement of CC bodies in the late-stage accretionary assemblage of Earth is consistent with chemical models for core-mantle differentiation, which argue for the addition of more oxidized and volatile-rich material toward the end of Earth's formation. As such, this study resolves the inconsistencies between homogeneous accretion models based on prior interpretations of the Mo-Ru systematics of meteorites and the chemical evidence for heterogeneous accretion of Earth.


title: 3D Object Segmentation for Shelf Bin Picking by Humanoid with Deep Learning and Occupancy Voxel Grid Map

abstract: Picking objects in a narrow space such as shelf bins is an important task for humanoid to extract target object from environment. In those situations, however, there are many occlusions between the camera and objects, and this makes it difficult to segment the target object three dimensionally because of the lack of three dimentional sensor inputs. We address this problem with accumulating segmentation result with multiple camera angles, and generating voxel model of the target object. Our approach consists of two components: first is object probability prediction for input image with convolutional networks, and second is generating voxel grid map which is designed for object segmentation. We evaluated the method with the picking task experiment for target objects in narrow shelf bins. Our method generates dense 3D object segments even with occlusions, and the real robot successfuly picked target objects from the narrow space.


title: Automated extraction of mutual independence patterns using Bayesian comparison of partition models

abstract: Mutual independence is a key concept in statistics that characterizes the structural relationships between variables. Existing methods to investigate mutual independence rely on the definition of two competing models, one being nested into the other and used to generate a null distribution for a statistic of interest, usually under the asymptotic assumption of large sample size. As such, these methods have a very restricted scope of application. In the present manuscript, we propose to change the investigation of mutual independence from a hypothesis-driven task that can only be applied in very specific cases to a blind and automated search within patterns of mutual independence. To this end, we treat the issue as one of model comparison that we solve in a Bayesian framework. We show the relationship between such an approach and existing methods in the case of multivariate normal distributions as well as cross-classified multinomial distributions. We propose a general Markov chain Monte Carlo (MCMC) algorithm to numerically approximate the posterior distribution on the space of all patterns of mutual independence. The relevance of the method is demonstrated on synthetic data as well as two real datasets, showing the unique insight provided by this approach.


title: Bottomonium spectrum with a Dirac potential model in the momentum space

abstract: We study the bottomonium spectrum using a relativistic potential model in the momentum space. This model is based on a complete one gluon exchange interaction with a momentum dependent screening factor to account for the effects due to virtual pair creation that appear close to the decay thresholds. The overall model does not make use of nonrelativistic approximations. We fit well established bottomonium states below the open charm threshold and predict the rest of the spectrum up to $\approx 11200$ MeV and $J^{PC}=3^{--}$. Uncertainties are treated rigorously and propagated in full to the parameters of the model using a Monte Carlo to identify if which deviations from experimental data can be absorbed into the statistical uncertainties of the models and which can be related to physics beyond the $b\bar{b}$ picture, guiding future research. We get a good description of the spectrum, in particular the Belle measurement of the $\eta_b(2S)$ state and the $\Upsilon(10860)$ and $\chi_b(3P)$ resonances.


title: Reservoir engineering with localized dissipation: dynamics and pre-thermalization

abstract: Reservoir engineering lattice states using only localized engineered dissipation is extremely attractive from a resource point of view, but can suffer from long relaxation times. Here, we study the relaxation dynamics of bosonic lattice systems locally coupled to a single squeezed reservoir. Such systems can relax into a highly non-trivial pure states with long-range entanglement. In the limit of large system size, analytic expressions for the dissipation spectrum can be found by making an analogy to scattering from a localized impurity. This allows us to study the cross-over from perturbative relaxation to a slow, quantum-Zeno regime. We also find the possibility of regimes of accelerated relaxation due to a surprising impedance matching phenomena. We also study intermediate time behaviors, identifying a long-lived "prethermalized" state associated that exists within a light cone like area. This intermediate state can be quasi-stationary, and can very different entanglement properties from the ultimate dissipative steady state.


title: Ultrafast strong-field absorption in gapped graphene

abstract: We study theoretically the strong-field absorption of an ultrafast optical pulse by a gapped graphene monolayer. At low field amplitudes, the absorbance in the pristine graphene is equal to the universal value of $2.3$ percent. Although the ultrafast optical absorption for low field amplitudes is independent of the polarization, linear or circular, of the applied optical pulse, for high field amplitudes, the absorption strongly depends on the pulse polarization. For a linearly polarized pulse, the optical absorbance is saturated at the value of $\approx 1.4$ percent for the pulse's amplitude of $\geq 0.4~\mathrm{V/\AA}$, but no such saturation is observed for a circularly polarized pulse. For the gapped graphene, the absorption of a linearly polarized pulse has a weak dependence on the bandgap, while for a circularly polarized pulse, the absorption is very sensitive to the bandgap. %Opening a bandgap in graphene by placing in on, for example, SiC substrate strongly modify the ultrafast absorption at small field amplitudes.


title: Lipschitz Lifelong Reinforcement Learning

abstract: We consider the problem of knowledge transfer when an agent is facing a series of Reinforcement Learning (RL) tasks. We introduce a novel metric between Markov Decision Processes (MDPs) and establish that close MDPs have close optimal value functions. Formally, the optimal value functions are Lipschitz continuous with respect to the tasks space. These theoretical results lead us to a value-transfer method for Lifelong RL, which we use to build a PAC-MDP algorithm with improved convergence rate. Further, we show the method to experience no negative transfer with high probability. We illustrate the benefits of the method in Lifelong RL experiments.


title: Intensity-Modulated Fiber-Optic Voltage Sensors for Power Distribution Systems

abstract: We design, test, and analyze fiber-optic voltage sensors based on optical reflection from a piezoelectric transducer. By controlling the physical dimensions of the device, we can tune the frequency of its natural resonance to achieve a desired sensitivity and bandwidth combination. In this work, we fully characterize sensors designed with a 2 kHz characteristic resonance, experimentally verifying a readily usable frequency range from approximately 10 Hz to 3 kHz. Spectral noise measurements indicate detectable voltage levels down to 300 mV rms at 60 Hz, along with a full-scale dynamic range of 60 dB, limited currently by the readout electronics, not the inherent performance of the transducer in the sensor. Additionally, we demonstrate a digital signal processing approach to equalize the measured frequency response, enabling accurate retrieval of short-pulse inputs. Our results suggest the value and applicability of intensity-modulated fiber-optic voltage sensors for measuring both steady-state waveforms and broadband transients which, coupled with the straightforward and compact design of the sensors, should make them effective tools in electric grid monitoring.


title: Approximating nonabelian free groups by groups of homeomorphisms of the real line

abstract: We show that for a large class $\mathcal{C}$ of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group $G$ of rank $k$ in $\mathcal{C}$, there is a sequence of $k$-markings $(G, S_n), n\in \mathbf{N}$ whose limit in the space of marked groups is the free group of rank $k$ with the standard marking. The class we consider consists of groups that admit actions satisfying mild dynamical conditions and a certain "self-similarity" type hypothesis. Examples include Thompson's group $F$, Higman-Thompson groups, Stein-Thompson groups, various Bieri-Strebel groups, the golden ratio Thompson group, and finitely presented non amenable groups of piecewise projective homeomorphisms. For the case of Thompson's group $F$ we provide a new and considerably simpler proof of this fact proved by Brin (Groups, Geometry, and Dynamics 2010).


title: Unbiased evaluation of ranking metrics reveals consistent performance in science and technology citation data

abstract: Despite the increasing use of citation-based metrics for research evaluation purposes, we do not know yet which metrics best deliver on their promise to gauge the significance of a scientific paper or a patent. We assess 17 network-based metrics by their ability to identify milestone papers and patents in three large citation datasets. We find that traditional information-retrieval evaluation metrics are strongly affected by the interplay between the age distribution of the milestone items and age biases of the evaluated metrics. Outcomes of these metrics are therefore not representative of the metrics' ranking ability. We argue in favor of a modified evaluation procedure that explicitly penalizes biased metrics and allows us to reveal metrics' performance patterns that are consistent across the datasets. PageRank and LeaderRank turn out to be the best-performing ranking metrics when their age bias is suppressed by a simple transformation of the scores that they produce, whereas other popular metrics, including citation count, HITS and Collective Influence, produce significantly worse ranking results.


title: Transverse spin effects in hard semi-inclusive collisions

abstract: The nucleons (protons and neutrons) are by far the most abundant form of matter in our visible Universe; they are composite particles made of quarks and gluons, the fundamental quanta of Quantum Chromo Dynamics (QCD). The usual interpretation of the nucleon dynamics in high energy interactions is often limited to a simple one-dimensional picture of a fast moving nucleon as a collection of co-linearly moving quarks and gluons (partons), interacting accordingly to perturbative QCD rules. However, massive experimental evidence shows that, in particular when transverse spin dependent observables are involved, such a simple picture is not adequate. The intrinsic transverse motion of partons has to be taken into account; this opens the way to a new, truly 3-dimensional (3D) study of the nucleon structure. A review of the main experimental data, their interpretation and understanding in terms of new transverse momentum dependent partonic distributions, and the progress in building a 3D imaging of the nucleon is presented.


title: Supercritical angle microscopy and spectroscopy

abstract: Fluorescence detection, either involving propagating or near-field emission, is widely being used in spectroscopy, sensing and microscopy. Total internal reflection fluorescence (TIRF) confines fluorescence excitation by an evanescent (near-) field and it is a popular contrast generator for surface-selective fluorescence assays. Its emission equivalent, supercritical angle fluorescence (SAF) is comparably less established although it achieves a similar optical sectioning as does TIRF. SAF emerges when a fluorescing molecule is located very close to an interface and its near-field emission couples to the higher-refractive index medium (n2 > n1) and becomes propagative. Then, most fluorescence is detectable on the side of the higher-index substrate and a large fraction of this fluorescence is emitted into angles forbidden by Snell's law. SAF as well as the undercritical angle fluorescence (UAF) (far-field emission) components can be collected with microscope objectives having a high-enough detection aperture NA > n2 and be separated in the back-focal plane (BFP) by Fourier filtering. The BFP image encodes information about the fluorophore radiation pattern, and it can be analysed to yield precise information about the refractive index in which the emitters are embedded, their nanometric distance from the interface and their orientation. A SAF microscope can retrieve this near-field information through wide-field optics in a spatially resolved manner, and this functionality can be added to any existing inverted microscope.


title: Polynomial Invariants and SAGBI Bases for Multi-screws

abstract: Polynomial invariants for robot manipulators and their joints arise from the adjoint action of the Euclidean group on its Lie algebra, the space of infinitesimal twists or screws. The aim of this paper is to determine basic sets of generating polynomials for multiple screws. Techniques from the theory of SAGBI bases are introduced. As a result, a complete description is provided of the polynomial invariants for screw pairs and some results for screw triples are obtained. The invariants are shown to be related to Denavit-Hartenberg parameters.


title: Time-information uncertainty relations in thermodynamics

abstract: Physical systems that power motion and create structure in a fixed amount of time dissipate energy and produce entropy. Whether living or synthetic, systems performing these dynamic functions must balance dissipation and speed. Here, we show that rates of energy and entropy exchange are subject to a speed limit -- a time-information uncertainty relation -- imposed by the rates of change in the information content of the system. This uncertainty relation bounds the time that elapses before the change in a thermodynamic quantity has the same magnitude as its initial standard deviation. From this general bound, we establish a family of speed limits for heat, work, entropy production, and entropy flow depending on the experimental constraints on the system. In all of these inequalities, the time scale of transient dynamical fluctuations is universally bounded by the Fisher information. Moreover, they all have a mathematical form that mirrors the Mandelstam-Tamm version of the time-energy uncertainty relation in quantum mechanics. These bounds on the speed of arbitrary observables apply to transient systems away from thermodynamic equilibrium, independent of the physical assumptions about the stochastic dynamics or their function.


title: Deep Residual Flow for Out of Distribution Detection

abstract: The effective application of neural networks in the real-world relies on proficiently detecting out-of-distribution examples. Contemporary methods seek to model the distribution of feature activations in the training data for adequately distinguishing abnormalities, and the state-of-the-art method uses Gaussian distribution models. In this work, we present a novel approach that improves upon the state-of-the-art by leveraging an expressive density model based on normalizing flows. We introduce the residual flow, a novel flow architecture that learns the residual distribution from a base Gaussian distribution. Our model is general, and can be applied to any data that is approximately Gaussian. For out of distribution detection in image datasets, our approach provides a principled improvement over the state-of-the-art. Specifically, we demonstrate the effectiveness of our method in ResNet and DenseNet architectures trained on various image datasets. For example, on a ResNet trained on CIFAR-100 and evaluated on detection of out-of-distribution samples from the ImageNet dataset, holding the true positive rate (TPR) at $95\%$, we improve the true negative rate (TNR) from $56.7\%$ (current state-of-the-art) to $77.5\%$ (ours).


title: Extremes and regular variation

abstract: We survey the connections between extreme-value theory and regular variation, in one and higher dimensions, from the algebraic point of view of our recent work on Popa groups.


title: A basis for the Kauffman skein module of the product of a surface and a circle

abstract: The Kauffman bracket skein module $S(M)$ of a 3-manifold $M$ is a $\mathbb{Q}(A)$-vector space spanned by links in $M$ modulo the so-called Kauffman relations. In this article, for any closed oriented surface $\Sigma$ we provide an explicit spanning family for the skein modules $S(\Sigma\times S^1)$. Combined with earlier work of Gilmer and Masbaum, we answer their question about the dimension of $S(\Sigma\times S^1)$ being $2^{2g+1} + 2g -1$.


title: Indoor Layout Estimation by 2D LiDAR and Camera Fusion

abstract: This paper presents an algorithm for indoor layout estimation and reconstruction through the fusion of a sequence of captured images and LiDAR data sets. In the proposed system, a movable platform collects both intensity images and 2D LiDAR information. Pose estimation and semantic segmentation is computed jointly by aligning the LiDAR points to line segments from the images. For indoor scenes with walls orthogonal to floor, the alignment problem is decoupled into top-down view projection and a 2D similarity transformation estimation and solved by the recursive random sample consensus (R-RANSAC) algorithm. Hypotheses can be generated, evaluated and optimized by integrating new scans as the platform moves throughout the environment. The proposed method avoids the need of extensive prior training or a cuboid layout assumption, which is more effective and practical compared to most previous indoor layout estimation methods. Multi-sensor fusion allows the capability of providing accurate depth estimation and high resolution visual information.


title: Integrable symplectic maps associated with discrete Korteweg-de Vries-type equations

abstract: In this paper we present novel integrable symplectic maps, associated with ordinary difference equations, and show how they determine, in a remarkably diverse manner, the integrability, including Lax pairs and the explicit solutions, for integrable partial difference equations which are the discrete counterparts of integrable partial differential equations of Korteweg-de Vries-type (KdV-type). As a consequence it is demonstrated that several distinct Hamiltonian systems lead to one and the same difference equation by means of the Liouville integrability framework. Thus, these integrable symplectic maps may provide an efficient tool for characterizing, and determining the integrability of, partial difference equations.


title: Scout: Rapid Exploration of Interface Layout Alternatives through High-Level Design Constraints

abstract: Although exploring alternatives is fundamental to creating better interface designs, current processes for creating alternatives are generally manual, limiting the alternatives a designer can explore. We present Scout, a system that helps designers rapidly explore alternatives through mixed-initiative interaction with high-level constraints and design feedback. Prior constraint-based layout systems use low-level spatial constraints and generally produce a single design. Tosupport designer exploration of alternatives, Scout introduces high-level constraints based on design concepts (e.g.,~semantic structure, emphasis, order) and formalizes them into low-level spatial constraints that a solver uses to generate potential layouts. In an evaluation with 18 interface designers, we found that Scout: (1) helps designers create more spatially diverse layouts with similar quality to those created with a baseline tool and (2) can help designers avoid a linear design process and quickly ideate layouts they do not believe they would have thought of on their own.


title: UnOVOST: Unsupervised Offline Video Object Segmentation and Tracking

abstract: We address Unsupervised Video Object Segmentation (UVOS), the task of automatically generating accurate pixel masks for salient objects in a video sequence and of tracking these objects consistently through time, without any input about which objects should be tracked. Towards solving this task, we present UnOVOST (Unsupervised Offline Video Object Segmentation and Tracking) as a simple and generic algorithm which is able to track and segment a large variety of objects. This algorithm builds up tracks in a number stages, first grouping segments into short tracklets that are spatio-temporally consistent, before merging these tracklets into long-term consistent object tracks based on their visual similarity. In order to achieve this we introduce a novel tracklet-based Forest Path Cutting data association algorithm which builds up a decision forest of track hypotheses before cutting this forest into paths that form long-term consistent object tracks. When evaluating our approach on the DAVIS 2017 Unsupervised dataset we obtain state-of-the-art performance with a mean J &F score of 67.9% on the val, 58% on the test-dev and 56.4% on the test-challenge benchmarks, obtaining first place in the DAVIS 2019 Unsupervised Video Object Segmentation Challenge. UnOVOST even performs competitively with many semi-supervised video object segmentation algorithms even though it is not given any input as to which objects should be tracked and segmented.


title: Leidenfrost temperature in sprays: role of the substrate and liquid properties

abstract: In this study the Leidenfrost temperature during spray cooling of very hot substrates is experimentally measured. The spray parameters, i.e. the drop diameters and velocities and the mass flux, are very accurately measured. Astonishingly, the measured Leidenfrost temperature is independent of any of the spray impact parameters, but is determined exclusively by the materials of the liquid and the substrate. The mechanism of film boiling is explained by the formation of a fast propagating vaporizing front, when the inertial forces in the associated liquid flow are comparable with the viscous stresses. This leads to a theoretical prediction for the Leidenfrost temperature which agrees well with the experimental data.


title: On the Independence of Fundamental Decompositions of Power-Law Kinetic Systems

abstract: The fundamental decomposition of a chemical reaction network (CRN) is induced by partitioning the reaction set into "fundamental classes". It was the basis of the Higher Deficiency Algorithm for mass action systems of Ji and Feinberg, and the Multistationarity Algorithm for power-law kinetic systems of Hernandez et al. In addition to our previous work, we provide important properties of the independence (i.e., the network's stoichiometric subspace is the direct sum of the subnetworks' stoichiometric subspaces) and the incidence-independence (i.e., the image of the network's incidence map is the direct sum of the incidence maps' images of the subnetworks) of these decompositions. Feinberg established the essential relationship between independent decompositions and the set of positive equilibria of a network, which we call the Feinberg Decomposition Theorem (FDT). Moreover, Farinas et al. recently documented its version for incidence-independence. Fundamental decomposition divides the network into subnetworks of deficiency either 0 or 1 only. Hence, available results for lower deficiency networks, such as the Deficiency Zero Theorem (DZT), can be used. These justify the study of independent fundamental decompositions. A MATLAB program which (i) computes the subnetworks of a CRN under the fundamental decomposition and (ii) is useful for determining whether the decomposition is independent and incidence-independent is also created. Finally, we provide the following solution for determining multistationarity of CRNs with the following steps: (1) the use of the program, (2) the application of available results for CRNs with deficiency 0 or 1 (e.g., DZT), and (3) the use of FDT. We illustrate the solution by showing that the generalization of a subnetwork of Schmitz's carbon cycle model by Hernandez et al., endowed with mass action kinetics, has no capacity for multistationarity.


title: Distribution of Frobenius elements in families of Galois extensions

abstract: Given a Galois extension $L/K$ of number fields, we describe fine distribution properties of Frobenius elements via invariants from representations of finite Galois groups and ramification theory. We exhibit explicit families of extensions in which we evaluate these invariants, and deduce a detailed understanding and a precise description of the possible asymmetries. We establish a general bound on the generic fluctuations of the error term in the Chebotarev density theorem which under GRH is sharper than the Murty-Murty-Saradha and Bella\"iche refinements of the Lagarias-Odlyzko and Serre bounds, and which we believe is best possible (assuming simplicity, it is of the quality of Montgomery's conjecture on primes in arithmetic progressions). Under GRH and a hypothesis on the multiplicities of zeros up to a certain height, we show that in certain families these fluctuations are dominated by a constant lower order term. As an application of our ideas we refine and generalize results of K. Murty and of J. Bella\"iche and we answer a question of N. Ng. In particular, in the case where $L/\mathbb Q$ is Galois and supersolvable, we prove a strong form of a conjecture of K. Murty on the unramified prime ideal of least norm in a given Frobenius set. The tools we use include the Rubinstein-Sarnak machinery based on limiting distributions and a blend of algebraic, analytic, representation theoretic, probabilistic and combinatorial techniques.


title: Local-global principles for curves over semi-global fields

abstract: We investigate local-global principles for Galois cohomology, in the context of function fields of curves over semi-global fields. This extends work of Kato's on the case of function fields of curves over global fields.


title: A Real-Time Retinomorphic Simulator Using a Conductance-Based Discrete Neuronal Network

abstract: We present an optimized conductance-based retina microcircuit simulator which transforms light stimuli into a series of graded and spiking action potentials through photo transduction. We use discrete retinal neuron blocks based on a collation of single-compartment models and morphologically realistic formulations, and successfully achieve a biologically real-time simulator. This is done by optimizing the numerical methods employed to solve the system of over 270 nonlinear ordinary differential equations and parameters. Our simulator includes some of the most recent advances in compartmental modeling to include five intrinsic ion currents of each cell whilst ensuring real-time performance, in attaining the ion-current and membrane responses of the photoreceptor rod and cone cells, the bipolar and amacrine cells, their laterally connected electrical and chemical synapses, and the output ganglion cell. It exhibits dynamical retinal behavior such as spike-frequency adaptation, rebound activation, fast-spiking, and subthreshold responsivity. Light stimuli incident at the photoreceptor rod and cone cells is modulated through the system of differential equations, enabling the user to probe the neuronal response at any point in the network. This is in contrast to many other retina encoding schemes which prefer to `black-box' the preceding stages to the spike train output. Our simulator is made available open source, with the hope that it will benefit neuroscientists and machine learning practitioners in better understanding the retina sub-circuitries, how retina cells optimize the representation of visual information, and in generating large datasets of biologically accurate graded and spiking responses.


title: Fifth-order generalized Heisenberg supermagnetic models

abstract: This paper is concerned with the construction of the fifth-order generalized Heisenberg supermagnetic models. We also investigate the integrable structure and properties of the supersymmetric systems. We establish their gauge equivalent equations with the gauge transformation for two quadratic constraints, i.e., the super fifth-order nonlinear Schr\"{o}dinger equation and the fermionic fifth-order nonlinear Schr\"{o}dinger equation, respectively.


title: Homotopy theory of algebras of substitudes and their localisation

abstract: We study the category of algebras of substitudes (also known to be equivalent to the regular patterns of Getzler) equipped with a (semi)model structure lifted from the model structure on the underlying presheaves. We are especially interested in the case when the model structure on presheaves is a Cisinski style localisation with respect to a proper Grothendieck fundamental localiser. For example, for $\mathtt{W}=\mathtt{W}_{\infty}$ the minimal fundamental localiser, the local objects in such a localisation are locally constant presheaves, and local algebras of substitudes are exactly algebras whose underlying presheaves are locally constant. We investigate when this localisation has nice properties. We single out a class of such substitudes which we call left localisable and show that the substitudes for $n$-operads, symmetric, and braided operads are in this class. As an application we develop a homotopy theory of higher braided operads and prove a stabilisation theorem for their $\mathtt{W}_k$-localisations. This theorem implies, in particular, a generalisation of the Baez-Dolan Stabilisation Hypothesis for higher categories.


title: Cyclic variations in the main components of the solar large-scale magnetic field

abstract: We considered variations the dipole and the quadrupole components of the solar large-scale magnetic field. Both the axial and the equatorial dipoles exhibit a systematic decrease in the past four cycles in accordance with the general decrease of solar activity. The transition of the pole of a dipole from the polar region to mid latitudes occurs rather quickly, so that the longitude of the pole changes little. With time, however, this inclined dipole region shifts to larger longitudes, which suggests an acceleration of the dipole rotation. The mean rotation rate exceeds the Carrington velocity by 0.6%. The behavior of the quadrupole differs dramatically. Its decrease over last four cycles was much smaller than that of the dipole moment. The ratio of the quadrupole and dipole moments has increased for four cycles more than twice in contrast to the sunspot numbers, which displayed a twofold decrease for the same time interval. What about quadrupole rotation, the mean longitude of the poles of one sign decreased by 600 degrees over four cycles, which suggests that the mean rotation rate was lower than the Carrington velocity by 0.28%. We do not see however any conclusive evidence that, in the period under discussion, a mode of quadrupole symmetry was excited on the Sun along with the dipole mode.


title: On the discretization of Laplace's equation with Neumann boundary conditions on polygonal domains

abstract: In the present paper we describe a class of algorithms for the solution of Laplace's equation on polygonal domains with Neumann boundary conditions. It is well known that in such cases the solutions have singularities near the corners which poses a challenge for many existing methods. If the boundary data is smooth on each edge of the polygon, then in the vicinity of each corner the solution to the corresponding boundary integral equation has an expansion in terms of certain (analytically available) singular powers. Using the known behavior of the solution, universal discretizations have been constructed for the solution of the Dirichlet problem. However, the leading order behavior of solutions to the Neumann problem is $O(t^{\mu})$ for $\mu \in (-1/2,0)$ depending on the angle at the corner (compared to $O(C+t^{\mu})$ with $\mu>1/2$ for the Dirichlet problem); this presents a significant challenge in the design of universal discretizations. Our approach is based on using the discretization for the Dirichlet problem in order to compute a solution in the "weak sense" by solving an adjoint linear system; namely, it can be used to compute inner products with smooth functions accurately, but it cannot be interpolated. Furthermore we present a procedure to obtain accurate solutions arbitrarily close to the corner, by solving a sequence of small local subproblems in the vicinity of that corner. The results are illustrated with several numerical examples.