title: Probing the $X(4350)$ in $\gamma \gamma$ interactions at the LHC

abstract: The production of $X(4350)$ in the $\gamma \gamma$ interactions that occur in proton-proton, proton-nucleus and nucleus-nucleus collisions at the CERN Large Hadron Collider (LHC) is investigated and predictions for the kinematical ranges probed by the ALICE and LHCb Collaborations are presented. We focus on the $\gamma \gamma \rightarrow \phi J/\Psi$ process, which have been measured by the Belle Collaboration, and present parameter free predictions for the total cross sections at the LHC energies. Our results demonstrate that the experimental study of this process is feasible and can be used to confirm or not the existence of the $X(4350)$ state. Finally, for completeness, we present predictions for the production of the $X(3915)$ state in the $\gamma \gamma \rightarrow \omega J/\Psi$ process and show that this exotic state can also be probed in $\gamma \gamma$ interactions at the LHC.


title: Dense matter equation of state for neutron star mergers

abstract: In simulations of binary neutron star mergers, the dense matter equation of state (EOS) is required over wide ranges of density and temperature as well as under conditions in which neutrinos are trapped, and the effects of magnetic fields and rotation prevail. Here we assess the status of dense matter theory and point out the successes and limitations of approaches currently in use. A comparative study of the excluded volume (EV) and virial approaches for the $np\alpha$ system using the equation of state of Akmal, Pandharipande and Ravenhall for interacting nucleons is presented in the sub-nuclear density regime. Owing to the excluded volume of the $\alpha$-particles, their mass fraction vanishes in the EV approach below the baryon density 0.1 fm$^{-3}$, whereas it continues to rise due to the predominantly attractive interactions in the virial approach. The EV approach of Lattimer et al. is extended here to include clusters of light nuclei such as d, $^3$H and $^3$He in addition to $\alpha$-particles. Results of the relevant state variables from this development are presented and enable comparisons with related but slightly different approaches in the literature. We also comment on some of the sweet and sour aspects of the supra-nuclear EOS. The extent to which the neutron star gravitational and baryon masses vary due to thermal effects, neutrino trapping, magnetic fields and rotation are summarized from earlier studies in which the effects from each of these sources were considered separately. Increases of about $20\% (\gtrsim 50\%)$ occur for rigid (differential) rotation with comparable increases occurring in the presence of magnetic fields only for fields in excess of $10^{18}$ Gauss. Comparatively smaller changes occur due to thermal effects and neutrino trapping. Some future studies to gain further insight into the outcome of dynamical simulations are suggested.


title: On the Existence and Long-Term Stability of Voltage Equilibria in Power Systems with Constant Power Loads

abstract: Voltage instability is a major threat in power system operation. The growing presence of constant power loads significantly aggravates this issue, hence motivating the development of new analysis methods for both existence and stability of voltage equilibria. Formally, this problem can be cast as the analysis of solutions of a set of nonlinear algebraic equations of the form $f(x)=0$, where $f:\mathbb{R}^n \mapsto \mathbb{R}^{n}$, and the associated differential equation $\dot x=f(x)$. By invoking advanced concepts of dynamical systems theory and effectively exploiting its monotonicity, we exhibit all possible scenarios for existence, uniqueness and stability, of its equilibria. We prove that, if there are equilibria, there is a distinguished one that is locally stable and attractive, and we give some physically-interpretable conditions such that it is unique. Moreover, a simple on-line procedure to decide whether equilibria exist of not, and to compute the distinguished one is proposed. In addition, we show how the proposed framework can be applied to long-term voltage stability analysis in AC power systems, multi-terminal high-voltage DC systems and DC microgrids.


title: The partition algebra and the plethysm coefficients I: stability and Foulkes' conjecture

abstract: We propose a new approach to study plethysm coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. This allows us to explain the stability properties of plethysm and Kronecker coefficients in a simple and uniform fashion for the first time. We prove the strengthened Foulkes' conjecture for stable plethysm coefficients in an elementary fashion.


title: Density of states and ground state magnetic ordering of the triangular lattice three-state Potts model

abstract: This study present a Monte Carlo investigations of low-temperature magnetic ordering and phase transitions in three-state Potts model on triangular lattice with various exchange interactions between nearest (J1) and next-nearest (J2) neighbors. The density of states for varying J1 and J2 are calculated. The magnetic structure of the ground state for various J1 and J2 are obtained. The critical temperature are calculated and the order of the phase transition determined. The density of states difference (DOSD) and histogram analysis method are used to investigate the order of the phase transitions. The frustrated regions are determined. It is shown, that for negative J1 the high degeneration of the ground state are in fully frustrated area -1<=J2/abs(J1)<=-0.2. For positive J1 frustration are occurred in area -1<=J2/J1<=-0.5, but only in point J2/J1=-1 the system have a high degeneration and are fully frustrated. The phase diagram of the three-state triangular Potts model are show.


title: Infinity-Harmonic Potentials and Their Streamlines

abstract: We consider certain solutions of the Infinity-Laplace Equation in planar convex rings. Their ascending streamlines are unique while the descending ones may bifurcate. We prove that bifurcation occurs in the generic situation and as a consequence, the solutions cannot have Lipschitz continuous gradients.


title: Demonstration of a photonic lantern low order wavefront sensor using an adaptive optics testbed

abstract: We demonstrate the use of an optimized 5 core photonic lantern (PL) to simultaneously measure tip/tilt errors at the telescope focal plane, while also providing the input to an instrument. By replacing a single mode (SM) fiber with the PL we show that it is possible to stabilize the input PSF to an instrument due to non-common path tip/tilt aberrations in an adaptive optics system. We show the PL in two different regimes, (i) using only the outer cores for tip/tilt measurements while feeding an instrument with the central core and, (ii) using all cores to measure tip/tilt when used in an instrument such as a spectrograph. In simulations our PL displays the ability to retrieve tip/tilt measurements in a linear range of +/- 55 milliarcseconds. At the designed central wavelength of 1.55 microns, configuration (i) matches the throughput of an on-axis SM fiber but declines as we move away from this wavelength. In configuration (ii) we make use of the whole multimode input of the PL resulting in a potential increase of overall throughput compared to a SM fiber, while eliminating modal noise.


title: Analysing object detectors from the perspective of co-occurring object categories

abstract: The accuracy of state-of-the-art Faster R-CNN and YOLO object detectors are evaluated and compared on a special masked MS COCO dataset to measure how much their predictions rely on contextual information encoded at object category level. Category level representation of context is motivated by the fact that it could be an adequate way to transfer knowledge between visual and non-visual domains. According to our measurements, current detectors usually do not build strong dependency on contextual information at category level, however, when they does, they does it in a similar way, suggesting that contextual dependence of object categories is an independent property that is relevant to be transferred.


title: Regularization inequalites for one-dimensional Cauchy-type measures

abstract: In the paper we investigate various inequalities for the one-dimensional Cauchy measure. We also consider analogous properties for one-dimensional sections of multidimensional isotropic Cauchy measure. The paper is a continuation of our previous investigations \cite{BZ}, where we found, among intervals with fixed measure, the ones with the extremal measure of the boundary. Here for the above mentioned measures we investigate inequalities that are analogous to those found for Gaussian measures by Borell in \cite{B} and by Landau and Shepp in \cite{LS}.


title: Dynamic Environment Mapping for Augmented Reality Applications on Mobile Devices

abstract: Augmented Reality is a topic of foremost interest nowadays. Its main goal is to seamlessly blend virtual content in real-world scenes. Due to the lack of computational power in mobile devices, rendering a virtual object with high-quality, coherent appearance and in real-time, remains an area of active research. In this work, we present a novel pipeline that allows for coupled environment acquisition and virtual object rendering on a mobile device equipped with a depth sensor. While keeping human interaction to a minimum, our system can scan a real scene and project it onto a two-dimensional environment map containing RGB+Depth data. Furthermore, we define a set of criteria that allows for an adaptive update of the environment map to account for dynamic changes in the scene. Then, under the assumption of diffuse surfaces and distant illumination, our method exploits an analytic expression for the irradiance in terms of spherical harmonic coefficients, which leads to a very efficient rendering algorithm. We show that all the processes in our pipeline can be executed while maintaining an average frame rate of 31Hz on a mobile device.


title: Reconstructing the baryon acoustic oscillations using biased tracers

abstract: The reconstruction of the initial conditions of the Universe is an important topic in cosmology, particularly in the context of sharpening the measurement of the baryon acoustic oscillation (BAO) peak. Nonlinear reconstruction algorithms developed in recent years, when applied to late-time matter fields, can recover to a substantial degree the initial density distribution, however, when applied to sparse tracers of the matter field, the performance is poorer. In this paper we apply the Shi et al. non-linear reconstruction method to biased tracers in order to establish what factors affect the reconstruction performance. We find that grid resolution, tracer number density and mass assignment scheme all have a significant impact on the performance of our reconstruction method, with triangular-shaped-cloud (TSC) mass assignment and a grid resolution of ${\sim}1{-}2h^{-1}$ Mpc being the optimal choice. We also show that our method can be easily adapted to include generic tracer biases up to quadratic order in the reconstruction formalism. Applying the reconstruction to halo and galaxy samples with a range of tracer number densities, we find that the linear bias is by far the most important bias term, while including nonlocal and nonlinear biases only leads to marginal improvements on the reconstruction performance. Overall, including bias in the reconstruction substantially improves the recovery of BAO wiggles, down to $k\sim0.25~h\text{Mpc}^{-1}$ for tracer number densities between $2\times10^{-4}$ and $2\times10^{-3}~(h^{-1}\text{Mpc})^{-3}$.


title: Two-step PR-scheme for recovering signals in detectable union of cones by magnitude measurements

abstract: Motivated by the research on sampling problems for a union of subspaces (UoS), we investigate in this paper the phase-retrieval problem for the signals that are residing in a union of (finitely generated) cones (UoC for short) in $\mathbb{R}^{n}$. We propose a two-step PR-scheme: $\hbox{PR}=\hbox{detection}+\hbox{recovery}$. We first establish a sufficient and necessary condition for the detectability of a UoC, and then design a detection algorithm that allows us to determine the cone where the target signal is residing. The phase-retrieval will be then performed within the detected cone, which can be achieved by using at most $\Gamma$-number of measurements and with very low complexity, where $\Gamma (\leq n)$ is the maximum of the ranks of the generators for the UoC. Numerical experiments are provided to demonstrate the efficiency of our approach, and to exhibit comparisons with some existing phase-retrieval methods.


title: Generation of Circular Polarization of CMB via Polarized Compton Scattering

abstract: The standard scenario of cosmology predicts a measurable amount for linear polarization of the Cosmic Microwave Background radiation (CMB) via Thomson scattering, while through this scenario, the generation of circular polarization is excluded. On the another hand, the circular polarization of CMB has not been excluded in observational evidence. The generation of CMB photons circular polarization via their Compton scattering with polarized cosmic electrons is considered in this paper. Our motivation for considering polarized Compton scattering comes from the effects of the external magnetic field in large scale, the chiral magnetic instability and new physics interactions of the cosmic electrons. It is shown that damping term of polarized Compton scattering in the presence of scalar perturbation can generate circular polarization in CMB radiation, so that the power spectrum of circular polarization of CMB $C_l^{V(S)}$ is proportional to the power spectrum of temperature anisotropy of CMB $C_l^{I(S)}$ and also $\delta^2$ which is a fraction of polarized electron number density to the total one with net Left- or Right-handed polarizations. We have discussed that at least we need $\delta<10^{-4}$ to find consistency with a reported upper limit of CMB circular polarization.


title: Functional repair codes: a view from projective geometry

abstract: Storage codes are used to ensure reliable storage of data in distributed systems. Here we consider functional repair codes, where individual storage nodes that fail may be repaired efficiently and the ability to recover original data and to further repair failed nodes is preserved. There are two predominant approaches to repair codes: a coding theoretic approach and a vector space approach. We explore the relationship between the two and frame the later in terms of projective geometry. We find that many of the constructions proposed in the literature can be seen to arise from natural and well-studied geometric objects, and that this perspective gives a framework that provides opportunities for generalisations and new constructions that can lead to greater flexibility in trade-offs between various desirable properties. We also frame the cut-set bound obtained from network coding in terms of projective geometry. We explore the notion of strictly functional repair codes, for which there exist nodes that cannot be replaced exactly. Currently only one known example is given in the literature, due to Hollmann and Poh. We examine this phenomenon from a projective geometry point of view, and discuss how strict functionality can arise. Finally, we consider the issue that the view of a repair code as a collection of sets of vector/projective subspaces is recursive in nature and makes it hard to visualise what a collection of nodes looks like and how one might approach a construction. Here we provide another view of using directed graphs that gives us non-recursive criteria for determining whether a family of collections of subspaces constitutes a function, exact, or strictly functional repair code, which may be of use in searching for new codes with desirable properties.


title: Optimal investment and consumption for Ornstein-Uhlenbeck spread financial markets with logarithmic utility

abstract: We consider a spread financial market defined by the multidimensional Ornstein--Uhlenbeck (OU) process. We study the optimal consumption/investment problem for logarithmic utility functions in the base of stochastic dynamical programming method. We show a special Verification Theorem for this case. We find the solution to the Hamilton--Jacobi--Bellman (HJB) equation in explicit form and as a consequence we construct the optimal financial strategies. Moreover, we study the constructed strategy by numerical simulations.


title: Distributed coloring of graphs with an optimal number of colors

abstract: This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree $\Delta$ with at most $\Delta+1$ colors (or $\Delta$ colors when some simple obstructions are forbidden). When $\Delta$ is sufficiently large and $c\ge \Delta-k_\Delta+1$, for some integer $k_\Delta\approx \sqrt{\Delta}-2$, we give a distributed algorithm that given a $c$-colorable graph $G$ of maximum degree $\Delta$, finds a $c$-coloring of $G$ in $\min\{O((\log\Delta)^{1/12}\log n), 2^{O(\log \Delta+\sqrt{\log \log n})}\}$ rounds, with high probability. The lower bound $\Delta-k_\Delta+1$ is best possible in the sense that for infinitely many values of $\Delta$, we prove that when $\chi(G)\le \Delta -k_\Delta$, finding an optimal coloring of $G$ requires $\Omega(n)$ rounds. Our proof is a light adaptation of a remarkable result of Molloy and Reed, who proved that for $\Delta$ large enough, for any $c\ge \Delta - k_\Delta$ deciding whether $\chi(G)\le c$ is in {\textsf{P}}, while Embden-Weinert \emph{et al.}\ proved that for $c\le \Delta-k_\Delta-1$, the same problem is {\textsf{NP}}-complete. Note that the sequential and distributed thresholds differ by one. We also show that for any sufficiently large $\Delta$, and $\Omega(\log \Delta)\le k \le \Delta/100$, every graph of maximum degree $\Delta$ and clique number at most $\Delta-k$ can be efficiently colored with at most $\Delta-\varepsilon k$ colors, for some absolute constant $\varepsilon >0$, with a randomized algorithm running in $O(\log n/\log \log n)$ rounds with high probability.


title: Fraisse classes of graded relational structures

abstract: We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all finite weighted graphs or the class of all finite fuzzy orders (evaluated on a particular countable algebra) will be examined.


title: What One Can Learn From the Cloud Condensation Nuclei (CCN) Size Distributions as Monitored by the BEO Moussala?

abstract: In this proceeding we report initial studies into the big data set acquired by the Cloud Condensation Nuclei (CCN) counter of the Basic Environmental Observatory (BEO) Moussala over the whole 2016 year at a frequency of 1 Hz. First, we attempt to reveal correlations between the results for CCN number concentrations on the timescale of a whole year (2016) as averaged over 12 month periods with the meteorological parameters for the same period and with the same time step. Then, we zoom into these data and repeat the study on the timescale of a month for two months from 2016, January and July, with a day time step. For the same two months we show the CCN size distributions averaged over day periods. Finally, we arrive at our main result: typical, in terms of maximal and minimal number concentrations, CCN size distributions for chosen hours, one hour for each month of the year, hence 24 distributions in total. These data show a steady pattern of peaks and valleys independent of the concrete number concentration which moves up and down the number concentrations (y-axis) without significant shifts along the sizes (x-axis).


title: Psychometric properties of an instrument to investigate the motivation of visitors to a science museum: The combination of methods

abstract: The visit to a science museum may be manifested through complex and dynamic motivations which, according to the literature, are under-investigated in a Brazilian context. In the present study, an instrument originally developed by Delgado in 2008 (http://hdl.handle.net/10773/1623) has been modified and applied to 202 visitors up to 15 years to the Science Museum "Professor Mario Tolentino" in Sao Carlos, Brazil, in order to investigate motivation for visiting the institute. Combined application of Exploratory Factor Analysis and the Information Bottleneck method revealed that 17 out of the 20 initial items in the questionnaire aligned with three dimensions of motivation. The main motivation was learning desire, while entertainment and interaction motivations were significantly less important. The study provided relevant evidence regarding the motivations of visitors, and this information will be valuable in improving the activities of the museum. The implications of our findings for future research are discussed.


title: The distribution and lifetime of powerful radio galaxies as a function of environment and redshift

abstract: Correlations between jet power and active time for z < 0.1 high excitation and low excitation radio galaxies are explored as well as evidence in favor of a specific, non-random distribution for these objects including mid-infrared emitting radio galaxies as a function of environment and redshift. In addition, so-called weak line radio galaxies with FRII jet morphology have been identified as a class of active galaxies in the process of shutting down. This paper identifies common features between these seemingly disparate phenomena described above for the population of radio galaxies, and strings them together by way of a simple phenomenological framework that has shed light on the radio loud/radio quiet dichotomy, the jet-disk connection, and the distribution of all active galaxies as a function of redshift.


title: Predicting the Usefulness of Amazon Reviews Using Off-The-Shelf Argumentation Mining

abstract: Internet users generate content at unprecedented rates. Building intelligent systems capable of discriminating useful content within this ocean of information is thus becoming a urgent need. In this paper, we aim to predict the usefulness of Amazon reviews, and to do this we exploit features coming from an off-the-shelf argumentation mining system. We argue that the usefulness of a review, in fact, is strictly related to its argumentative content, whereas the use of an already trained system avoids the costly need of relabeling a novel dataset. Results obtained on a large publicly available corpus support this hypothesis.


title: A Game of Tax Evasion: evidences from an agent-based model

abstract: This paper presents a simple agent-based model of an economic system, populated by agents playing different games according to their different view about social cohesion and tax payment. After a first set of simulations, correctly replicating results of existing literature, a wider analysis is presented in order to study the effects of a dynamic-adaptation rule, in which citizens may possibly decide to modify their individual tax compliance according to individual criteria, such as, the strength of their ethical commitment, the satisfaction gained by consumption of the public good and the perceived opinion of neighbors. Results show the presence of thresholds levels in the composition of society - between taxpayers and evaders - which explain the extent of damages deriving from tax evasion.


title: High resolution millimetre imaging of the CI Tau protoplanetary disc - a massive ensemble of protoplanets from 0.1 - 100 au

abstract: We present high resolution millimeter continuum imaging of the disc surrounding the young star CI Tau, a system hosting the first hot Jupiter candidate in a protoplanetary disc system. The system has extended mm emission on which are superposed three prominent annular gaps at radii ~ 13, 39 and 100 au. We argue that these gaps are most likely to be generated by massive planets so that, including the hot Jupiter, the system contains four gas giant planets at an age of only 2 Myr. Two of the new planets are similarly located to those inferred in the famous HL Tau protoplanetary disc; in CI Tau, additional observational data enables a more complete analysis of the system properties than was possible for HL Tau. Our dust and gas dynamical modeling satisfies every available observational constraint and points to the most massive ensemble of exo-planets ever detected at this age, with its four planets spanning a factor 1000 in orbital radius.Our results show that the association between hot Jupiters and gas giants on wider orbits, observed in older stars, is apparently in place at an early evolutionary stage.


title: Towards a classification of planar maps

abstract: Planar graphs and their spatial embedding -- planar maps -- are used in many different fields due to their ubiquity in the real world (leaf veins in biology, street patterns in urban studies, etc.) and are also fundamental objects in mathematics and combinatorics. These graphs have been well described in the literature, but we do not have so far a clear way to cluster them in different families. A typology of planar maps would be very useful and would allow to monitor their changes, to compare them with each other, or to correlate their structure with other properties. Using an algorithm which merges recursively the smallest areas in the graph with the largest ones, we plot the Gini coefficient of areas of cells and obtain a profile associated to each network. We test the relevance of these `Gini profiles' on simulated networks and on real street networks of Barcelona (Spain), New York City (USA), Tokyo (Japan), and discuss their main properties. We also apply this method to the case of Paris (France) at different dates which allows us to follow the structural changes of this system. Finally, we discuss the important ingredient of spatial heterogeneity of real-world planar graphs and test some ideas on Manhattan and Tokyo. Our results show that the Gini profile encodes various informations about the structure of the corresponding planar map and represents a good candidate for constructing relevant classes of these objects.


title: Locally conformally K\"ahler structures on four-dimensional solvable Lie algebras

abstract: We classify and investigate locally conformally K\"ahler structures on four-dimensional solvable Lie algebras up to linear equivalence. As an application we can produce many examples in higher dimension, here including lcK structures on Oeljeklaus-Toma manifolds, and we also give a geometric interpretation of some of the $4$-dimensional structures in our classification.


title: On the bound states of the discrete Schr\"odinger equation with compactly supported potentials

abstract: The discrete Schr\"odinger operator with the Dirichlet boundary condition is considered on the half-line lattice $n\in \{1,2,3,\dots\}.$ It is assumed that the potential belongs to class $\mathcal A_b,$ i.e. it is real valued, vanishes when $n>b$ with $b$ being a fixed positive integer, and is nonzero at $n=b.$ The proof is provided to show that the corresponding number of bound states, $N,$ must satisfy the inequality $0\le N\le b.$ It is shown that for each fixed nonnegative integer $k$ in the set $\{0,1,2,\dots,b\},$ there exist infinitely many potentials in class $\mathcal A_b$ for which the corresponding Schr\"odinger operator has exactly $k$ bound states. Some auxiliary results are presented to relate the number of bound states to the number of real resonances associated with the corresponding Schr\"odinger operator. The theory presented is illustrated with some explicit examples.


title: SIC-MMAB: Synchronisation Involves Communication in Multiplayer Multi-Armed Bandits

abstract: Motivated by cognitive radio networks, we consider the stochastic multiplayer multi-armed bandit problem, where several players pull arms simultaneously and collisions occur if one of them is pulled by several players at the same stage. We present a decentralized algorithm that achieves the same performance as a centralized one, contradicting the existing lower bounds for that problem. This is possible by "hacking" the standard model by constructing a communication protocol between players that deliberately enforces collisions, allowing them to share their information at a negligible cost. This motivates the introduction of a more appropriate dynamic setting without sensing, where similar communication protocols are no longer possible. However, we show that the logarithmic growth of the regret is still achievable for this model with a new algorithm.


title: Donovan's conjecture, blocks with abelian defect groups and discrete valuation rings

abstract: We give a reduction to quasisimple groups for Donovan's conjecture for blocks with abelian defect groups defined with respect to a suitable discrete valuation ring $\mathcal{O}$. Consequences are that Donovan's conjecture holds for $\mathcal{O}$-blocks with abelian defect groups for the prime two, and that, using recent work of Farrell and Kessar, for arbitrary primes Donovan's conjecture for $\mathcal{O}$-blocks with abelian defect groups reduces to bounding the Cartan invariants of blocks of quasisimple groups in terms of the defect. A result of independent interest is that in general (i.e. for arbitrary defect groups) Donovan's conjecture for $\mathcal{O}$-blocks is a consequence of conjectures predicting bounds on the $\mathcal{O}$-Frobenius number and on the Cartan invariants, as was proved by Kessar for blocks defined over an algebraically closed field.


title: Infinitary propositional relevant languages with absurdity

abstract: Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic $L_{\infty \omega}$ holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.


title: Constructing Hard Examples for Graph Isomorphism

abstract: We describe a method for generating graphs that provide difficult examples for practical Graph Isomorphism testers. We first give the theoretical construction, showing that we can have a family of graphs without any non-trivial automorphisms which also have high Weisfeiler-Leman dimension. The construction is based on properties of random 3XOR-formulas. We describe how to convert such a formula into a graph which has the desired properties with high probability. We validate the method by an experimental implementation. We construct random formulas and validate them with a SAT solver to filter through suitable ones, and then convert them into graphs. Experimental results demonstrate that the resulting graphs do provide hard examples that match the hardest known benchmarks for graph isomorphism.


title: High spectral resolution observations toward Orion BN at 6 $\mu$m: no evidence for hot water

abstract: Orion BN has a large proper motion and radial velocity with respect to the gas and other stars in the region where it is presumed to have formed. Multiple dynamical interaction scenarios have been proposed to explain this motion. In one case BN is thought to have interacted with stars in the Trapezium cluster, while in another it is thought to have interacted with source I while deeply embedded in molecular gas. If there is dense gas that has been retained in close proximity to BN, it may be evidence that the latter scenario is favored. We observed BN at high spectral resolution in three windows near 6 $\mu$m using SOFIA/EXES targeting the $\nu_2$ vibrational band of H$_2$O. Absorption from only three transitions of H$_2$O is detected, and through kinematic analysis is associated with cool, dense foreground gas, not BN itself. We find no evidence for H$_2$O absorption or emission at the systemic velocity of BN.


title: Impact of ultrafast transport on the high-energy states of a photoexcited topological insulator

abstract: Ultrafast dynamics in three-dimensional topological insulators (TIs) opens new routes for increasing the speed of information transport up to frequencies thousand times faster than in modern electronics. However, up to date, disentangling the exact contributions from bulk and surface transport to the subpicosecond dynamics of these materials remains a difficult challenge. Here, using time- and angle-resolved photoemission, we demonstrate that driving a TI from the bulk-conducting into the bulk-insulating transport regime allows to selectively switch on and off the emergent channels of ultrafast transport between the surface and the bulk. We thus establish that ultrafast transport is one of the main driving mechanisms responsible for the decay of excited electrons in prototypical TIs following laser excitation. We further show how ultrafast transport strongly affects the thermalization and scattering dynamics of the excited states up to high energies above the Fermi level. In particular, we observe how inhibiting the transport channels leads to a thermalization bottleneck that substantially slows down electron-hole recombination via electron-electron scatterings. Our results pave the way for exploiting ultrafast transport to control thermalization time scales in TI-based optoelectronic applications, and expand the capabilities of TIs as intrinsic solar cells.


title: On the calculation of the stress tensor in real-space Kohn-Sham Density Functional Theory

abstract: We present an accurate and efficient formulation of the stress tensor for real-space Kohn-Sham Density Functional Theory (DFT) calculations. Specifically, while employing a local formulation of the electrostatics, we derive a linear-scaling expression for the stress tensor that is applicable to simulations with unit cells of arbitrary symmetry, semilocal exchange-correlation functionals, and Brillouin zone integration. In particular, we rewrite the contributions arising from the self energy and the nonlocal pseudopotential energy to make them amenable to the real-space finite-difference discretization, achieving up to three orders of magnitude improvement in the accuracy of the computed stresses. Using examples representative of static and dynamic calculations, we verify the accuracy and efficiency of the proposed formulation. In particular, we demonstrate high rates of convergence with spatial discretization, consistency between the computed energy and stress tensor, and very good agreement with reference planewave results.


title: Adiabatic state distribution using anti-ferromagnetic spin systems

abstract: Transporting quantum information is an important prerequisite for quantum computers. We study how this can be done in Heisenberg-coupled spin networks using adiabatic control over the coupling strengths. We find that qudits can be transferred and entangled pairs can be created between distant sites of bipartite graphs with a certain balance between the maximum spin of both parts, extending previous results that were limited to linear chains. The transfer fidelity in a small star-shaped network is numerically analysed, and possible experimental implementations are discussed.


title: Simulator Calibration under Covariate Shift with Kernels

abstract: We propose a novel calibration method for computer simulators, dealing with the problem of covariate shift. Covariate shift is the situation where input distributions for training and test are different, and ubiquitous in applications of simulations. Our approach is based on Bayesian inference with kernel mean embedding of distributions, and on the use of an importance-weighted reproducing kernel for covariate shift adaptation. We provide a theoretical analysis for the proposed method, including a novel theoretical result for conditional mean embedding, as well as empirical investigations suggesting its effectiveness in practice. The experiments include calibration of a widely used simulator for industrial manufacturing processes, where we also demonstrate how the proposed method may be useful for sensitivity analysis of model parameters.


title: Data-compression for Parametrized Counting Problems on Sparse graphs

abstract: We study the concept of \emph{compactor}, which may be seen as a counting-analogue of kernelization in counting parameterized complexity. For a function $F:\Sigma^*\to \Bbb{N}$ and a parameterization $\kappa: \Sigma^*\to \Bbb{N}$, a compactor $({\sf P},{\sf M})$ consists of a polynomial-time computable function ${\sf P}$, called \emph{condenser}, and a computable function ${\sf M}$, called \emph{extractor}, such that $F={\sf M}\circ {\sf P}$, and the condensing ${\sf P}(x)$ of $x$ has length at most $s(\kappa(x))$, for any input $x\in \Sigma^*.$ If $s$ is a polynomial function, then the compactor is said to be of polynomial-size. Although the study on counting-analogue of kernelization is not unprecedented, it has received little attention so far. We study a family of vertex-certified counting problems on graphs that are MSOL-expressible; that is, for an MSOL-formula $\phi$ with one free set variable to be interpreted as a vertex subset, we want to count all $A\subseteq V(G)$ where $|A|=k$ and $(G,A)\models \phi.$ In this paper, we prove that every vertex-certified counting problems on graphs that is \emph{MSOL-expressible} and \emph{treewidth modulable}, when parameterized by $k$, admits a polynomial-size compactor on $H$-topological-minor-free graphs with condensing time $O(k^2n^2)$ and decoding time $2^{O(k)}.$ This implies the existence of an {\sf FPT}-algorithm of running time $O(n^2k^2)+2^{O(k)}.$ All aforementioned complexities are under the Uniform Cost Measure (UCM) model where numbers can be stored in constant space and arithmetic operations can be done in constant time.


title: Learning to Recommend with Multiple Cascading Behaviors

abstract: Most existing recommender systems leverage user behavior data of one type only, such as the purchase behavior in E-commerce that is directly related to the business KPI (Key Performance Indicator) of conversion rate. Besides the key behavioral data, we argue that other forms of user behaviors also provide valuable signal, such as views, clicks, adding a product to shop carts and so on. They should be taken into account properly to provide quality recommendation for users. In this work, we contribute a new solution named NMTR (short for Neural Multi-Task Recommendation) for learning recommender systems from user multi-behavior data. We develop a neural network model to capture the complicated and multi-type interactions between users and items. In particular, our model accounts for the cascading relationship among different types of behaviors (e.g., a user must click on a product before purchasing it). To fully exploit the signal in the data of multiple types of behaviors, we perform a joint optimization based on the multi-task learning framework, where the optimization on a behavior is treated as a task. Extensive experiments on two real-world datasets demonstrate that NMTR significantly outperforms state-of-the-art recommender systems that are designed to learn from both single-behavior data and multi-behavior data. Further analysis shows that modeling multiple behaviors is particularly useful for providing recommendation for sparse users that have very few interactions.


title: Sampler Design for Bayesian Personalized Ranking by Leveraging View Data

abstract: Bayesian Personalized Ranking (BPR) is a representative pairwise learning method for optimizing recommendation models. It is widely known that the performance of BPR depends largely on the quality of negative sampler. In this paper, we make two contributions with respect to BPR. First, we find that sampling negative items from the whole space is unnecessary and may even degrade the performance. Second, focusing on the purchase feedback of E-commerce, we propose an effective sampler for BPR by leveraging the additional view data. In our proposed sampler, users' viewed interactions are considered as an intermediate feedback between those purchased and unobserved interactions. The pairwise rankings of user preference among these three types of interactions are jointly learned, and a user-oriented weighting strategy is considered during learning process, which is more effective and flexible. Compared to the vanilla BPR that applies a uniform sampler on all candidates, our view-enhanced sampler enhances BPR with a relative improvement over 37.03% and 16.40% on two real-world datasets. Our study demonstrates the importance of considering users' additional feedback when modeling their preference on different items, which avoids sampling negative items indiscriminately and inefficiently.


title: Fluctuating hydrodynamics of electrolytes at electroneutral scales

abstract: At mesoscopic scales electrolyte solutions are modeled by the fluctuating generalized Poisson-Nernst-Planck (PNP) equations [J.-P. P\'eraud et al., Phys. Rev. F, 1(7):074103, 2016]. However, at length and time scales larger than the Debye scales, electrolytes are effectively electroneutral, and the charged-fluid PNP equations become too stiff to solve numerically. Here we formulate the isothermal incompressible equations of fluctuating hydrodynamics for reactive multispecies mixtures involving charged species in the electroneutral limit, and design a numerical algorithm to solve these equations. Our model does not assume a dilute electrolyte solution but rather treats all species on an equal footing, accounting for cross-diffusion and non-ideality using Maxwell-Stefan theory. By enforcing local electroneutrality as a constraint, we obtain an elliptic equation for the electric potential that replaces the Poisson equation in the fluctuating PNP equations. We develop a second-order midpoint predictor-corrector algorithm to solve either the charged-fluid or electroneutral equations with only a change of the elliptic solver. We use the electroneutral algorithm to study a gravitational fingering instability, triggered by thermal fluctuations, at an interface where an acid and base react to neutralize each other. Our results demonstrate that, because the four ions diffuse with very different coefficients, one must treat each ion as an individual species, and cannot treat the acid, base, and salt as neutral species. This emphasizes the differences between electrodiffusion and classical Fickian diffusion, even at electroneutral scales.


title: Electrovacuum spacetime near an extreme horizon

abstract: We determine all infinitesimal transverse deformations of extreme horizons in Einstein-Maxwell theory that preserve axisymmetry. In particular, we show that the general static transverse deformation of the AdS(2) X S(2) near-horizon geometry is a two-parameter family, which contains the known extreme charged, accelerating, static black hole solution held in equilibrium by an external electric or magnetic field (Ernst solution) and a special case of the extreme Kerr-Newman-Melvin solution. More generally, we find a three-parameter family of deformations of the extreme Kerr-Newman horizon, which contains the extreme Kerr-Newman-Melvin solution and a rotating generalisation of the Ernst solution. We also consider vacuum gravity with a cosmological constant and prove uniqueness of axisymmetric transverse deformations of the extreme Kerr-AdS horizon. Finally, we completely classify transverse deformations of extreme horizons in three-dimensional Einstein-Maxwell theory with a negative cosmological constant.


title: Tailored single-atom collisions at ultra-low energies

abstract: We employ collisions of individual atomic cesium (Cs) impurities with an ultracold rubidium (Rb) gas to probe atomic interaction with hyperfine- and Zeeman-state sensitivity. Controlling the Rb bath's internal state yields access to novel phenomena observed in inter-atomic spin-exchange. These can be tailored at ultra-low energies, owing to the excellent experimental control over all relevant energy scales. First, detecting spin-exchange dynamics in the Cs hyperfine state manifold, we resolve a series of previously unreported Feshbach resonances at magnetic fields below 300 mG, separated by energies as low as $h\times 15$ kHz. The series originates from a coupling to molecular states with binding energies below $h\times 1$ kHz and wave function extensions in the micrometer range. Second, at magnetic fields below $\approx 100\,$mG, we observe the emergence of a new reaction path for alkali atoms, where in a single, direct collision between two atoms two quanta of angular momentum can be transferred. This path originates from the hyperfine-analogue of dipolar spin-spin relaxation. Our work yields control of subtle ultra-low-energy features of atomic collision dynamics, opening new routes for advanced state-to-state chemistry, for controlling spin-exchange in quantum many-body systems for solid state simulations, or for determination of high-precision molecular potentials.

categories: cond-mat.quant-gas physics.atom-ph physics.chem-ph quant-ph


title: Planet-Planet Tides in the TRAPPIST-1 System

abstract: The star TRAPPIST-1 hosts a system of seven transiting, terrestrial exoplanets apparently in a resonant chain, at least some of which are in or near the Habitable Zone. Many have examined the roles of tides in this system, as tidal dissipation of the orbital energy of the planets may be relevant to both the rotational and orbital dynamics of the planets, as well as their habitability. Generally, tides are calculated as being due to the tides raised on the planets by the star, and tides raised on the star by the planets. I write this research note to point out a tidal effect that may be at least as important as the others in the TRAPPIST-1 system and which is so far unremarked upon in the literature: planet-planet tides. Under some reasonable assumptions, I find that for every planet $p$ in the TRAPPIST-1 system there exists some other planet $q$ for which the planet-planet dynamical tidal strain is within an order of magnitude of the stellar eccentricity tidal strain, and that the effects of planet $f$ on planet $g$ are in fact greater than that of the star on planet $g$. It is thus not obvious that planet-planet tides can be neglected in the TRAPPIST-1 exoplanetary system, especially the tides on planet $g$ due to planet $f$, if the planets are in synchronous rotation.


title: Twin Peaks: A possible signal in the production of resonances beyond special relativity

abstract: It is usually expected that quantum gravity corrections will modify somehow the symmetries of special relativity. In this paper we point out that the possibility of very low-energy (with respect to the Planck energy) modifications to special relativity in the framework of a deformed relativistic theory is not ruled out, and that, depending on the value of that scale, such a possibility could be tested in accelerator physics. In particular, we take a simple example of a relativistic kinematics beyond special relativity from the literature, and obtain a remarkable effect: two correlated peaks ("twin peaks") associated to a single resonance. We analyze this phenomenology in detail, use LEP data to put constraints of the order of TeV on the scale of corrections to special relativity, and note that such an effect might be observable in a future very high-energy proton collider.


title: Exclusive Independent Probability Estimation using Deep 3D Fully Convolutional DenseNets: Application to IsoIntense Infant Brain MRI Segmentation

abstract: The most recent fast and accurate image segmentation methods are built upon fully convolutional deep neural networks. In this paper, we propose new deep learning strategies for DenseNets to improve segmenting images with subtle differences in intensity values and features. We aim to segment brain tissue on infant brain MRI at about 6 months of age where white matter and gray matter of the developing brain show similar T1 and T2 relaxation times, thus appear to have similar intensity values on both T1- and T2-weighted MRI scans. Brain tissue segmentation at this age is, therefore, very challenging. To this end, we propose an exclusive multi-label training strategy to segment the mutually exclusive brain tissues with similarity loss functions that automatically balance the training based on class prevalence. Using our proposed training strategy based on similarity loss functions and patch prediction fusion we decrease the number of parameters in the network, reduce the complexity of the training process focusing the attention on less number of tasks, while mitigating the effects of data imbalance between labels and inaccuracies near patch borders. By taking advantage of these strategies we were able to perform fast image segmentation (90 seconds per 3D volume), using a network with less parameters than many state-of-the-art networks, overcoming issues such as 3Dvs2D training and large vs small patch size selection, while achieving the top performance in segmenting brain tissue among all methods tested in first and second round submissions of the isointense infant brain MRI segmentation (iSeg) challenge according to the official challenge test results. Our proposed strategy improves the training process through balanced training and by reducing its complexity while providing a trained model that works for any size input image and is fast and more accurate than many state-of-the-art methods.


title: On sets of terms having a given intersection type

abstract: Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing term M admits a *uniqueness typing*, which is a pair $(\Gamma,A)$ such that 1) $\Gamma \vdash M : A$ 2) $\Gamma \vdash N : A \Longrightarrow M =_{\beta\eta} N$ We also discuss several presentations of intersection type algebras, and the corresponding choices of type assignment rules. Moreover, we show that the set of closed terms with a given type is uniformly separable, and, if infinite, forms an adequate numeral system. The proof of this fact uses an internal version of the B\"ohm-out technique, adapted to terms of a given intersection type.


title: An Immersed Boundary Method with Direct Forcing for the Simulation of Particulate Flows

abstract: We present an improved method for computing incompressible viscous flow around suspended rigid particles using a fixed and uniform computational grid. The main idea is to incorporate Peskin's regularized delta function approach [Acta Numerica 11 (2002) 1] into a direct formulation of the fluid-solid interaction force in order to allow for a smooth transfer between Eulerian and Lagrangian representations while at the same time avoiding strong restrictions of the time step. This technique was implemented in a finite-difference and fractional-step context. A variety of two- and three-dimensional simulations are presented, ranging from the flow around a single cylinder to the sedimentation of 1000 spherical particles. The accuracy and efficiency of the current method are clearly demonstrated.


title: Momentum polytopes of projective spherical varieties and related K\"ahler geometry

abstract: We apply the combinatorial theory of spherical varieties to characterize the momentum polytopes of polarized projective spherical varieties. This enables us to derive a classification of these varieties, without specifying the open orbit, as well as a classification of all Fano spherical varieties. In the setting of multiplicity free compact and connected Hamiltonian manifolds, we obtain a necessary and sufficient condition involving momentum polytopes for such manifolds to be K\"ahler and classify the invariant compatible complex structures of a given K\"ahler multiplicity free compact and connected Hamiltonian manifold.


title: Two Boundary Centralizer Algebras for $\mathfrak{gl}(n|m)$

abstract: We define an action of the degenerate two boundary braid algebra $\mathcal{G}_d$ on the $\mathbb{C}$-vector space $M\otimes N\otimes V^{\otimes d}$, where $M$ and $N$ are arbitrary modules for the general linear Lie superalgebra $\mathfrak{gl}(n|m)$, and $V$ is the natural representation. When $M$ and $N$ are parametrized by rectangular hook Young diagrams, this action factors through a quotient $\mathcal{H}^{\operatorname{ext}}_d$. The irreducible summands of $M\otimes N\otimes V^{\otimes d}$ for the centralizer of $\mathfrak{gl}(n|m)$, remain irreducible once regarded as modules for this quotient $\mathcal{H}^{\operatorname{ext}}_d$.


title: Critical Analysis of an FeP Empirical Potential Employed to Study Fracture of Metallic Glasses

abstract: An empirical potential that has been widely used to perform molecular dynamics studies on the fracture behavior of FeP metallic glasses is shown to exhibit spinodal decomposition in the composition range commonly studied. The phosphorous segregation induces a transition from ductility to brittleness. During brittle fracture the atomically sharp crack tip propagates along a percolating path with higher P concentration. This embrittlement is observed to occur over a wide range of chemical compositions, and toughness decreases linearly with the degree of compositional segregation over the entire the regime studied. Stable glass forming alloys that can be quenched at low quench rates do not, as a rule, exhibit such thermodynamically unstable behavior near to or above their glass transition temperatures. Hence, the microstructures exhibited in these simulations are unlikely to reflect the actual microstructures or fracture behaviors of the glassy alloys they seek to elucidate.


title: A Density Functional Theory based study of Electron Transport Through Ferrocene Compounds with Different Anchor Groups in Different Adsorption Configurations of A STM-setup

abstract: In our theoretical study where we combine a nonequilibrium Green's function (NEGF) approach with density functional theory (DFT) we investigate compounds containing a ferrocene moiety which is connected to i) thiol anchor groups on both sides in a para-connection, ii) a pyridyl anchor group on one side in a meta-connection and a thiol group on the other side in a para-connection, in both cases with acetylenic spacers in between the Ferrocene and the anchors. We predict possible single molecule junction geometries within a scanning tunneling microscopy (STM) setup where we find that the conductance trend for the set of conformations are intriguing in the sense that the conductance does not decrease while the junction length increases which we analyze and explain in terms of Fermi level alignment. We also find a pattern for the current-voltage (IV) curves within the linear-response regime for both molecules we study, where the conductance variation with the molecular configurations is surprisingly small.


title: A numerical approach for the filtered generalized Cech complex

abstract: In this paper, we present an algorithm to compute the filtered generalized \v{C}ech complex for a finite collection of disks in the plane, which don't necessarily have the same radius. The key step behind the algorithm is to calculate the minimum scale factor needed to ensure rescaled disks have a nonempty intersection, through a numerical approach, whose convergence is guaranteed by a generalization of the well-known Vietoris-Rips Lemma, which we also prove in an alternative way, using elementary geometric arguments. We present two applications of our main results. We give an algorithm for computing the 2-dimensional filtered generalized \v{C}ech complex of a finite collection of $d$-dimensional disks in $\mathbb{R}^d$. In addition, we show how the algorithm yields the minimal enclosing ball for a finite set of points in the plane.


title: General coupled semirings of residuated lattices

abstract: Di Nola and Gerla showed that MV-algebras and coupled semirings are in a natural one-to-one correspondence. We generalize this correspondence to residuated lattices satisfying the double negation law.


title: Composer: Visual Cohort Analysis of Patient Outcomes

abstract: Objective: Visual cohort analysis utilizing electronic health record data has become an important tool in clinical assessment of patient outcomes. In this paper, we introduce Composer, a visual analysis tool for orthopedic surgeons to compare changes in physical functions of a patient cohort following various spinal procedures. The goal of our project is to help researchers analyze outcomes of procedures and facilitate informed decision-making about treatment options between patient and clinician. Methods: In collaboration with Orthopedic surgeons and researchers, we defined domain-specific user requirements to inform the design. We developed the tool in an iterative process with our collaborators to develop and refine functionality. With Composer, analysts can dynamically define a patient cohort using demographic information, clinical parameters, and events in patient medical histories and then analyze patient-reported outcome scores for the cohort over time, as well as compare it to other cohorts. Using Composer's current iteration, we provide a usage scenario for use of the tool in a clinical setting. Conclusion: We have developed a prototype cohort analysis tool to help clinicians assess patient treatment options by analyzing prior cases with similar characteristics. Though Composer was designed using patient data specific to Orthopedic research, we believe the tool is generalizable to other healthcare domains. A long term goal for Composer is to develop the application into a shared decision-making tool that allows translation of comparison and analysis from a clinician facing interface into visual representations to communicate treatment options to patients.


title: Ammonia Inversion Energy Levels using Operator Algebra

abstract: The inversion potential for the ammonia molecule is approximated by a quartic function. The Hamiltonian thereby contains only even powers of p and x and a representation in terms of ladder operators a and a^+ is suggested. The frequency variable omega occurring in the operators is introduced as a free parameter, with its value to be determined such as to optimize agreement with experimental results. Using known structural parameters of the ammonia molecule, the eigenvalues for a 10 by 10 truncation of the Hamiltonian matrix are computed. The splitting between the two lowest eigenvalues corresponds to the ammonia maser frequency, 24.87 GHz, this value being reproduced by the appropriate choice of omega.


title: Optimizing Bone Scaffold Porosity Distributions

abstract: We consider a simple one-dimensional time-dependent model for bone regeneration in the presence of a bio-resorbable polymer scaffold. Within the framework of the model, we optimize the effective mechanical stiffness of the polymer scaffold together with the regenerated bone matrix. The result of the optimization procedure is a scaffold porosity distribution which maximizes the stiffness of the scaffold-bone system over the regeneration time, such that the propensity for mechanical failure is reduced.


title: A programming guide for tensor networks with global $SU(2)$ symmetry

abstract: This paper is a manual with tips and tricks for programming tensor network algorithms with global $SU(2)$ symmetry. We focus on practical details that are many times overlooked when it comes to implementing the basic building blocks of codes, such as useful data structures to store the tensors, practical ways of manipulating them, and so forth. Here we do not restrict ourselves to any specific tensor network method, but keep always in mind that the implementation should scale well for simulations of higher-dimensional systems using, e.g., Projected Entangled Pair States, where tensors with many indices may show up. To this end, the structural tensors (or intertwiners) that arise in the usual decomposition of $SU(2)$-symmetric tensors are never explicitly stored throughout the simulation. Instead, we store and manipulate the corresponding fusion trees - an algebraic specification of the symmetry constraints on the tensor - in order to implement basic $SU(2)$-symmetric tensor operations.


title: Chiral Cherenkov and chiral transition radiation in anisotropic matter

abstract: A significant contribution to the electromagnetic radiation by a fast electric charge moving in anisotropic chiral matter arises from spontaneous photon radiation due to the chiral anomaly. While such a process, also known as the "vacuum Cherenkov radiation", is forbidden in the QED vacuum, it can occur in chiral matter, where it is more appropriate to call it the "chiral Cherenkov radiation". Its contribution to the radiation spectrum is of order $\alpha^2$ compared to $\alpha^3$ of the bremsstrahlung. I derive the frequency spectrum and the angular distribution of this radiation in the high energy limit. The quantum effects due to the hard photon emission and the fermion mass are taken into account. The obtained spectra are analyzed in the case the quark-gluon plasma and a Weyl semimetal.


title: Multi-bit quantum random number generator from a single qubit quantum walk

abstract: We present a scheme for multi-bit quantum random number generation using a single qubit discrete-time quantum walk in one-dimensional space. Irrespective of the initial state of the qubit, quantum interference and entanglement of particle with the position space in the walk dynamics certifies high randomness in the system. Quantum walk in a position space of dimension $2^l+1$ ensures string of $(l+ 2)$-bits of random numbers from a single measurement. Bit commitment with the position space and control over the spread of the probability distribution in position space enable us with options to extract multi-bit random numbers. This highlights the {\it power of one qubit} , its practical importance in generating multi-bit string in single measurement and the role it can play in quantum communication and cryptographic protocols. This can be further extended with quantum walks in higher dimensions.


title: Performance of Calorimetry in ALICE

abstract: The ALICE experiment at LHC studies the strong interaction sector of the Standard Model with pp, pA and AA collisions. Within the scope of the physics program, measurements of photons, neutral mesons and jets in ALICE are performed by two electromagnetic calorimeters. Precise and high-granularity photon spectrometer (PHOS) composed of lead-tungstate crystals, along with a wide-aperture lead-scintillator sampling calorimeter (EMCal) provide complementary measurements of photon observables in a wide kinematic range. The calorimeter trigger system allows the experiment to utilize efficiently the full delivered luminosity, recording a data sample enhanced with high-energy photons and jets. Performance of the ALICE calorimeters from proton-proton to heavy-ion collision systems is discussed and illustrated by physics results derived from data collected by ALICE with its electromagnetic calorimeter system.


title: Higher derivatives of the inverse tangent function and a summation formula involving binomial coefficients

abstract: In 2017, O. Deiser and C. Lasser obtained an explicit formula for the $n$-th derivative of the inverse tangent function. We calculate this derivative by a different method based on Fa\`a di Bruno's formula. Comparing the two results leads to the following identity for binomial coefficients: $$\sum_{i=m}^{[n/2]}\frac{(-1)^i}{4^i}\binom{i}{m}\binom{n-i}{i}=\frac{(-1)^m}{2^n}\binom{n+1}{2m+1},$$ where $n,m\in \mathbb{N}_0$ and $m\leq [n/2]$. As was pointed out to the author by C. Krattenthaler, this formula is a special case of Gau\ss's formula for the hypergeometric function $_2F_1$.


title: Tensor network representations from the geometry of entangled states

abstract: Tensor network states provide successful descriptions of strongly correlated quantum systems with applications ranging from condensed matter physics to cosmology. Any family of tensor network states possesses an underlying entanglement structure given by a graph of maximally entangled states along the edges that identify the indices of the tensors to be contracted. Recently, more general tensor networks have been considered, where the maximally entangled states on edges are replaced by multipartite entangled states on plaquettes. Both the structure of the underlying graph and the dimensionality of the entangled states influence the computational cost of contracting these networks. Using the geometrical properties of entangled states, we provide a method to construct tensor network representations with smaller effective bond dimension. We illustrate our method with the resonating valence bond state on the kagome lattice.


title: Asteroseismic age estimates of RGB stars in open clusters. A statistical investigation of different estimation methods

abstract: We performed a theoretical investigation focused on the age estimate of RGB stars in OCs based on mixed classical surface and asteroseismic parameters. We evaluated the performances of three widely adopted methods (pure geometrical fit, maximum likelihood approach, and a single stars fit) in recovering stellar parameters. Artificial OCs were generated by means of a Monte Carlo procedure for two different ages (7.5 and 9.0 Gyr) and two different choices of the number of stars in the RGB evolutionary phase (35 and 80). The geometrical approach overestimated the age by about 0.3 and 0.2 Gyr for true ages of 7.5 and 9.0 Gyr, respectively. The ML approach provided similar biases (0.1 and 0.2 Gyr) but with a variance reduced by a factor of between two and four with respect to geometrical fit. The independent fit of single stars showed a very large variance. The most important difference between geometrical and ML approaches was the robustness against observational errors. For the geometrical method, we found that estimations starting from the same sample but with different Gaussian perturbations on the observables had about 0.3 Gyr random variability from one Monte Carlo run to another (45% of the intrinsic variability due to observational errors). On the other hand, for the ML method, this value was about 65% and 90% of the simulations failed to include the true parameter values in their estimated 1 sigma credible interval. Finally, we compared the performance of the three fitting methods for single RGB-star age estimation. The variability owing to the choice of the fitting method was minor, being about 15% of the variability caused by observational uncertainties.


title: Spectroscopy of the Hubbard dimer: the spectral potential

abstract: The spectral potential is the dynamical generalization of the Kohn-Sham potential. It targets, in principle exactly, the spectral function in addition to the electronic density. Here we examine the spectral potential in one of the simplest solvable models exhibiting a non-trivial interplay between electron-electron interaction and inhomogeneity, namely the asymmetric Hubbard dimer. We discuss a general strategy to introduce approximations, which consists in calculating the spectral potential in the homogeneous limit (here represented by the symmetric Hubbard dimer) and importing it in the real inhomogeneous system through a suitable "connector". The comparison of different levels of approximation to the spectral potential with the exact solution of the asymmetric Hubbard dimer gives insights about the advantages and the difficulties of this connector strategy for applications in real materials.


title: Nonrelativistic Conformal Field Theories in the Large Charge Sector

abstract: We study Schr\"odinger invariant field theories (nonrelativistic conformal field theories) in the large charge (particle number) sector. We do so by constructing the effective field theory (EFT) for a Goldstone boson of the associated $U(1)$ symmetry in a harmonic potential. This EFT can be studied semi-classically in a large charge expansion. We calculate the dimensions of the lowest lying operators, as well as correlation functions of charged operators. We find universal behavior of three point function in large charge sector. We comment on potential applications to fermions at unitarity and critical anyon systems.

categories: hep-th cond-mat.other cond-mat.quant-gas cond-mat.str-el


title: Actions on products of CAT(-1) spaces

abstract: We show that for $X$ a proper $\mathrm{CAT}(-1)$ space there is a maximal open subset of the horofunction compactification of $X\times X$ with respect to the maximum metric that compactifies the diagonal action of an infinite quasi-convex group of the isometries of $X$. We also consider the product action of two quasi-convex representations of an infinite hyperbolic group on the product of two different proper $\mathrm{CAT}(-1)$ spaces.


title: Holonomic extended least angle regression

abstract: One of the main problems studied in statistics is the fitting of models. Ideally, we would like to explain a large dataset with as few parameters as possible. There have been numerous attempts at automatizing this process. Most notably, the Least Angle Regression algorithm, or LARS, is a computationally efficient algorithm that ranks the covariates of a linear model. The algorithm is further extended to a class of distributions in the generalized linear model by using properties of the manifold of exponential families as dually flat manifolds. However this extension assumes that the normalizing constant of the joint distribution of observations is easy to compute. This is often not the case, for example the normalizing constant may contain a complicated integral. We circumvent this issue if the normalizing constant satisfies a holonomic system, a system of linear partial differential equations with a finite-dimensional space of solutions. In this paper we present a modification of the holonomic gradient method and add it to the extended LARS algorithm. We call this the holonomic extended least angle regression algorithm, or HELARS. The algorithm was implemented using the statistical software R, and was tested with real and simulated datasets.


title: Distributive laws between the Three Graces

abstract: By the Three Graces we refer, following J.-L. Loday, to the algebraic operads Ass, Com, and Lie, each generated by a single binary operation; algebras over these operads are respectively associative, commutative associative, and Lie. We classify all distributive laws (in the categorical sense of Beck) between these three operads. Some of our results depend on the computer algebra system Maple, especially its packages LinearAlgebra and Groebner.


title: Estimating the Frequency Coupling Matrix from Network Measurements

abstract: Power converters are present in increasing numbers in the electric power grid. They are a major source of harmonic currents and voltages, which can reduce power quality and trip protection devices. The frequency coupling matrix (FCM) is a general technique for modeling converter harmonics. It can be obtained through experimental characterization or, given a converter's internal parameters, direct calculation. In this paper, we estimate FCMs from network measurements. We give a novel harmonic reduction theorem for computing equivalent, virtual FCMs for unobservable portions of a network. We estimate FCMs and harmonic line admittances from PMU measurements, and give an efficient online version for the FCM problem. We test our approaches on a numerical example, and show that the estimation error is low under noisy observations.


title: Towards Automated Factchecking: Developing an Annotation Schema and Benchmark for Consistent Automated Claim Detection

abstract: In an effort to assist factcheckers in the process of factchecking, we tackle the claim detection task, one of the necessary stages prior to determining the veracity of a claim. It consists of identifying the set of sentences, out of a long text, deemed capable of being factchecked. This paper is a collaborative work between Full Fact, an independent factchecking charity, and academic partners. Leveraging the expertise of professional factcheckers, we develop an annotation schema and a benchmark for automated claim detection that is more consistent across time, topics and annotators than previous approaches. Our annotation schema has been used to crowdsource the annotation of a dataset with sentences from UK political TV shows. We introduce an approach based on universal sentence representations to perform the classification, achieving an F1 score of 0.83, with over 5% relative improvement over the state-of-the-art methods ClaimBuster and ClaimRank. The system was deployed in production and received positive user feedback.


title: Hybrid Graphene-Plasmonic Gratings to Achieve Enhanced Nonlinear Effects at Terahertz Frequencies

abstract: High input intensities are usually required to efficiently excite optical nonlinear effects in ultrathin structures. This problem is particularly critical at terahertz (THz) frequencies because high input power THz sources are not available. The demonstration of enhanced nonlinear effects at THz frequencies is particularly important since these nonlinear mechanisms promise to play a significant role in the development and design of new reconfigurable planar THz nonlinear devices. In this work, we present a novel class of ultrathin nonlinear hybrid planar THz devices based on graphene-covered plasmonic gratings exhibiting very large nonlinear response. The robust localization and enhancement of the electric field along the graphene monolayer, combined with the large nonlinear conductivity of graphene, can lead to boosted third harmonic generation (THG) and four-wave mixing (FWM) nonlinear processes at THz frequencies. These interesting nonlinear effects exhibit very high nonlinear conversion efficiencies and are triggered by realistic input intensities with relative low values. In addition, the THG and FWM processes can be significantly tuned by the dimensions of the proposed hybrid structures, the doping level of graphene, or the input intensity values, whereas the nonlinear radiated power remains relatively insensitive to the incident angle of the excitation source. The presented nonlinear hybrid graphene-covered plasmonic gratings have a relative simple geometry and can be used to realize efficient third-order THz effects with a limited fabrication complexity. Several new nonlinear THz devices are envisioned based on the proposed hybrid nonlinear structures, such as frequency generators, all-optical signal processors, and wave mixers. These devices are expected to be useful for nonlinear THz spectroscopy, noninvasive THz subwavelength imaging, and THz communication applications.


title: Crossbar-Constrained Technology Mapping for ReRAM based In-Memory Computing

abstract: In recent times, Resistive RAMs (ReRAMs) have gained significant prominence due to their unique feature of supporting both non-volatile storage and logic capabilities. ReRAM is also reported to provide extremely low power consumption compared to the standard CMOS storage devices. As a result, researchers have explored the mapping and design of diverse applications, ranging from arithmetic to neuromorphic computing structures to ReRAM-based platforms. ReVAMP, a general-purpose ReRAM computing platform, has been proposed recently to leverage the parallelism exhibited in a crossbar structure. However, the technology mapping on ReVAMP remains an open challenge. Though the technology mapping with device/area-constraints have been proposed, crossbar constraints are not considered so far. In this work, we address this problem. Two technology mapping flows are proposed, considering different runtime-efficiency trade-offs. Both the mapping flows take crossbar constraints into account and generate feasible mapping for a variety of crossbar dimensions. Our proposed algorithms are highly scalable and reveal important design hints for ReRAM-based implementations.


title: Analysis of Irregular Spatial Data with Machine Learning: Classification of Building Patterns with a Graph Convolutional Neural Network

abstract: Machine learning methods such as convolutional neural networks (CNNs) are becoming an integral part of scientific research in many disciplines, spatial vector data often fail to be analyzed using these powerful learning methods because of its irregularities. With the aid of graph Fourier transform and convolution theorem, it is possible to convert the convolution as a point-wise product in Fourier domain and construct a learning architecture of CNN on graph for the analysis task of irregular spatial data. In this study, we used the classification task of building patterns as a case study to test this method, and experiments showed that this method has achieved outstanding results in identifying regular and irregular patterns, and has significantly improved in comparing with other methods.


title: Impact of Distributed Routing of Intelligent Vehicles on Urban Traffic

abstract: The impact of distributed dynamic routing with different market penetration rates (MPRs) of connected autonomous vehicles (CAVs) and congestion levels has been investigated on urban streets. Downtown Toronto network is studied in an agent-based traffic simulation. The higher the MPRs of CAVs--especially in the case of highly congested urban networks--the higher the average speed, the lower the mean travel time, and the higher the throughput.


title: Low rank methods for multiple network alignment

abstract: Multiple network alignment is the problem of identifying similar and related regions in a given set of networks. While there are a large number of effective techniques for pairwise problems with two networks that scale in terms of edges, these cannot be readily extended to align multiple networks as the computational complexity will tend to grow exponentially with the number of networks.In this paper we introduce a new multiple network alignment algorithm and framework that is effective at aligning thousands of networks with thousands of nodes. The key enabling technique of our algorithm is identifying an exact and easy to compute low-rank tensor structure inside of a principled heuristic procedure for pairwise network alignment called IsoRank. This can be combined with a new algorithm for $k$-dimensional matching problems on low-rank tensors to produce the alignment. We demonstrate results on synthetic and real-world problems that show our technique (i) is as good or better in terms of quality as existing methods, when they work on small problems, while running considerably faster and (ii) is able to scale to aligning a number of networks unreachable by current methods. We show in this paper that our method is the realistic choice for aligning multiple networks when no prior information is present.


title: Profiling lung cancer patients using electronic health records

abstract: If Electronic Health Records contain a large amount of information about the patients condition and response to treatment, which can potentially revolutionize the clinical practice, such information is seldom considered due to the complexity of its extraction and analysis. We here report on a first integration of an NLP framework for the analysis of clinical records of lung cancer patients making use of a telephone assistance service of a major Spanish hospital. We specifically show how some relevant data, about patient demographics and health condition, can be extracted; and how some relevant analyses can be performed, aimed at improving the usefulness of the service. We thus demonstrate that the use of EHR texts, and their integration inside a data analysis framework, is technically feasible and worth of further study.


title: Eventological H-theorem

abstract: We prove the eventological $H$-theorem that complements the Boltzmann H-theorem from statistical mechanics and serves as a mathematical excuse (mathematically no less convincing than the Boltzmann H-theorem for the second law of thermodynamics) for what can be called "the second law of eventology", which justifies the application of Gibbs and "anti-Gibbs" distributions of sets of events minimizing relative entropy, as statistical models of the behavior of a rational subject, striving for an equilibrium eventological choice between perception and activity in various spheres of her/his co-being.


title: A Local-Search Based Heuristic for the Unrestricted Block Relocation Problem

abstract: The unrestricted block relocation problem is an important optimization problem encountered at terminals, where containers are stored in stacks. It consists in determining the minimum number of container moves so as to empty the considered bay following a certain retrieval sequence. A container move can be either the retrieval of a container or the relocation of a certain container on top of a stack to another stack. The latter types of moves are necessary so as to provide access to containers which are currently not on top of a stack. They might also be useful to prepare future removals. In this paper, we propose the first local search type improvement heuristic for the block relocation problem. It relies on a clever definition of the state space which is explored by means of a dynamic programming algorithm so as to identify the locally optimal sequence of moves of a given container. Our results on large benchmark instance reveal unexpectedly high improvement potentials (up to 50%) compared to results obtained by state-of-the-art constructive heuristics.


title: Physical properties of spinel-type superconductors CuRh2S4 and CuRh2Se4: A DFT study

abstract: The structural, elastic, electronic, Vickers-Hardness, vibrational, Optical and thermodynamical properties of potentially technologically significant superconductors CuRh2S4 and CuRh2Se4 have calculated using density functional theory (DFT) with CASTEP code.The calculated lattice parameters and other properties have compared with available experimental values and found good agreement with them.The valence band and conduction bands overlapped each other at the Fermi level indicates the metallic conductivity of CuRh2S4 and CuRh2Se4. The density of states shows that S-3p and Se-4p states are more effective at the Fermi level.The charge density difference maps indicates the Cu-Rh bonds are stronger than Cu-S. The overall higher discussion notifies that the chemical bonding can be designated as an effective anisotropic connection between ionic, covalent and metallic interactions for CuRh2S4 and CuRh2Se4.The Vickers-Hardness indicates the soft material with comparing to Diamond and suitable to use wires and ribbon cables. The electron- and hole-like sheets make the complex multisheet Fermi surface of CuRh2S4. The different optical functions are also observed clearly.The absorption spectra indicate that CuRh2S4 is more suitable to use in solar cell rather than CuRh2Se4. The reflectivity spectrum shows that these compounds have the potential to be used a reflector material. Debye temperature indicates that CuRh2S4 and CuRh2Se4 should have advantages to use as a thermal barrier coating (TBC) material.The electron-phonon coupling constant indicates the phonon-mediated medium coupled BCS superconductors. The obtained potential results in present calculation could provide a significant movement for future studies.


title: A model of cortical cognitive function using hierarchical interactions of gating matrices in internal agents coding relational representations

abstract: Flexible cognition requires the ability to rapidly detect systematic functions of variables and guide future behavior based on predictions. The model described here proposes a potential framework for patterns of neural activity to detect systematic functions and relations between components of sensory input and apply them in a predictive manner. This model includes multiple internal gating agents that operate within the state space of neural activity, in analogy to external agents behaving in the external environment. The multiple internal gating agents represent patterns of neural activity that detect and gate patterns of matrix connectivity representing the relations between different neural populations. The patterns of gating matrix connectivity represent functions that can be used to predict future components of a series of sensory inputs or the relationship between different features of a static sensory stimulus. The model is applied to the prediction of dynamical trajectories, the internal relationship between features of different sensory stimuli and to the prediction of affine transformations that could be useful for solving cognitive tasks such as the Ravens progressive matrices task.


title: High-Temperature Structure Detection in Ferromagnets

abstract: This paper studies structure detection problems in high temperature ferromagnetic (positive interaction only) Ising models. The goal is to distinguish whether the underlying graph is empty, i.e., the model consists of independent Rademacher variables, versus the alternative that the underlying graph contains a subgraph of a certain structure. We give matching upper and lower minimax bounds under which testing this problem is possible/impossible respectively. Our results reveal that a key quantity called graph arboricity drives the testability of the problem. On the computational front, under a conjecture of the computational hardness of sparse principal component analysis, we prove that, unless the signal is strong enough, there are no polynomial time tests which are capable of testing this problem. In order to prove this result we exhibit a way to give sharp inequalities for the even moments of sums of i.i.d. Rademacher random variables which may be of independent interest.


title: Towards Exploiting Background Knowledge for Building Conversation Systems

abstract: Existing dialog datasets contain a sequence of utterances and responses without any explicit background knowledge associated with them. This has resulted in the development of models which treat conversation as a sequence-to-sequence generation task i.e, given a sequence of utterances generate the response sequence). This is not only an overly simplistic view of conversation but it is also emphatically different from the way humans converse by heavily relying on their background knowledge about the topic (as opposed to simply relying on the previous sequence of utterances). For example, it is common for humans to (involuntarily) produce utterances which are copied or suitably modified from background articles they have read about the topic. To facilitate the development of such natural conversation models which mimic the human process of conversing, we create a new dataset containing movie chats wherein each response is explicitly generated by copying and/or modifying sentences from unstructured background knowledge such as plots, comments and reviews about the movie. We establish baseline results on this dataset (90K utterances from 9K conversations) using three different models: (i) pure generation based models which ignore the background knowledge (ii) generation based models which learn to copy information from the background knowledge when required and (iii) span prediction based models which predict the appropriate response span in the background knowledge.


title: Parameter Identification of Constrained Data by a New Class of Rational Fractal Function

abstract: This paper sets a theoretical foundation for the applications of the fractal interpolation functions (FIFs). We construct rational cubic spline FIFs (RCSFIFs) with quadratic denominator involving two shape parameters. The elements of the iterated function system (IFS) in each subinterval are identified befittingly so that the graph of the resulting $\mathcal{C}^1$-RCSFIF lies within a prescribed rectangle. These parameters include, in particular, conditions on the positivity of the $\mathcal{C}^1$-RCSFIF. The problem of visualization of constrained data is also addressed when the data is lying above a straight line, the proposed fractal curve is required to lie on the same side of the line. We illustrate our interpolation scheme with some numerical examples


title: A Graphical Bayesian Game for Secure Sensor Activation in Internet of Battlefield Things

abstract: In this paper, the problem of secure sensor activation is studied for an Internet of Battlefield Things (IoBT) system in which an attacker compromises a set of the IoBT sensors for the purpose of eavesdropping and acquiring information about the battlefield. In the considered model, each IoBT sensor seeks to decide whether to transmit or not based on its utility. The utility of each sensor is expressed in terms of the redundancy of the data transmitted, the secrecy capacity and the energy consumed. Due to the limited communication range of the IoBT sensors and their uncertainty about the location of the eavesdroppers, the problem is formulated as a graphical Bayesian game in which the IoBT sensors are the players. Then, the utilities of the IoBT sensors are modified to take into account the effect of activating each sensor on the utilities of its neighbors, in order to achieve better system performance. The modified game is shown to be a Bayesian potential game, and a best response algorithm that is guaranteed to find a Nash equilibrium of the game is proposed. Simulation results show the tradeoff between the information transmitted by the IoBT sensors and the desired secrecy level. Simulation results also demonstrate the effectiveness of the proposed approach in reducing the energy consumed compared to the baseline in which all the IoBT sensors are activated. The reduction in energy consumption reaches up to 98% compared to the baseline, when the number of sensors is 5000.


title: Arianna+: Scalable Human Activity Recognition by Reasoning with a Network of Ontologies

abstract: Aging population ratios are rising significantly. Meanwhile, smart home based health monitoring services are evolving rapidly to become a viable alternative to traditional healthcare solutions. Such services can augment qualitative analyses done by gerontologists with quantitative data. Hence, the recognition of Activities of Daily Living (ADL) has become an active domain of research in recent times. For a system to perform human activity recognition in a real-world environment, multiple requirements exist, such as scalability, robustness, ability to deal with uncertainty (e.g., missing sensor data), to operate with multi-occupants and to take into account their privacy and security. This paper attempts to address the requirements of scalability and robustness, by describing a reasoning mechanism based on modular spatial and/or temporal context models as a network of ontologies. The reasoning mechanism has been implemented in a smart home system referred to as Arianna+. The paper presents and discusses a use case, and experiments are performed on a simulated dataset, to showcase Arianna+'s modularity feature, internal working, and computational performance. Results indicate scalability and robustness for human activity recognition processes.


title: On Rigidity of 3d Asymptotic Symmetry Algebras

abstract: We study rigidity and stability of infinite dimensional algebras which are not subject to the Hochschild-Serre factorization theorem. In particular, we consider algebras appearing as asymptotic symmetries of three dimensional spacetimes, the BMS3, u(1) Kac-Moody and Virasoro algebras. We construct and classify the family of algebras which appear as deformations of BMS3, u(1) Kac-Moody and their central extensions by direct computations and also by cohomological analysis. The Virasoro algebra appears as a specific member in this family of rigid algebras; for this case stabilization procedure is inverse of the In\"on\"u-Wigner contraction relating Virasoro to BMS3 algebra. We comment on the physical meaning of deformation and stabilization of these algebras and relevance of the family of rigid algebras we obtain


title: Dynamical evolution and stability maps of the Proxima Centauri system

abstract: Proxima Centauri was recently discovered to host an Earth-mass planet of Proxima b, and a 215-day signal which is probably a potential planet c. In this work, we investigate the dynamical evolution of the Proxima Centauri system with the full equations of motion and semi-analytical models including relativistic and tidal effects. We adopt the modified Lagrange-Laplace secular equations to study the evolution of eccentricity of Proxima b, and find that the outcomes are consistent with those from the numerical simulations. The simulations show that relativistic effects have an influence on the evolution of eccentricities of planetary orbits, whereas tidal effects primarily affects the eccentricity of Proxima b over long timescale. Moreover, using the MEGNO (the Mean Exponential Growth factor of Nearby Orbits) technique, we place dynamical constraints on orbital parameters that result in stable or quasi-periodic motions for coplanar and non-coplanar configurations. In the coplanar case, we find that the orbit of Proxima b is stable for the semi-major axis ranging from 0.02 au to 0.1 au and the eccentricity being less than 0.4. This is where the best-fitting parameters for Proxima b exactly fall. Additional simulations show that the robust stability of this system would favor an eccentricity of Proxima b less than 0.45 and that of Proxima c below 0.65. In the non-coplanar case, we find that mutual inclinations of two planets must be lower than $50^{\circ}$ in order to provide stability. Finally, we estimate the mass of Proxima c to be $3.13~{M_ \oplus } \le {m_c} \le 70.7~{M_ \oplus }$ when $1.27~{M_ \oplus } \le {m_b} \le 1.6~{M_ \oplus }$, if ${i_{mutual}} \le {50^{\circ}}$ and $\Delta \Omega = 0^{\circ}$.


title: Contact modelling and tactile data processing for robot skin

abstract: Tactile sensing is a key enabling technology to develop complex behaviours for robots interacting with humans or the environment. This paper discusses computational aspects playing a significant role when extracting information about contact events. Considering a large-scale, capacitance-based robot skin technology we developed in the past few years, we analyse the classical Boussinesq-Cerruti's solution and the Love's approach for solving a distributed inverse contact problem, both from a qualitative and a computational perspective. Our contribution is the characterisation of algorithms performance using a freely available dataset and data originating from surfaces provided with robot skin.


title: SPT-3G secondary mirror geometry

abstract: SPT-3G is a detector system for the 10m diameter South Pole Telescope, comprising 16,000 millimeter-wave bolometers. It is used for a deep Cosmic Microwave Background survey of the Southern sky. This paper describes the geometry of the secondary mirror, which is a section of a prolate spheroid, in several useful coordinate systems. There is application to off-axis mirrors in general. A geometric theorem is proven, relating to the Dragone condition: the intersection of a prolate spheroid and any plane is an ellipse; the lines connecting points on that ellipse to either focus compose a right circular cone; the central axes of the two cones from the two foci intersect outside the interior of the spheroid.


title: Convergence Analysis of the Grad's Hermite Approximation to the Boltzmann Equation

abstract: In (Commun Pure Appl Math 2(4):331-407, 1949), Grad proposed a Hermite series expansion for approximating solutions to kinetic equations that have an unbounded velocity space. However, for initial boundary value problems, poorly imposed boundary conditions lead to instabilities in Grad's Hermite expansion, which could result in non-converging solutions. For linear kinetic equations, a method for posing stable boundary conditions was recently proposed for (formally) arbitrary order Hermite approximations. In the present work, we study $L^2$-convergence of these stable Hermite approximations, and prove explicit convergence rates under suitable regularity assumptions on the exact solution. We confirm the presented convergence rates through numerical experiments involving the linearised-BGK equation of rarefied gas dynamics.


title: RKappa: Software for Analyzing Rule-Based Models

abstract: RKappa is a framework for the development, simulation and analysis of rule-base models within the mature statistically empowered R environment. It is designed for model editing, parameter identification, simulation, sensitivity analysis and visualisation. The framework is optimised for high-performance computing platforms and facilitates analysis of large-scale systems biology models where knowledge of exact mechanisms is limited and parameter values are uncertain. The RKappa software is an open source (GLP3 license) package for R, which is freely available online ( https://github.com/lptolik/R4Kappa ).


title: SERoCS: Safe and Efficient Robot Collaborative Systems for Next Generation Intelligent Industrial Co-Robots

abstract: Human-robot collaborations have been recognized as an essential component for future factories. It remains challenging to properly design the behavior of those co-robots. Those robots operate in dynamic uncertain environment with limited computation capacity. The design objective is to maximize their task efficiency while guaranteeing safety. This paper discusses a set of design principles of a safe and efficient robot collaboration system (SERoCS) for the next generation co-robots, which consists of robust cognition algorithms for environment monitoring, efficient task planning algorithms for reference generations, and safe motion planning and control algorithms for safe human-robot interactions. The proposed SERoCS will address the design challenges and significantly expand the skill sets of the co-robots to allow them to work safely and efficiently with their human counterparts. The development of SERoCS will create a significant advancement toward adoption of co-robots in various industries. The experiments validate the effectiveness of SERoCS.