title: SmartChoices: Hybridizing Programming and Machine Learning

abstract: We present SmartChoices, an approach to making machine learning (ML) a first class citizen in programming languages which we see as one way to lower the entrance cost to applying ML to problems in new domains. There is a growing divide in approaches to building systems: on the one hand, programming leverages human experts to define a system while on the other hand behavior is learned from data in machine learning. We propose to hybridize these two by providing a 3-call API which we expose through an object called SmartChoice. We describe the SmartChoices-interface, how it can be used in programming with minimal code changes, and demonstrate that it is an easy to use but still powerful tool by demonstrating improvements over not using ML at all on three algorithmic problems: binary search, QuickSort, and caches. In these three examples, we replace the commonly used heuristics with an ML model entirely encapsulated within a SmartChoice and thus requiring minimal code changes. As opposed to previous work applying ML to algorithmic problems, our proposed approach does not require to drop existing implementations but seamlessly integrates into the standard software development workflow and gives full control to the software developer over how ML methods are applied. Our implementation relies on standard Reinforcement Learning (RL) methods. To learn faster, we use the heuristic function, which they are replacing, as an initial function. We show how this initial function can be used to speed up and stabilize learning while providing a safety net that prevents performance to become substantially worse -- allowing for a safe deployment in critical applications in real life.


title: Explicit solutions of the kinetic and potential matching conditions of the energy shaping method

abstract: In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such systems, the matching conditions split into two decoupled subsets of equations: the kinetic and potential equations. First, assuming that a solution of the kinetic equation is given, we find integrability and positivity conditions for the potential equation (because positive-definite solutions are the interesting ones), and we find an explicit solution of the latter. Then, in the case of systems with one degree of underactuation, we find in addition a concrete formula for the general solution of the kinetic equation. An example is included to illustrate our results.


title: Polyline Simplification has Cubic Complexity

abstract: In the classic polyline simplification problem we want to replace a given polygonal curve $P$, consisting of $n$ vertices, by a subsequence $P'$ of $k$ vertices from $P$ such that the polygonal curves $P$ and $P'$ are as close as possible. Closeness is usually measured using the Hausdorff or Fr\'echet distance. These distance measures can be applied "globally", i.e., to the whole curves $P$ and $P'$, or "locally", i.e., to each simplified subcurve and the line segment that it was replaced with separately (and then taking the maximum). This gives rise to four problem variants: Global-Hausdorff (known to be NP-hard), Local-Hausdorff (in time $O(n^3)$), Global-Fr\'echet (in time $O(k n^5)$), and Local-Fr\'echet (in time $O(n^3)$). Our contribution is as follows. - Cubic time for all variants: For Global-Fr\'echet we design an algorithm running in time $O(n^3)$. This shows that all three problems (Local-Hausdorff, Local-Fr\'echet, and Global-Fr\'echet) can be solved in cubic time. All these algorithms work over a general metric space such as $(\mathbb{R}^d,L_p)$, but the hidden constant depends on $p$ and (linearly) on $d$. - Cubic conditional lower bound: We provide evidence that in high dimensions cubic time is essentially optimal for all three problems (Local-Hausdorff, Local-Fr\'echet, and Global-Fr\'echet). Specifically, improving the cubic time to $O(n^{3-\epsilon} \textrm{poly}(d))$ for polyline simplification over $(\mathbb{R}^d,L_p)$ for $p = 1$ would violate plausible conjectures. We obtain similar results for all $p \in [1,\infty), p \ne 2$. In total, in high dimensions and over general $L_p$-norms we resolve the complexity of polyline simplification with respect to Local-Hausdorff, Local-Fr\'echet, and Global-Fr\'echet, by providing new algorithms and conditional lower bounds.


title: A molecular equation of state for alcohols which includes steric hindrance in hydrogen bonding

abstract: In this paper we develop the first equation of state for alcohol containing mixtures which includes the effect of steric hindrance between the two electron lone pair hydrogen bond acceptor sites on the alcohol's hydroxyl oxygen. The theory is derived for multi-component mixtures within Wertheim's multi-density statistical mechanics in a second order perturbation theory. The accuracy of the new approach is demonstrated by application to pure methanol and ethanol and binary ethanol / water mixtures. It is demonstrated that the new approach gives a substantial improvement in the prediction of hydrogen bond structure of both pure alcohol and alcohol / water mixtures as compared to standard first order approaches.


title: Fine structure of $\mathrm{K}$-excitons in multilayers of transition metal dichalcogenides

abstract: Reflectance and magneto-reflectance experiments together with theoretical modelling based on the $\mathbf{k\cdot p}$ approach have been employed to study the evolution of direct bandgap excitons in MoS$_2$ layers with a thickness ranging from mono- to trilayer. The extra excitonic resonances observed in MoS$_2$ multilayers emerge as a result of the hybridization of Bloch states of each sub-layer due to the interlayer coupling. The properties of such excitons in bi- and trilayers are classified by the symmetry of corresponding crystals. The inter- and intralayer character of the reported excitonic resonances is fingerprinted with the magneto-optical measurements: the excitonic $g$-factors of opposite sign and of different amplitude are revealed for these two types of resonances. The parameters describing the strength of the spin-orbit interaction are estimated for bi- and trilayer MoS$_2$.


title: New bounds on the anti-Ramsey numbers of star graphs

abstract: The anti-Ramsey number $ar(G,H)$ with input graph $G$ and pattern graph $H$, is the maximum positive integer $k$ such that there exists an edge coloring of $G$ using $k$ colors, in which there are no rainbow subgraphs isomorphic to $H$ in $G$. ($H$ is rainbow if all its edges get distinct colors). The concept of anti-Ramsey number was introduced by Erd\"os, Simanovitz, and S\'os in 1973. Thereafter several researchers investigated this concept in the combinatorial setting. Recently, Feng et al. revisited the anti-Ramsey problem for the pattern graph $K_{1,t}$ (for $t \geq 3$) purely from an algorithmic point of view due to its applications in interference modeling of wireless networks. They posed it as an optimization problem, the maximum edge $q$-coloring problem. For a graph $G$ and an integer $q\geq 2$, an edge $q$-coloring of $G$ is an assignment of colors to edges of $G$, such that edges incident on a vertex span at most $q$ distinct colors. The maximum edge $q$-coloring problem seeks to maximize the number of colors in an edge $q$-coloring of the graph $G$. Note that the optimum value of the edge $q$-coloring problem of $G$ equals $ar(G,K_{1,q+1})$. In this paper, we study $ar(G,K_{1,t})$, the anti-Ramsey number of stars, for each fixed integer $t\geq 3$, both from combinatorial and algorithmic point of view. The first of our main results presents an upper bound for $ar(G,K_{1,q+1})$, in terms of number of vertices and the minimum degree of $G$. The second one improves this result for the case of triangle-free input graphs. For a positive integer $t$, let $H_t$ denote a subgraph of $G$ with maximum number of possible edges and maximum degree $t$. Our third main result presents an upper bound for $ar(G,K_{1,q+1})$ in terms of $|E(H_{q-1})|$. All our results have algorithmic consequences.


title: Strong Eigenstate Thermalization within a Generalized Shell in Noninteracting Integrable Systems

abstract: Integrable systems do not obey the strong eigenstate thermalization hypothesis (ETH), which has been proposed as a mechanism of thermalization in isolated quantum systems. It has been suggested that an integrable system reaches a steady state described by a generalized Gibbs ensemble (GGE) instead of thermal equilibrium. We prove that a generalized version of the strong ETH holds for noninteracting integrable systems with translation invariance. Our generalized ETH states that any pair of energy eigenstates with similar values of local conserved quantities looks similar with respect to local observables, such as local correlations. This result tells us that an integrable system relaxes to a GGE for any initial state that has subextensive fluctuations of macroscopic local conserved quantities. Contrary to the previous derivations of the GGE, it is not necessary to assume the cluster decomposition property for an initial state.


title: Topological defects in helical magnets

abstract: Helical magnets which violated space inversion symmetry have rather peculiar topological defects. In isotropic helical magnets with exchange and Dzyaloshinskii-Moriya interactions there are only three types of linear defects: $\pm\pi$ and $2\pi$-disclinations. Weak crystal anysotropy suppresses linear defects on large scale. Instead planar defects appear: domain walls that separate domains with different preferential directions of helical wave vectors. The appearance of such domain walls in the bulk helical magnets and some of their properties were predicted in the work \cite{Li 2012}. In a recent work by an international team of experimenters and theorists \cite{Schoenherr 2018} the existence of new types of domain walls on crystal faces of helical magnet FeGe was discovered. They have many features predicted by theory \cite{Li 2012}, but display also unexpected properties, one of them is the possibility of arbitrary angle between helical wave vectors. Depending on this angle the domain walls observed in \cite{Schoenherr 2018} can be divided in two classes: smooth and zig-zag. This article contains a mini-review of the existing theory and experiment. It also contains new results that explain why in a system with continuos orientation of helical wave vectors domain walls are possible. We discuss why and at what conditions smooth and zig-zag domain walls appear, analyze spin textures associated with helical domain walls and find the dependence of their width on angle between helical wave vectors.


title: The quantum and classical Fano parameter $q$

abstract: The Fano resonance has been a familiar and important feature in atomic and molecular physics for more than half a century. Typically, the combination of a discrete state with one or more continua results in an asymmetric peak in the ionization spectrum. The peak-shape, called the Fano profile, can be expressed by a simple formula derived by Fano in 1935. However, the interpretation of its characteristic parameter $q$, which represents the asymmetry of the peak in the formula, is not necessarily intuitively transparent. The Fano resonance is not necessarily a quantum effect, but it is a manifestation of a certain physical mechanism in various systems, both quantum and classical. Through the derivation of $q$ from the known classical pictures with the classical coupled oscillator, we interpret the $q$ value with a geometrical view. And further, we introduce a complex valued $q$ parameter for the description of the resonance with a damped oscillator.


title: Influence of edge magnetization and electric fields on zigzag silicene, germanene and stanene nanoribbons

abstract: Using a multi-orbital tight-binding model, we have studied the edge states of zigzag silicene, germanene, and stanene nanoribbons (ZSiNRs, ZGeNRs and ZSnNRs, respectively) in the presence of the Coulomb interaction and a vertical electric field. The resulting edge states have non-linear energy dispersions due to multi-orbital effects, and the nanoribbons show induced magnetization at the edges. Owing to this non-linear dispersion, ZSiNRs, ZGeNRs and ZSnNRs may not provide superior performance in field effect transistors, as has been proposed from single-orbital tight-binding model calculations. We propose an effective low-energy model that describes the edge states of ZSiNRs, ZGeNRs, and ZSnNRs. We demonstrate that the edge states of ZGeNR and ZSnNR show anti-crossing of bands with opposite spins, even if only out-of-plane edge magnetization is present. The ability to tune the spin polarizations of the edge states by applying an electric field points to future opportunities to fabricate silicene, germanene and stanene nanoribbons as spintronics devices.


title: Shape optimization for interior Neumann and transmission eigenvalues

abstract: Shape optimization problems for interior eigenvalues is a very challenging task since already the computation of interior eigenvalues for a given shape is far from trivial. For example, a concrete maximizer with respect to shapes of fixed area is theoretically established only for the first two non-trivial Neumann eigenvalues. The existence of such a maximizer for higher Neumann eigenvalues is still unknown. Hence, the problem should be addressed numerically. Better numerical results are achieved for the maximization of some Neumann eigenvalues using boundary integral equations for a simplified parametrization of the boundary in combination with a non-linear eigenvalue solver. Shape optimization for interior transmission eigenvalues is even more complicated since the corresponding transmission problem is non-self-adjoint and non-elliptic. For the first time numerical results are presented for the minimization of interior transmission eigenvalues for which no single theoretical result is yet available.


title: Strong Equivalence Principle and Gravitational Wave Polarizations in Horndeski Theory

abstract: The relative acceleration between two nearby particles moving along accelerated trajectories is studied, which generalizes the geodesic deviation equation. The polarization content of the gravitational wave in Horndeski theory is investigated by examining the relative acceleration between two self-gravitating particles. It is found out that the longitudinal polarization exists no matter whether the scalar field is massive or not. It would be still very difficult to detect the enhanced longitudinal polarization with the interferometer, as the violation of the strong equivalence principle of mirrors used by interferometers is extremely small. However, the pulsar timing array is promised to relatively easily detect the effect of the violation as neutron stars have large self-energy. The advantage of using this method to test the violation of the strong equivalence principle is that neutron stars are not required to be present in the binary systems.


title: Asymmetric wave transmission through one dimensional lattices with cubic-quintic nonlinearity

abstract: One dimensional lattice with an on-site cubic-quintic nonlinear response described by a cubic-quintic discrete nonlinear Schr\"odinger equation is tested for asymmetric wave propagation. The lattice is connected to linear side chains. Asymmetry is introduced by breaking the mirror symmetry of the lattice with respect to the center of the nonlinear region. Three cases corresponding to dimer, trimer and quadrimer are discussed with focus on the corresponding diode-like effect. Transmission coefficients are analytically calculated for left and right moving waves via backward transfer map. The different transmission coefficients for the left and right moving waves impinging the lattice give rise to a diode-like effect which is tested for different variations in asymmetry and site dependent coefficients. We show that there is a higher transmission for incoming waves with lower wavenumbers as compared to the waves with comparatively larger wavenumbers and a diode-like effect improves by increasing the nonlinear layers. We also show that in the context of transport through such lattices, the cooperation between cubic and quintic nonlinear response is not "additive". Finally, we numerically analyse Gaussian wave packet dynamics impinging on the CQDNLS lattice for all three cases.


title: The Atomic Density on the Thomas--Fermi Length Scale for the Chandrasekhar Hamiltonian

abstract: We consider a large neutral atom of atomic number $Z$, modeled by a pseudo-relativistic Hamiltonian of Chandrasekhar. We study its suitably rescaled one-particle ground state density on the Thomas--Fermi length scale $Z^{-1/3}$. Using an observation by Fefferman and Seco (1989), we find that the density on this scale converges to the minimizer of the Thomas--Fermi functional of hydrogen as $Z\to\infty$ when $Z/c$ is fixed to a value not exceeding $2/\pi$. This shows that the electron density on the Thomas--Fermi length scale does not exhibit any relativistic effects.


title: Redefinition of site percolation in light of entropy and the second law of thermodynamics

abstract: In this article, we revisit random site and bond percolation in square lattice focusing primarily on the behavior of entropy and order parameter. In the case of traditional site percolation, we find that both the quantities are zero at $p=0$ revealing that the system is in the perfectly ordered and in the disordered state at the same time. Moreover, we find that entropy with $1-p$, which is the equivalent counterpart of temperature, first increases and then decreases again but we know that entropy with temperature cannot decrease. However, bond percolation does not suffer from either of these two problems. To overcome this we propose a new definition for site percolation where we occupy sites to connect bonds and we measure cluster size by the number of bonds connected by occupied sites. This resolves all the problems without affecting any of the existing known results.


title: HST STIS UV Spectroscopic Observations of the Protoplanetary Nebula Hen3-1475

abstract: We present UV spectra of the protoplanetary nebula (pPN) Hen3-1475 obtained with the Space Telescope Imaging Spectrograph (STIS) on board the Hubble Space Telescope (HST). Our deep, low-dispersion spectroscopy enables monochromatic imaging of Hen3-1475 in UV nebular emission lines, the first of such attempt ever made for a pPN. The high spatial resolution of STIS imaging allows an unprecedentedly sharp view of the S-shaped jet, especially the inner NW1 knot, which is resolved into four components in the MgII 2800 line emission. Through critical comparison with HST optical narrowband images, we found a negative radial velocity gradient in NW1, from -1550 km/s on its innermost component to about -300 km/s on the outermost. Despite their high radial velocities, these components of NW1 mostly show no obvious (or very small) proper motions, indicating that they might be quasi-stationary shocks near the tip of the conical flow along the collimated jet of Hen3-1475.


title: Comparing Type Systems for Deadlock Freedom

abstract: Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also to never "get stuck". This intuitive requirement has been expressed by liveness properties such as progress or (dead)lock freedom and various type systems ensure these properties for concurrent processes. Unfortunately, very little is known about the precise relationship between these type systems and the classes of typed processes they induce. This paper puts forward the first comparative study of different type systems for message-passing processes that guarantee deadlock freedom. We compare two classes of deadlock-free typed processes, here denoted L and K. The class L stands out for its canonicity: it results from Curry-Howard interpretations of linear logic propositions as session types. The class K, obtained by encoding session types into Kobayashi's linear types with usages, includes processes not typable in other type systems. We show that L is strictly included in K, and identify the precise conditions under which they coincide. We also provide two type-preserving translations of processes in K into processes in L.


title: Light speed variation from gamma ray bursts: criteria for low energy photons

abstract: We examine a method to detect the light speed variation from gamma ray burst data observed by the Fermi Gamma-ray Space Telescope (FGST). We suggest new criteria to determine the characteristic time for low energy photons by the energy curve and the average energy curve, and obtain similar results compared with those from the light curve. We offer a new criterion with both the light curve and the average energy curve to determine the characteristic time for low energy photons. We then apply the new criteria to the GBM NaI data, the GBM BGO data, and the LAT LLE data, and obtain consistent results for three different sets of low energy photons from different FERMI detectors.


title: Open charm measurements in NA61/SHINE at CERN SPS

abstract: The measurements of open charm production was proposed as an important tool to investigate the properties of hot and dense matter formed in nucleus-nucleus collisions as well as to provide the means for model independent interpretation of the existing data on $\text{J}/\psi$ suppression. Recently, the experimental setup of the NA61/SHINE experiment was supplemented with a Vertex Detector which was motivated by the importance and the possibility of the first direct measurements of open charm meson production in heavy ion collisions at SPS energies. First test data taken in December 2016 on Pb+Pb collisions at 150$A$ GeV/$c$ allowed to validate the general concept of D$^0$ meson detection via its D$^0 \to \pi^+ + K^-$ decay channel and delivered a first indication of open charm production. The physics motivation of open charm measurements at SPS energies, pilot results on open charm production, and finally, the future plans of open charm measurements in the NA61/SHINE experiment after LS2 are presented.


title: Infinitely Generated virtually free pro-$p$ groups and $p$-adic representations

abstract: We prove the pro-$p$ version of the Karras, Pietrowski, Solitar, Cohen and Scott result stating that a virtually free group acts on a tree with finite vertex stabilizers. If a virtually free pro-$p$ group $G$ has finite centralizes of all non-trivial torsion elements more stronger statement is proved: $G$ embeds into a free pro-$p$ product of a free pro-$p$ group and finite $p$-group. The integral $p$-adic representation theory is used in the proof; it replaces the Stallings theory of ends in the pro-$p$ case.


title: Factorizations into idempotent factors of matrices over Pr\"ufer domains

abstract: A classical problem, that goes back to the 1960's, is to characterize the integral domains R satisfying the property (IDn): "every singular nxn matrix over R is a product of idempotent matrices". Significant results, which describe this property in the class of B\'ezout domain, motivated a natural conjecture, proposed by Salce and Zanardo in 2014: (C) "an integral domain R satisfying (ID2) is necessarily a B\'ezout domain". Unique factorization domains, projective-free domains and PRINC domains verify the conjecture. We prove that an integral domain R satisfying (ID2) must be a Pr\"ufer domain in which every invertible 2x2 matrix is a product of elementary matrices. Then we show that a large class of coordinate rings of plane curves and the ring of integer-valued polynomials Int(Z) verify an equivalent formulation of (C).


title: Many-body effects in (p,pN) reactions within a unified approach

abstract: We study knockout reactions with proton probes within a theoretical framework where {\it ab initio} Quantum Monte Carlo wave functions are combined with the Faddeev/Alt-Grassberger-Sandhas few-body reaction formalism. New Quantum Monte Carlo wave functions are used to describe $^{12}$C, yielding, for the first time, results consistent with the experimental point rms radii, electron scattering data and (p,2p) total cross sections data. Our results for $\mathrm{A}\leq 12$ and $(N-Z) \leq 3$ nuclei show that the theoretical ratios between the (i) {\it ab initio} and Mean Field Approximation theoretical cross sections, $\mathcal{R}_\sigma$, (ii) corresponding ratios between the spectroscopic factors, $\mathcal{R}_\Sigma$, summed over states below particle emission, depend moderately on the nucleon separation energy S$_{\rm N}$. These ratios are determined by a delicate interplay between the radii of the parent and the residual nuclei and the nucleon separation energy, and were found to be always smaller for the knockout of the more correlated deficient species nucleon. In the case of the symmetric $^{12}$C nucleus, the theoretical ratios still appear to indicate that protons are more correlated than neutrons.


title: Determination of spin Hall angle in heavy metal/CoFeB-based heterostructures with interfacial spin-orbit fields

abstract: Magnetization dynamics in W/CoFeB, CoFeB/Pt and W/CoFeB/Pt multilayers was investigated using spin-orbit-torque ferromagnetic resonance (SOT-FMR) technique. An analytical model based on magnetization dynamics due to SOT was used to fit heavy metal (HM) thickness dependence of symmetric and antisymmetric components of the SOT-FMR signal. The analysis resulted in a determination of the properties of HM layers, such as spin Hall angle and spin diffusion length. The spin Hall angle of -0.36 and 0.09 has been found in the W/CoFeB and CoFeB/Pt bilayers, respectively, which add up in the case of W/CoFeB/Pt trilayer. More importantly, we have determined effective interfacial spin-orbit fields at both W/CoFeB and CoFeB/Pt interfaces, which are shown to cancel Oersted field for particular thicknesses of the heavy metal layers, leading to pure spin-current-induced dynamics and indicating the possibility for a more efficient magnetization switching.


title: Recent results from the cosmic ray program of the NA61/SHINE experiment

abstract: NA61/SHINE is a fixed target experiment designed to study hadron-proton, hadron-nucleus and nucleus-nucleus interactions at the CERN Super-Proton-Synchrotron. In this paper we summarize the results from pion-carbon collisions recorded at beam momenta of 158 and 350 GeV/c. Hadron production measurements in this type of interactions is of fundamental importance for the understanding of the muon production in extensive air showers. In particular, production of (anti)baryons and $\rho^0$ are mechanisms responsible for increasing the number of muons which reaches the ground. The underestimation of the (anti)baryons or $\rho^0$ production rates in current hadronic interaction models could be one of the sources of the excess of muons observed by cosmic ray experiments. The results on the production spectra of $\pi^{\pm}$, K$^{\pm}$, p, $\bar{\text{p}}$, $\Lambda$, $\bar{\Lambda}$, K$^{0}_\text{S}$, $\rho^0$, $\omega$ and K$^{0*}$ are presented, as well as their comparison to predictions of hadronic interaction models currently used in air shower simulations.


title: Measurement of Hadronic Cross Sections at BESIII

abstract: The uncertainties of the Standard Model prediction of the anomalous magnetic moment of the muon are currently completely dominated by hadronic contributions. The largest contribution is due to the hadronic vacuum polarization. Hadronic cross sections measured at $e^+e^-$ colliders can be exploited as experimental input to improve the calculations, making use of the optical theorem. At the BESIII experiment in Beijing these cross sections are determined using different methods. At center-of-mass energies above 2 GeV exclusive and inclusive cross sections can be measured in an energy scan. Additionally, cross sections can be determined starting from the $\pi^+\pi^-$ mass threshold using the method of Initial State Radiation. An overview of the recent results and the status of the analyses is provided.


title: Fusion Hashing: A General Framework for Self-improvement of Hashing

abstract: Hashing has been widely used for efficient similarity search based on its query and storage efficiency. To obtain better precision, most studies focus on designing different objective functions with different constraints or penalty terms that consider neighborhood information. In this paper, in contrast to existing hashing methods, we propose a novel generalized framework called fusion hashing (FH) to improve the precision of existing hashing methods without adding new constraints or penalty terms. In the proposed FH, given an existing hashing method, we first execute it several times to get several different hash codes for a set of training samples. We then propose two novel fusion strategies that combine these different hash codes into one set of final hash codes. Based on the final hash codes, we learn a simple linear hash function for the samples that can significantly improve model precision. In general, the proposed FH can be adopted in existing hashing method and achieve more precise and stable performance compared to the original hashing method with little extra expenditure in terms of time and space. Extensive experiments were performed based on three benchmark datasets and the results demonstrate the superior performance of the proposed framework


title: Numerical investigation of evapotranspiration processes in a forested watershed of Central Siberia

abstract: Evapotranspiration has a major control on continental surfaces dynamics in forested boreal environments. For example, it has strong impacts on active layer thickness, mainly because of its effect on water content within the upper layers of the soil column. These are complex processes, depending not only on climate forcings (atmospheric water demand) but also on physical, geo-pedological and biological properties of the considered areas. Here we propose a numerical investigation of evapotranspiration processes in the active layer of slopes of a forested watershed in Central Siberia. The effect on actual evapotranspiration of the spatial contrasts in terms of exposure, root layer thickness and tree stand density within the watershed are simulated using a recently developed high performance computing cryohydrogeological model, permaFoam.


title: Frustrated plane-polarized dipoles in one dimension

abstract: We investigate the zero-temperature quantum phases of a quasi-one-dimensional zigzag chain of dipoles that are polarized in a plane by an external electric field. Since the Hamiltonian contains nearest-neighbor (NN) and next-nearest-neighbor (NNN) hopping and interaction terms, this model allows frustration which induces phases that can be interesting and unusual. By using the density matrix renormalization group (DMRG) algorithm, we produce a complex phase diagram. This is an extension of an earlier work by Wang et. al. [Phys. Rev. A 96, 043615 (2017)].


title: Real Time Monitoring of Social Media and Digital Press

abstract: Talaia is a platform for monitoring social media and digital press. A configurable crawler gathers content with respect to user defined domains or topics. Crawled data is processed by means of the EliXa Sentiment Analysis system. A Django powered interface provides data visualization for a user-based analysis of the data. This paper presents the architecture of the system and describes in detail its different components. To prove the validity of the approach, two real use cases are accounted for: one in the cultural domain and one in the political domain. Evaluation for the sentiment analysis task in both scenarios is also provided, showing the capacity for domain adaptation.


title: Neighborhood complexes, homotopy test graphs and a contribution to a conjecture of Hedetniemi

abstract: The neighborhood complex $\N(G)$ of a graph $G$ were introduced by L. Lov{\'a}sz in his proof of Kneser conjecture. He proved that for any graph $G$, \begin{align} \label{abstract} \chi(G) \geq conn(\N(G))+3. \end{align} In this article we show that for a class of exponential graphs the bound given in (\ref{abstract}) is sharp. Further, we show that the neighborhood complexes of these exponential graphs are spheres up to homotopy. We were also able to find a class of exponential graphs, which are homotopy test graphs. Hedetniemi's conjecture states that the chromatic number of the categorical product of two graphs is the minimum of the chromatic number of the factors. Let $M(G)$ denotes the Mycielskian of a graph $G$. We show that, for any graph $G$ containing $M(M(K_n))$ as a subgraph and for any graph $H$, if $\chi(G \times H) = n+1$, then $\min\{\chi(G), \chi(H)\} = n+1$. Therefore, we enrich the family of graphs satisfying the Hedetniemi's conjecture.


title: Rigidity for equivariant pseudo pretheories

abstract: We prove versions of the Suslin and Gabber rigidity theorems in the setting of equivariant pseudo pretheories of smooth schemes over a field with an action of a finite group. Examples include equivariant algebraic $K$-theory, presheaves with equivariant transfers, equivariant Suslin homology, and Bredon motivic cohomology.


title: Motion of water monomers reveals a kinetic barrier to ice nucleation on graphene

abstract: The interfacial behaviour of water remains a central question to fields as diverse as protein folding, friction and ice formation[1,2]. While the structural and dynamical properties of water at interfaces differ strongly from those in the bulk, major gaps in our knowledge at the molecular level still prevent us from understanding these ubiquitous chemical processes. Information concerning the microscopic motion of water comes mostly from computational simulation[3,4] but the dynamics of molecules, on the atomic scale, is largely unexplored by experiment. Here we present experimental results combined with ab initio calculations to provide a detailed insight into the behaviour of water monomers on a graphene surface. We show that motion occurs by activated hopping on the graphene lattice. The dynamics of water diffusion displays remarkably strong signatures of cooperative behaviour due to repulsive forces between the monomers. The repulsive forces enhance the monomer lifetime ($t_m \approx 3$ s at $T_S = 125$ K) in a $\textit{free-gas}$ phase that precedes the nucleation of ice islands and, in turn, provides the opportunity for our experiments to be performed. Our results give a unique molecular perspective of barriers to ice nucleation on material surfaces, providing new routes to understand and potentially control the more general process of ice formation.


title: Cascading Failure Mitigation via Transmission Switching

abstract: After decades of research, cascading blackouts remain one of the unresolved challenges in the bulk power system operations. A new perspective for measuring the susceptibility of the system to cascading failures is clearly needed. The newly developed concept of system stress metrics may be able to provide new insights into this problem. The method measures stress as susceptibility to cascading failures by analyzing the network structure and electrical properties. This paper investigates the effectiveness of transmission switching in reducing the risk of cascading failures, measured in system stress metrics. Based on line-outage distribution factors, an algorithm is developed to identify and test the switching candidates quickly. A case study analyzing different stress metrics on the IEEE 118-bus test system is presented. The results show that transmission switching identified by our proposed algorithm could be used in preventive as well as corrective mechanisms to reduce the system's susceptibility to cascading failures. Contrary to the conventional operation wisdom that switching lines out of service jeopardizes reliability, our results suggest the opposite; system operators can often use transmission switching, when the system is under stress, as a tool to reduce the risk of cascading failures.


title: Probing the Tavis-Cummings level splitting with intermediate-scale superconducting circuits

abstract: We demonstrate the local control of up to eight two-level systems interacting strongly with a microwave cavity. Following calibration, the frequency of each individual two-level system (qubit) is tunable without influencing the others. Bringing the qubits one by one on resonance with the cavity, we observe the collective coupling strength of the qubit ensemble. The splitting scales up with the square root of the number of the qubits, which is the hallmark of the Tavis-Cummings model. The local control circuitry causes a bypass shunting the resonator, and a Fano interference in the microwave readout, whose contribution can be calibrated away to recover the pure cavity spectrum. The simulator's attainable size of dressed states with up to five qubits is limited by reduced signal visibility, and -- if uncalibrated -- by off-resonance shifts of sub-components. Our work demonstrates control and readout of quantum coherent mesoscopic multi-qubit system of intermediate scale under conditions of noise.


title: Probing anomalous top-Higgs couplings at the HL-LHC via $H\to WW^{\ast}$ decay channels

abstract: We study the prospects of probing the anomalous $tHq$~($q= u, c$) couplings via SS2L or 3L signatures at the High Luminosity (HL-LHC) run of the 14 TeV CERN collider. We focus on signals of the $tH$ associated production followed by the decay modes $t\to b\ell^{+}\nu_{\ell}$ and $H\to WW^{\ast}$, and $t\bar{t}$ production followed by the decay modes $t\to b\ell^{+}\nu_{\ell}$ and $\bar{t}\to H(\to WW^{\ast})\bar{q}$, where $\ell=e, \mu$. Based on two types of $H\to WW^{\ast}$ decay topologies, one assuming the semileptonic decay mode $H\to WW^{\ast}\to \ell^{+}\nu jj $ and the other the fully leptonic decay mode $H\to WW^{\ast}\to \ell^{+}\nu \ell^{-}\bar{\nu}$, we perform a full simulation for signals and backgrounds. It is shown that, at the future HL-LHC, the branching ratio $Br(t\to uh)~(Br(t\to ch))$ can be probed to $1.17~(1.56)\times 10^{-3}$ for the same-sign di-lepton channel and to $7.1~\times 10^{-4}~(1.39~\times 10^{-3})$ for the 3L channel at $3\sigma$ sensitivity.


title: Measurement of meson transition form factors at BESIII

abstract: Meson transition form factors describe the coupling of photons and hadrons. They are an important input to the calculations of the light-by-light scattering contribution of the anomalous magnetic moment of the muon. At the BESIII experiment in Beijing, the transition form factors of pseudoscalar mesons are studied in their Dalitz decays, in their radiative production in $e^+e^-$ annihilation, and in their production in two-photon scattering. All relevant kinematic regimes are covered. An overview of the recent results and the status of the ongoing analyses is provided.


title: New homogeneous Einstein metrics on quaternionic Stiefel manifolds

abstract: We consider invariant Einstein metrics on the quaternionic Stiefel manifolds $V_p\mathbb{H} ^n$ of all orthonormal $p$-frames in $\mathbb{H}^n$. This manifold is diffeomorphic to the homogeneous space $\mathrm{Sp}(n) / \mathrm{Sp}(n-p)$ and its isotropy representation contains equivalent summands. We obtain new Einstein metrics on $V_p\mathbb{H}^n \cong \mathrm{Sp}(n)/\mathrm{Sp}(n-p)$, where $n = k_1 + k_2 + k_3$ and $p = n-k_3$. We view $V_p\mathbb{H}^n$ as a total space over the generalized Wallach space $\mathrm{Sp}(n) / (\mathrm{Sp}(k_1) \times \mathrm{Sp}(k_2) \times \mathrm{Sp}(k_3))$ and over the generalized flag manifold $\mathrm{Sp}(n) / (\mathrm{U}(p) \times \mathrm{Sp}(n-p))$.


title: Perfect Match: A Simple Method for Learning Representations For Counterfactual Inference With Neural Networks

abstract: Learning representations for counterfactual inference from observational data is of high practical relevance for many domains, such as healthcare, public policy and economics. Counterfactual inference enables one to answer "What if...?" questions, such as "What would be the outcome if we gave this patient treatment $t_1$?". However, current methods for training neural networks for counterfactual inference on observational data are either overly complex, limited to settings with only two available treatments, or both. Here, we present Perfect Match (PM), a method for training neural networks for counterfactual inference that is easy to implement, compatible with any architecture, does not add computational complexity or hyperparameters, and extends to any number of treatments. PM is based on the idea of augmenting samples within a minibatch with their propensity-matched nearest neighbours. Our experiments demonstrate that PM outperforms a number of more complex state-of-the-art methods in inferring counterfactual outcomes across several benchmarks, particularly in settings with many treatments.


title: On discreteness of subgroups of quaternionic hyperbolic isometries

abstract: Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski dense} if it does not fix a point on ${{\bf H}_{\mathbb H}}^n \cup \partial {{\bf H}_{\mathbb H}}^n$ and neither it preserves a totally geodesic subspace of ${{{\bf H}}_{\mathbb H}}^n$. We prove that a Zariski dense subgroup $G$ of ${\rm{ Sp}}(n,1)$ is discrete if for every loxodromic element $g \in G$ the two generator subgroup $\langle f, g f g^{-1} \rangle$ is discrete, where the generator $f \in {\rm{Sp}}(n,1)$ is certain fixed element not necessarily from $G$.


title: Rule extraction based on extreme learning machine and an improved ant-miner algorithm for transient stability assessment

abstract: In order to overcome the problems of poor understandability of the pattern recognition-based transient stability assessment (PRTSA) methods, a new rule extraction method based on extreme learning machine (ELM) and an improved Ant-miner (IAM) algorithm is presented in this paper. First, the basic principles of ELM and Ant-miner algorithm are respectively introduced. Then, based on the selected optimal feature subset, an example sample set is generated by the trained ELM-based PRTSA model. And finally, a set of classification rules are obtained by IAM algorithm to replace the original ELM network. The novelty of this proposal is that transient stability rules are extracted from an example sample set generated by the trained ELM-based transient stability assessment model by using IAM algorithm. The effectiveness of the proposed method is shown by the application results on the New England 39-bus power system and a practical power system - the southern power system of Hebei province.


title: Identifying Rumor Sources Using Dominant Eigenvalue of Nonbacktracking Matrix

abstract: We consider the problem of identifying rumor sources in a network, in which rumor spreading obeys a time-slotted susceptible-infected model. Unlike existing approaches, our proposed algorithm identifies as sources those nodes, which when set as sources, result in the smallest dominant eigenvalue of the corresponding reduced nonbacktracking matrix deduced from message passing equations. We also propose a reduced-complexity algorithm derived from the previous algorithm through a perturbation approximation. Numerical experiments on synthesized and real-world networks suggest that these proposed algorithms generally have higher accuracy compared with representative existing algorithms.


title: Attention-based Encoder-Decoder Networks for Spelling and Grammatical Error Correction

abstract: Automatic spelling and grammatical correction systems are one of the most widely used tools within natural language applications. In this thesis, we assume the task of error correction as a type of monolingual machine translation where the source sentence is potentially erroneous and the target sentence should be the corrected form of the input. Our main focus in this project is building neural network models for the task of error correction. In particular, we investigate sequence-to-sequence and attention-based models which have recently shown a higher performance than the state-of-the-art of many language processing problems. We demonstrate that neural machine translation models can be successfully applied to the task of error correction. While the experiments of this research are performed on an Arabic corpus, our methods in this thesis can be easily applied to any language.


title: Enhancing Geometric Deep Learning via Graph Filter Deconvolution

abstract: In this paper, we incorporate a graph filter deconvolution step into the classical geometric convolutional neural network pipeline. More precisely, under the assumption that the graph domain plays a role in the generation of the observed graph signals, we pre-process every signal by passing it through a sparse deconvolution operation governed by a pre-specified filter bank. This deconvolution operation is formulated as a group-sparse recovery problem, and convex relaxations that can be solved efficiently are put forth. The deconvolved signals are then fed into the geometric convolutional neural network, yielding better classification performance than their unprocessed counterparts. Numerical experiments showcase the effectiveness of the deconvolution step on classification tasks on both synthetic and real-world settings.


title: Hindi-English Code-Switching Speech Corpus

abstract: Code-switching refers to the usage of two languages within a sentence or discourse. It is a global phenomenon among multilingual communities and has emerged as an independent area of research. With the increasing demand for the code-switching automatic speech recognition (ASR) systems, the development of a code-switching speech corpus has become highly desirable. However, for training such systems, very limited code-switched resources are available as yet. In this work, we present our first efforts in building a code-switching ASR system in the Indian context. For that purpose, we have created a Hindi-English code-switching speech database. The database not only contains the speech utterances with code-switching properties but also covers the session and the speaker variations like pronunciation, accent, age, gender, etc. This database can be applied in several speech signal processing applications, such as code-switching ASR, language identification, language modeling, speech synthesis etc. This paper mainly presents an analysis of the statistics of the collected code-switching speech corpus. Later, the performance results for the ASR task have been reported for the created database.


title: Translating Navigation Instructions in Natural Language to a High-Level Plan for Behavioral Robot Navigation

abstract: We propose an end-to-end deep learning model for translating free-form natural language instructions to a high-level plan for behavioral robot navigation. We use attention models to connect information from both the user instructions and a topological representation of the environment. We evaluate our model's performance on a new dataset containing 10,050 pairs of navigation instructions. Our model significantly outperforms baseline approaches. Furthermore, our results suggest that it is possible to leverage the environment map as a relevant knowledge base to facilitate the translation of free-form navigational instruction.


title: Text Similarity in Vector Space Models: A Comparative Study

abstract: Automatic measurement of semantic text similarity is an important task in natural language processing. In this paper, we evaluate the performance of different vector space models to perform this task. We address the real-world problem of modeling patent-to-patent similarity and compare TFIDF (and related extensions), topic models (e.g., latent semantic indexing), and neural models (e.g., paragraph vectors). Contrary to expectations, the added computational cost of text embedding methods is justified only when: 1) the target text is condensed; and 2) the similarity comparison is trivial. Otherwise, TFIDF performs surprisingly well in other cases: in particular for longer and more technical texts or for making finer-grained distinctions between nearest neighbors. Unexpectedly, extensions to the TFIDF method, such as adding noun phrases or calculating term weights incrementally, were not helpful in our context.


title: Quantum transport in a compensated semimetal W2As3 with nontrivial Z2 indices

abstract: We report a topological semimetal W2As3 with a space group C2/m. Based on the first-principles calculations, band crossings are partially gapped when spin-orbit coupling is included. The Z2 indices at the electron filling are [1;111], characterizing a strong topological insulator and topological surface states. From the magnetotransport measurements, nearly quadratic field dependence of magnetoresistance (MR) (B || [200]) at 3 K indicates an electron-hole compensated compound whose longitudinal MR reaches 115 at 3 K and 15 T. In addition, multiband features are detected from the high-magnetic-field Shubnikov-de Haas (SdH) oscillation, Hall resistivity, and band calculations. A nontrivial pi Berry's phase is obtained, suggesting the topological feature of this material. A two- band model can fit well the conductivity and Hall coefficient. Our experiments manifest that the transport properties of W2As3 are in good agreement with the theoretical calculations.


title: Topologies on sets of polynomial knots and the homotopy types of the respective spaces

abstract: A polynomial knot in $\mathbb{R}^n$ is a smooth embedding of $\mathbb{R}$ in $\mathbb{R}^n$ such that the component functions are real polynomials. In the earlier paper with Mishra, we have studied the space $\mathcal{P}$ of polynomial knots in $\mathbb{R}^3$ with the inductive limit topology coming from the spaces $\mathcal{O}_d$ for $d\geq3$, where $\mathcal{O}_d$ is the space of polynomial knots in $\mathbb{R}^3$ with degree $d$ and having some conditions on the degrees of the component polynomials. In the same paper, we have proved that the space of polynomial knots in $\mathbb{R}^3$ has the same homotopy type as $S^2$. The homotopy type of the space is the mere consequence of the topology chosen. If we have another topology on $\mathcal{P}$, the homotopy type may change. With this in mind, we consider in general the set $\mathcal{L}^n$ of polynomial knots in $\mathbb{R}^n$ with various topologies on it and study the homotopy type of the respective spaces. Let $\mathcal{L}$ be the union of the sets $\mathcal{L}^n$ for $n\geq1$. We also explore the homotopy type of the space $\mathcal{L}$ with some natural topologies on it.


title: A new look at the double sine-Gordon kink-antikink scattering

abstract: We study the kink-antikink scattering within the double sine-Gordon model. In the numerical simulations we found a critical value $v_{cr}$ of the initial velocity $v_{in}$, which separates two different scenarios: at $v_{in}<v_{cr}$ the kinks capture each other and form a bound state, while at $v_{in}>v_{cr}$ the kinks pass through each other and escape to infinities. We obtain non-monotonous dependence of $v_{cr}$ on the model parameter $R$. Besides that, at some initial velocities below $v_{cr}$ we observe formation and interaction of the so-called oscillons (new phenomenon), as well as escape windows (well-known phenomenon).

categories: hep-th cond-mat.mtrl-sci math-ph math.MP nlin.PS


title: Wronging a Right: Generating Better Errors to Improve Grammatical Error Detection

abstract: Grammatical error correction, like other machine learning tasks, greatly benefits from large quantities of high quality training data, which is typically expensive to produce. While writing a program to automatically generate realistic grammatical errors would be difficult, one could learn the distribution of naturallyoccurring errors and attempt to introduce them into other datasets. Initial work on inducing errors in this way using statistical machine translation has shown promise; we investigate cheaply constructing synthetic samples, given a small corpus of human-annotated data, using an off-the-rack attentive sequence-to-sequence model and a straight-forward post-processing procedure. Our approach yields error-filled artificial data that helps a vanilla bi-directional LSTM to outperform the previous state of the art at grammatical error detection, and a previously introduced model to gain further improvements of over 5% $F_{0.5}$ score. When attempting to determine if a given sentence is synthetic, a human annotator at best achieves 39.39 $F_1$ score, indicating that our model generates mostly human-like instances.


title: Violation of the viscosity/entropy bound in translationally invariant non-Fermi liquids

abstract: The shear viscosity is an important characterization of how a many-body system behaves like a fluid. We study the shear viscosity in a strongly interacting solvable model, consisting of coupled Sachdev-Ye-Kitaev (SYK) islands. As temperature is lowered, the model exhibits a crossover from an incoherent metal with local criticality to a marginal fermi liquid. We find that while the ratio of shear viscosity to entropy density in the marginal Fermi liquid regime satisfies a Kovtun-Son-Starinets (KSS) like bound, it can strongly violate the KSS bound in a robust temperature range of the incoherent metal regime, implying a nearly perfect fluidity of the coupled local critical SYK model. Furthermore, this model also provides the first translationally invariant example violating the KSS bound with known gauge-gravity correspondence.


title: Automatic Data Expansion for Customer-care Spoken Language Understanding

abstract: Spoken language understanding (SLU) systems are widely used in handling of customer-care calls.A traditional SLU system consists of an acoustic model (AM) and a language model (LM) that areused to decode the utterance and a natural language understanding (NLU) model that predicts theintent. While AM can be shared across different domains, LM and NLU models need to be trainedspecifically for every new task. However, preparing enough data to train these models is prohibitivelyexpensive. In this paper, we introduce an efficient method to expand the limited in-domain data. Theprocess starts with training a preliminary NLU model based on logistic regression on the in-domaindata. Since the features are based onn= 1,2-grams, we can detect the most informative n-gramsfor each intent class. Using these n-grams, we find the samples in the out-of-domain corpus that1) contain the desired n-gram and/or 2) have similar intent label. The ones which meet the firstconstraint are used to train a new LM model and the ones that meet both constraints are used to train anew NLU model. Our results on two divergent experimental setups show that the proposed approachreduces by 30% the absolute classification error rate (CER) comparing to the preliminary modelsand it significantly outperforms the traditional data expansion algorithms such as the ones based onsemi-supervised learning, TF-IDF and embedding vectors.


title: NEXUS Network: Connecting the Preceding and the Following in Dialogue Generation

abstract: Sequence-to-Sequence (seq2seq) models have become overwhelmingly popular in building end-to-end trainable dialogue systems. Though highly efficient in learning the backbone of human-computer communications, they suffer from the problem of strongly favoring short generic responses. In this paper, we argue that a good response should smoothly connect both the preceding dialogue history and the following conversations. We strengthen this connection through mutual information maximization. To sidestep the non-differentiability of discrete natural language tokens, we introduce an auxiliary continuous code space and map such code space to a learnable prior distribution for generation purpose. Experiments on two dialogue datasets validate the effectiveness of our model, where the generated responses are closely related to the dialogue context and lead to more interactive conversations.


title: Influence of Confinement on Flow and Lubrication Properties of a Salt Model Ionic Liquid Investigated with Molecular Dynamics

abstract: We present a molecular dynamics study of the effects of confinement on the lubrication and flow properties of ionic liquids. We use a coarse-grained salt model description of ionic liquid as a lubricant confined between finite solid plates and subjected to two dynamic regimes: shear and cyclic loading. The impact of confinement on the ion arrangement and mechanical response of the system has been studied in detail and compared to static and bulk properties. The results have revealed that the wall slip has a profound influence on the force built--up as a response to mechanical deformation and that at the same time in the dynamic regime interaction with the walls represents a principal driving force governing the behavior of ionic liquid in the gap. We also observe a transition from a dense liquid to an ordered and potentially solidified state of the ionic liquid taking place under variable normal loads and under shear.


title: Gravitationally bound axions and how one can discover them

abstract: As recently advocated in \cite{Fischer:2018niu}, there is a fundamentally new mechanism for the axion production in the Sun and Earth. However, the role of very slow axions in previous studies were neglected because of its negligible contribution to the total axion production by this new mechanism. In the present work we specifically focus on analysis of the non-relativistic axions which will be trapped by the Sun and Earth due to the gravitational forces. The corresponding emission rate of these low energy axions (below the escape velocity) is very tiny. However, these axions will be accumulated by the Sun and Earth during their life-times, i.e. 4.5 billion of years, which greatly enhances the discovery potential. The computations are based on the so-called Axion Quark Nugget (AQN) Dark Matter Model. This model was originally invented as a natural explanation of the observed ratio $\Omega_{\rm dark} \sim \Omega_{\rm visible}$ when the DM and visible matter densities assume the same order of magnitude values, irrespectively to the axion mass $m_a$ or initial misalignment angle $\theta_0$.This model, without adjustment of any parameters, gives a very reasonable intensity of the extreme UV (EUV) radiation from the solar corona as a result of the AQN annihilation events with the solar material. This extra energy released in corona represents a resolution, within AQN framework, a long standing puzzle known in the literature as the "solar corona heating mystery". The same annihilation events also produce the axions. The flux of these axions is unambiguously fixed in this model and expressed in terms of the EUV luminosity from solar corona. We make few comments on the potential discovery of these gravitationally bound axions.


title: Multiscale finite element calculations in Python using SfePy

abstract: SfePy (Simple finite elements in Python) is a software for solving various kinds of problems described by partial differential equations in one, two or three spatial dimensions by the finite element method. Its source code is mostly (85\%) Python and relies on fast vectorized operations provided by the NumPy package. For a particular problem two interfaces can be used: a declarative application programming interface (API), where problem description/definition files (Python modules) are used to define a calculation, and an imperative API, that can be used for interactive commands, or in scripts and libraries. After outlining the SfePy package development, the paper introduces its implementation, structure and general features. The components for defining a partial differential equation are described using an example of a simple heat conduction problem. Specifically, the declarative API of SfePy is presented in the example. To illustrate one of SfePy's main assets, the framework for implementing complex multiscale models based on the theory of homogenization, an example of a two-scale piezoelastic model is presented, showing both the mathematical description of the problem and the corresponding code.


title: Supersymmetric $AdS_6$ black holes from matter coupled $F(4)$ gauged supergravity

abstract: In matter coupled $F(4)$ gauged supergravity in six dimensions, we study supersymmetric $AdS_6$ black holes with various horizon geometries. We find new $AdS_2\,\times\,\Sigma_{\mathfrak{g}_1}\times\Sigma_{\mathfrak{g}_2}$ horizons with $\mathfrak{g}_1>1$ and $\mathfrak{g}_2>1$, and present the black hole solution numerically. The full black hole is an interpolating geometry between the asymptotically $AdS_6$ boundary and the $AdS_2\,\times\,\Sigma_{\mathfrak{g}_1}\times\Sigma_{\mathfrak{g}_2}$ horizon. We also find black holes with horizons of K\"ahler four-cycles in Calabi-Yau fourfolds and Cayley four-cycles in $Spin(7)$ manifolds.


title: Strong instability of standing waves for a system NLS with quadratic interaction

abstract: We study the strong instability of standing waves for a system of nonlinear Schr\"odinger equations with quadratic interaction under the mass resonance condition in dimension $d=5$.


title: On the Cauchy problem for integro-differential equations with space-dependent operators in generalized H\"{o}lder classes

abstract: Parabolic integro-differential Kolmogorov equations with different space-dependent operators are considered in H\"{o}lder-type spaces defined by a scalable L\'{e}vy measure. Probabilistic representations are used to prove continuity of the operator. Existence and uniqueness of the solution are established and some regularity estimates are obtained.


title: A nonparametric approach to assess undergraduate performance

abstract: Nonparametric methodologies are proposed to assess college students' performance. Emphasis is given to gender and sector of High School. The application concerns the University of Campinas, a research university in Southeast Brazil. In Brazil college is based on a somewhat rigid set of subjects for each major. Thence a student's relative performance can not be accurately measured by the Grade Point Average or by any other single measure. We then define individual vectors of course grades. These vectors are used in pairwise comparisons of common subject grades for individuals that entered college in the same year. The relative college performances of any two students is compared to their relative performances on the Entrance Exam Score. A test based on generalized U-statistics is developed for homogeneity of some predefined groups. Asymptotic normality of the test statistic is true for both null and alternative hypotheses. Maximum power is attained by employing the union intersection principle.


title: Direct optimization of F-measure for retrieval-based personal question answering

abstract: Recent advances in spoken language technologies and the introduction of many customer facing products, have given rise to a wide customer reliance on smart personal assistants for many of their daily tasks. In this paper, we present a system to reduce users' cognitive load by extending personal assistants with long-term personal memory where users can store and retrieve by voice, arbitrary pieces of information. The problem is framed as a neural retrieval based question answering system where answers are selected from previously stored user memories. We propose to directly optimize the end-to-end retrieval performance, measured by the F1-score, using reinforcement learning, leading to better performance on our experimental test set(s).


title: Extremal properties of the multivariate extended skew-normal distribution

abstract: The skew-normal and related families are flexible and asymmetric parametric models suitable for modelling a diverse range of systems. We show that the multivariate maximum of a high-dimensional extended skew-normal random sample has asymptotically independent components and derive the speed of convergence of the joint tail. To describe the possible dependence among the components of the multivariate maximum, we show that under appropriate conditions an approximate multivariate extreme-value distribution that leads to a rich dependence structure can be derived.


title: Learning Robust, Transferable Sentence Representations for Text Classification

abstract: Despite deep recurrent neural networks (RNNs) demonstrate strong performance in text classification, training RNN models are often expensive and requires an extensive collection of annotated data which may not be available. To overcome the data limitation issue, existing approaches leverage either pre-trained word embedding or sentence representation to lift the burden of training RNNs from scratch. In this paper, we show that jointly learning sentence representations from multiple text classification tasks and combining them with pre-trained word-level and sentence level encoders result in robust sentence representations that are useful for transfer learning. Extensive experiments and analyses using a wide range of transfer and linguistic tasks endorse the effectiveness of our approach.


title: Real-time Adaptive Optics with pyramid wavefront sensors: A theoretical analysis of the pyramid sensor model

abstract: We consider the mathematical background of the wavefront sensor type that is widely used in Adaptive Optics systems for astronomy, microscopy, and ophthalmology. The theoretical analysis of the pyramid sensor forward operators presented in this paper is aimed at a subsequent development of fast and stable algorithms for wavefront reconstruction from data of this sensor type. In our analysis we allow the sensor to be utilized in both the modulated and non-modulated fashion. We derive detailed mathematical models for the pyramid sensor and the physically simpler roof wavefront sensor as well as their various approximations. Additionally, we calculate adjoint operators which build preliminaries for the application of several iterative mathematical approaches for solving inverse problems such as gradient based algorithms, Landweber iteration or Kaczmarz methods.


title: On a physical description and origin of the cosmological constant

abstract: In this paper we use and extend the results present in \cite{1,2,3,4} and in particular in \cite{4} to obtain a statistical description of the cosmological constant in a cosmological de Sitter universe in terms of massless excitations with Planckian effects. First of all, we show that at a classical level, the cosmological constant $\Lambda>0$ can be obtained only for $T\rightarrow 0$. Similarly to the black hole case, when quantum effects are taken into account, a representation for $\Lambda$ is possible in terms of massless excitations, provided that quantum corrections to the Misner-Sharp mass are considered. Moreover, thanks to quantum fluctuations, an effective cosmological constant arises depending on the physical scale under consideration, thus representing a possible solution to the cosmological constant problem without introducing a quintessence field. The smalness of the actual value for $\Lambda$ can be due to the existence of a quantum decoherence scale above the Planck length such that the spacetime evolves as a pure de Sitter universe with a small averaged cosmological constant frozen in the lowest energy state.


title: There is no operatorwise version of the Bishop-Phelps-Bollob\'as property

abstract: Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bishop-Phelps-Bollob\'as property in which the operator is not changed is possible only if one of the involved Banach spaces is one-dimensional.


title: A belief combination rule for a large number of sources

abstract: The theory of belief functions is widely used for data from multiple sources. Different evidence combination rules have been proposed in this framework according to the properties of the sources to combine. However, most of these combination rules are not efficient when there are a large number of sources. This is due to either the complexity or the existence of an absorbing element such as the total conflict mass function for the conjunctive based rules when applied on unreliable evidence. In this paper, based on the assumption that the majority of sources are reliable, a combination rule for a large number of sources is proposed using a simple idea: the more common ideas the sources share, the more reliable these sources are supposed to be. This rule is adaptable for aggregating a large number of sources which may not all be reliable. It will keep the spirit of the conjunctive rule to reinforce the belief on the focal elements with which the sources are in agreement. The mass on the emptyset will be kept as an indicator of the conflict. The proposed rule, called LNS-CR (Conjunctive combinationRule for a Large Number of Sources), is evaluated on synthetic mass functions. The experimental results verify that the rule can be effectively used to combine a large number of mass functions and to elicit the major opinion.


title: Controlling propagation of spatial coherence for enhanced imaging through scattering media

abstract: It is known that a spatially partially coherent light field produces better imaging contrast compared to a spatially coherent field and that the contrast increases as the spatial coherence length of the field becomes smaller. The transverse spatial coherence length of most spatially partially coherent fields increases upon propagation. As a result, the field produces progressively decreasing image quality at subsequent transverse planes. By controlling the propagation of spatial coherence, we demonstrate enhanced image quality at different transverse planes along the propagation direction through a scattering medium. Using a source with propagation-invariant spatial coherence function, we report experimental observations of imaging different transverse planes with equal contrast over a significant distance. Furthermore, we generate a spatially partially coherent source that can be tailored to have minimum-possible transverse coherence area at the plane of the object to be imaged, and using this source, we demonstrate imaging spatially separated transverse planes with maximum possible image contrast.


title: Role of time scales and topology on the dynamics of complex networks

abstract: The interplay between time scales and structural properties of complex networks of nonlinear oscillators can generate many interesting phenomena, like amplitude death, cluster synchronization, frequency synchronization etc. We study the emergence of such phenomena and their transitions by considering a complex network of dynamical systems in which a fraction of systems evolves on a slower time scale on the network. We report the transition to amplitude death for the whole network and the scaling near the transitions as the connectivity pattern changes. We also discuss the suppression and recovery of oscillations and the cross over behavior as the number of slow systems increases. By considering a scale free network of systems with multiple time scales, we study the role of heterogeneity in link structure on dynamical properties and the consequent critical behaviors. In this case with hubs made slow, our main results are the escape time statistics for loss of complete synchrony as the slowness spreads on the network and the self-organization of the whole network to a new frequency synchronized state. Our results have potential applications in biological, physical, and engineering networks consisting of heterogeneous oscillators.


title: A Virtual Element Method for transversely isotropic elasticity

abstract: This work studies the approximation of plane problems concerning transversely isotropic elasticity, using a low-order Virtual Element Method (VEM), with a focus on near-incompressibility and near-inextensibility. Additionally, both homogeneous problems, in which the plane of isotropy is fixed; and non-homogeneous problems, in which the fibre direction defining the isotropy plane varies with position, are explored. In the latter case various options are considered for approximating the non-homogeneous fibre directions at element level. Through a range of numerical examples the VEM approximations are shown to be robust and locking-free for several element geometries and for fibre directions that correspond to mild and strong non-homogeneity.


title: Part-Level Convolutional Neural Networks for Pedestrian Detection Using Saliency and Boundary Box Alignment

abstract: Pedestrians in videos have a wide range of appearances such as body poses, occlusions, and complex backgrounds, and there exists the proposal shift problem in pedestrian detection that causes the loss of body parts such as head and legs. To address it, we propose part-level convolutional neural networks (CNN) for pedestrian detection using saliency and boundary box alignment in this paper. The proposed network consists of two sub-networks: detection and alignment. We use saliency in the detection sub-network to remove false positives such as lamp posts and trees. We adopt bounding box alignment on detection proposals in the alignment sub-network to address the proposal shift problem. First, we combine FCN and CAM to extract deep features for pedestrian detection. Then, we perform part-level CNN to recall the lost body parts. Experimental results on various datasets demonstrate that the proposed method remarkably improves accuracy in pedestrian detection and outperforms existing state-of-the-arts in terms of log average miss rate at false position per image (FPPI).


title: Investigation of magneto-optical properties of ferrofluids by laser light scattering techniques

abstract: Investigation of magnetooptical characteristics of ferrofluids is an important task aimed at the development of novel optoelectronic systems. This article reports on the results obtained in the experimental studies of the factors that affect the intensity and spatial distribution of the laser radiation scattered by magnetic particles and their agglomerates in a magnetic field. Laser correlation spectroscopy and direct measurements of laser radiation scattering for studies of the interactions and magnetooptical properties of magnetic particles in solutions were employed. The objects were samples of nanodispersed magnetite (Fe3O4) suspended in kerosene and in water. Our studies revealed some new behavior of magnetic particles in external magnetic and light fields, which make ferrofluids promising candidates for optical devices.


title: Dynamics of Frenkel excitons in pentacene

abstract: The dispersion relation for noninteracting excitons and the influence of perturbative correction is examined in the case of pentacene structure. The values of exchange integrals are determined by the nonlinear fits to the experimental dispersion data obtained by inelastic electron scattering in Phys. Rev. Lett. \textbf{98}, 037402 (2007). We obtain theoretical dispersion curves along four different directions in the Brillouin zone which possess the same periodicity as the experimental data. We also showed that perturbative corrections are negligible since the exciton gap in dispersion relation is huge in comparison to exchange integrals.


title: Determination of the local structure of Sr$_{2-x}$M$_x$IrO$_4$ (M = K, La) as a function of doping and temperature

abstract: The local structure of correlated spin-orbit insulator Sr$_{2-x}$M$_x$IrO$_4$ (M = K, La) has been investigated by Ir L$_3$-edge extended x-ray absorption fine structure measurements. The measurements were performed as a function of temperature for different dopings induced by substitution of Sr with La or K. It is found that Ir-O bonds have strong covalency and they hardly show any change across the N\'eel temperature. In the studied doping range, neither Ir-O bonds nor their dynamics, measured by their mean square relative displacements, show any appreciable change upon carrier doping, indicating possibility of a nanoscale phase separation in the doped system. On the other hand, there is a large increase of the static disorder in Ir-Sr correlation, larger for K doping than La doping. Similarities and differences with respect to the local lattice displacements in cuprates are briefly discussed.


title: Rare event simulation for stochastic dynamics in continuous time

abstract: Large deviations for additive path functionals of stochastic dynamics and related numerical approaches have attracted significant recent research interest. We focus on the question of convergence properties for cloning algorithms in continuous time, and establish connections to the literature of particle filters and sequential Monte Carlo methods. This enables us to derive rigorous convergence bounds for cloning algorithms which we report in this paper, with details of proofs given in a further publication. The tilted generator characterizing the large deviation rate function can be associated to non-linear processes which give rise to several representations of the dynamics and additional freedom for associated numerical approximations. We discuss these choices in detail, and combine insights from the filtering literature and cloning algorithms to compare different approaches and improve efficiency.


title: Counterfactually Fair Prediction Using Multiple Causal Models

abstract: In this paper we study the problem of making predictions using multiple structural casual models defined by different agents, under the constraint that the prediction satisfies the criterion of counterfactual fairness. Relying on the frameworks of causality, fairness and opinion pooling, we build upon and extend previous work focusing on the qualitative aggregation of causal Bayesian networks and causal models. In order to complement previous qualitative results, we devise a method based on Monte Carlo simulations. This method enables a decision-maker to aggregate the outputs of the causal models provided by different experts while guaranteeing the counterfactual fairness of the result. We demonstrate our approach on a simple, yet illustrative, toy case study.


title: Phase transitions and thermodynamic properties of antiferromagnetic Ising model with next-nearest-neighbor interactions on the Kagome lattice

abstract: We study phase transitions and thermodynamic properties in the two-dimensional antiferromagnetic Ising model with next-nearest-neighbor interaction on a Kagome lattice by Monte Carlo simulations. A histogram data analysis shows that a second order transition occurs in the model. From the analysis of obtained data, we can assume that next-nearest-neighbor ferromagnetic interactions in two-dimensional antiferromagnetic Ising model on a Kagome lattice excite the occurrence of a second order transition and unusual behavior of thermodynamic properties on the temperature dependence.


title: Random Finite Set Theory and Centralized Control of Large Collaborative Swarms

abstract: Controlling large swarms of robotic agents presents many challenges including, but not limited to, computational complexity due to a large number of agents, uncertainty in the functionality of each agent in the swarm, and uncertainty in the swarm's configuration. This work generalizes the swarm state using Random Finite Set (RFS) theory and solves a centralized control problem with a Quasi-Newton optimization through the use of Model Predictive Control (MPC) to overcome the aforementioned challenges. This work uses the RFS formulation to control the distribution of agents assuming an unknown or unspecified number of agents. Computationally efficient solutions are also obtained via the MPC version of the Iterative Linear Quadratic Regulator (ILQR), a variant of Differential Dynamic Programming (DDP). Information divergence is used to define the distance between the swarm RFS and the desired swarm configuration through the use of the modified $L_2^2$ distance. Simulation results using MPC and ILQR show that the swarm intensity converges to the desired intensity. Additionally, the RFS control formulation is shown to be very flexible in terms of the number of agents in the swarm and configuration of the desired Gaussian mixtures. Lastly, the ILQR and the Gaussian Mixture Probability Hypothesis Density filter are used in conjunction to solve a spacecraft relative motion problem with imperfect information to show the viability of centralized RFS control for this real-world scenario.


title: Data-driven Discovery of Cyber-Physical Systems

abstract: Cyber-physical systems (CPSs) embed software into the physical world. They appear in a wide range of applications such as smart grids, robotics, intelligent manufacture and medical monitoring. CPSs have proved resistant to modeling due to their intrinsic complexity arising from the combination of physical components and cyber components and the interaction between them. This study proposes a general framework for reverse engineering CPSs directly from data. The method involves the identification of physical systems as well as the inference of transition logic. It has been applied successfully to a number of real-world examples ranging from mechanical and electrical systems to medical applications. The novel framework seeks to enable researchers to make predictions concerning the trajectory of CPSs based on the discovered model. Such information has been proven essential for the assessment of the performance of CPS, the design of failure-proof CPS and the creation of design guidelines for new CPSs.


title: An operational approach to quantum stochastic thermodynamics

abstract: We set up a framework for quantum stochastic thermodynamics based solely on experimentally controllable, but otherwise arbitrary interventions at discrete times. Using standard assumptions about the system-bath dynamics and insights from the repeated interaction framework, we define internal energy, heat, work and entropy at the trajectory level. The validity of the first law (at the trajectory level) and the second law (on average) is established. The theory naturally allows to treat incomplete information and it is able to smoothly interpolate between a trajectory based and ensemble level description. We use our theory to compute the thermodynamic efficiency of recent experiments reporting on the stabilization of photon number states using real-time quantum feedback control. Special attention is also payed to limiting cases of our general theory, where we recover or contrast it with previous results. We point out various interesting problems, which the theory is able to address rigorously, such as the detection of quantum effects in thermodynamics.


title: Constraining New Muonic Interactions Meditated by Axion-Like-Particles

abstract: ALPs (Axion Like Particle) beyond the standard model are solutions to several important problems of modern physics. One way to detect these particles is to detect the new interactions they meditate. Many experiments have been performed to search for these new interactions in ranges from $\sim\mu$m to astrophysical range. At present, nearly all known experiments searching for the ALP-meditated long range new interactions use sources or probes containing protons, neutrons and electrons. Constraints for other fermions such as muons are scarce, though muons might be the most suspicious particles which could take part in new interactions, considering their involvement of several well known puzzles of modern physics. In this work, we discuss the possibility of explaining the anomalous magnetic moment of muons by the long range muonic new interactions mediated by ALPs. We also give a constraint for the scalar-pseudo-scalar(SP) type interaction meditated by muonic ALPs. We propose to further search the muonic SP type interaction by muon spin rotation experiments.


title: Well-posedness and Stability for Interconnection Structures of Port-Hamiltonian Type

abstract: We consider networks of infinite-dimensional port-Hamiltonian systems $\mathfrak{S}_i$ on one-dimensional spatial domains. These subsystems of port-Hamiltonian type are interconnected via boundary control and observation and are allowed to be of distinct port-Hamiltonian orders $N_i \in \mathbb{N}$. Wellposedness and stability results for port-Hamiltonian systems of fixed order $N \in \mathbb{N}$ are thereby generalised to networks of such. The abstract theory is applied to some particular model examples.


title: Effect Of Site Selective Ion Channel Blocking on Action Potential

abstract: In this work we have theoretically investigated how the action potential generation and its associated intrinsic properties are affected in presence of ion channel blockers by adapting Gillepie's stochastic simulation technique on a very basic neuron of Hodgkin-Huxley type. With a simple extension of the Hodgkin-Huxley Markov model we have mainly investigated three types of drug blocking mechanisms and showed that the major experimental and physiological observations such as ionic currents, spiking frequency trends, change in action potential shape and duration, altered gating dynamics etc due to the presence of ion channel blockers can be well reproduced. The nature of action potential termination process in presence of sodium and potassium channel blockers are distinct and physiologically very different from each other. Channel blockers have distinct signatures on ionic currents. In presence of only sodium channel blockers the frequency of action potential generation falls off exponentially with increasing drug affinity, whereas in contrast, for only potassium channel blockers initially an enhanced spiking activity of action potential is found followed by a gradual decrease of the spiking frequency as the drug affinity increases. In case of dual type blockers with equal sodium and potassium channel binding affinity, the spiking frequency passes through maxima and minima due to the competition between channel number fluctuation and overall sodium and potassium conductances. We have found that sodium channel blockers shorten the duration of action potential while the potassium channel blockers delay it. We have also shown how the ion channel blockers alter the gating dynamics. Some experimental results of ion channel blocking in diverse systems have been validated through our site selected binding scheme.


title: Temperature-dependent local structure of superconducting BaPd$_2$As$_2$ and SrPd$_2$As$_2$

abstract: The local structures of 122-type paradium arsenides, namely BaPd$_2$As$_2$ and SrPd$_2$As$_2$, are examined by As K-edge extended x-ray absorption fine structure measurements to find a possible correlation between the variation of their superconducting transition temperature and the local structure. The local atomic distances are found to be consistent with average distances measured by diffraction techniques. The temperature dependence of mean square relative displacements reveal that, while BaPd$_2$As$_2$ is characterized by a local As-Pd soft mode, albeit with larger atomic disorder, SrPd$_2$As$_2$ shows anomalous As-Pd correlations with a kink at $\sim$160 K due to hardening by raising temperature. We have discussed implications of these results and possible mechanism of differing superconducting transition temperature in relation with the structural instability.


title: Crecimiento y expansion en SL_2

abstract: This is a short introduction (in Spanish) to the study of growth in finite groups, with SL_2 as an example. Emphasis is put on developments of the decade 2005--2015, originating partly in combinatorics. Little algebraic-geometrical background is assumed, but the proofs are nevertheless presented in a relatively abstract and generalizable way.


title: Detection of polarized gamma-ray emission from the Crab nebula with Hitomi Soft Gamma-ray Detector

abstract: We present the results from the Hitomi Soft Gamma-ray Detector (SGD) observation of the Crab nebula. The main part of SGD is a Compton camera, which in addition to being a spectrometer, is capable of measuring polarization of gamma-ray photons. The Crab nebula is one of the brightest X-ray / gamma-ray sources on the sky, and, the only source from which polarized X-ray photons have been detected. SGD observed the Crab nebula during the initial test observation phase of Hitomi. We performed the data analysis of the SGD observation, the SGD background estimation and the SGD Monte Carlo simulations, and, successfully detected polarized gamma-ray emission from the Crab nebula with only about 5 ks exposure time. The obtained polarization fraction of the phase-integrated Crab emission (sum of pulsar and nebula emissions) is (22.1 $\pm$ 10.6)% and, the polarization angle is 110.7$^o$ + 13.2 / $-$13.0$^o$ in the energy range of 60--160 keV (The errors correspond to the 1 sigma deviation). The confidence level of the polarization detection was 99.3%. The polarization angle measured by SGD is about one sigma deviation with the projected spin axis of the pulsar, 124.0$^o$ $\pm$0.1$^o$.


title: On the existence of O'Nan configurations in Buekenhout unitals in PG(2,q^2)

abstract: In this paper, we establish the existence of O'Nan configurations in all nonclassical ovoidal Buekenhout-Metz unitals in $\text{PG}(2,q^2)$.


title: Designing Volumetric Truss Structures

abstract: We present the first algorithm for designing volumetric Michell Trusses. Our method uses a parametrization approach to generate trusses made of structural elements aligned with the primary direction of an object's stress field. Such trusses exhibit high strength-to-weight ratios. We demonstrate the structural robustness of our designs via a posteriori physical simulation. We believe our algorithm serves as an important complement to existing structural optimization tools and as a novel standalone design tool itself.


title: Affine quantisation of the Brans-Dicke theory: Smooth bouncing and the equivalence between the Einstein and Jordan frames

abstract: In this work, we present a complete analysis of the quantisation of the classical Brans-Dicke Theory using the method of affine quantisation in the Hamiltonian description of the theory. The affine quantisation method is based on the symmetry of the phase-space of the system, in this case the (positive) half-plane, that is identified with the affine group. We consider a FLRW-type spacetime, and since the scale factor is always positive, the affine method seems to be more suited than the canonincal quantisation for our Quantum Cosmology. We find the wave function of the Brans-Dicke universe, and its energy spectrum. A smooth bounce is expected at the semi-classical level in the quantum phase-space portrait. We also adress the problem of equivalence between the Jordan and Einstein frames.


title: Temperature spectra of interstellar dust grains heated by cosmic-rays II: dark cloud cores

abstract: Cosmic-ray (CR) induced heating of whole interstellar grains is an important desorption mechanism for grain surface molecules in interstellar molecular clouds. This study aims to provide a detailed temperature spectra for such CR-induced heating. For this, olivine grains with radius of 0.05, 0.1 and 0.2 microns shielded by interstellar gas with isotropic column densities characteristic to dark cores were considered. The accumulation of an ice mantle of increasing thickness was taken into account. The CR energy spectra was obtained for these column densities for 32 cosmic-ray constituents. We calculated the frequencies with which a CR nucleus with a known energy hits a grain, depositing a certain amount of energy. As a result, we obtain the energy and temperature spectra for grains affected by CR hits. This allows to improve the existing approaches on CR-induced whole-grain heating in astrochemical modeling.


title: TOP: Time-to-Event Bayesian Optimal Phase II Trial Design for Cancer Immunotherapy

abstract: Immunotherapies have revolutionized cancer treatment. Unlike chemotherapies, immune agents often take longer time to show benefit, and the complex and unique mechanism of action of these agents renders the use of multiple endpoints more appropriate in some trials. These new features of immunotherapy make conventional phase II trial designs, which assume a single binary endpoint that is quickly ascertainable, inefficient and dysfunctional. We propose a flexible and efficient time-to-event Bayesian optimal phase II (TOP) design. The TOP design is efficient in that it allows real-time "go/no-go" interim decision making in the presence of late-onset responses by using all available data, and maximizes the statistical power for detecting effective treatments. TOP is flexible in the number of interim looks and capable of handling simple and complicated endpoints under a unified framework. We conduct simulation studies to evaluate the operating characteristics of the TOP design.Compared to some existing designs, the TOP design shortens the trial duration and has higher power to detect effective treatment with well controlled type I errors. The TOP design allows for making real-time "go/no-go" interim decisions in the presence of late-onset responses, and is capable of handling various types of endpoints under a unified framework. It is transparent and easy to implement as its decision rules can be tabulated and included in the protocol prior to the conduct of the trial. The TOP design provides a flexible, efficient and easy-to-implement method to accelerate and improve the development of immunotherapies.


title: Stellar systems in the direction of Pegasus I - I. Low surface brightness galaxies

abstract: To enlarge the sample of known low-surface brightness (LSB) galaxies and to try to provide clues about their nature, we report the detection of eight of this type of objects ($\mu_{{eff}, g'} \simeq 27$ mag arcsec$^{-2}$) towards the group of galaxies Pegasus I. They are located in the very center of Pegasus I, close to the dominant elliptical galaxies NGC7619 and NGC7626. Assuming that these galaxies are at the distance of Pegasus I, we have found that their sizes are intermediate among similar objects reported in the literature. In particular, we found that three of these galaxies can be classified as ultra-diffuse galaxies and a fourth one displays a nucleus. The eight new LSB galaxies show a significant color dispersion around the extrapolation towards faint luminosities of the color-magnitude relation defined by typical early-type galaxies. In addition, they display values of the S\'ersic index below 1, in agreement with values obtained for LSB galaxies in other environments. We also show that there seems to be a bias effect in the size distributions of the detected LSBs in different environments, in the sense that more distant groups/clusters lack small $r_{eff}$ objects, while large systems are not found in the Local Group and nearby environments. While there may be an actual shortage of large LSB galaxies in low-density environments like the Local Group, the non-detection of small (and faint) systems at large distances is clearly a selection effect. As an example, LSB galaxies with similar sizes to those of the satellites of Andromeda in the Local Group, will be certainly missed in a visual identification at the distance of Pegasus I.


title: The Steklov and Laplacian spectra of Riemannian manifolds with boundary

abstract: Given two compact Riemannian manifolds with boundary $M_1$ and $M_2$ such that their respective boundaries $\Sigma_1$ and $\Sigma_2$ admit neighborhoods $\Omega_1$ and $\Omega_2$ which are isometric, we prove the existence of a constant $C$, which depends only on the geometry of $\Omega_1\cong\Omega_2$, such that $|\sigma_k(M_1)-\sigma_k(M_2)|\leq C$ for each $k\in\mathbb{N}$. This follows from a quantitative relationship between the Steklov eigenvalues $\sigma_k$ of a compact Riemannian manifold $M$ and the eigenvalues $\lambda_k$ of the Laplacian on its boundary. Our main result states that the difference $|\sigma_k-\sqrt{\lambda_k}|$ is bounded above by a constant which depends on the geometry of $M$ only in a neighborhood of its boundary. The proofs are based on a Pohozaev identity and on comparison geometry for principal curvatures of parallel hypersurfaces. In several situations, the constant $C$ is given explicitly in terms of bounds on the geometry of $\Omega_1\cong\Omega_2$.


title: 2D solutions of the hyperbolic discrete nonlinear Schr\"odinger equation

abstract: We derive stationary solutions to the two-dimensional hyperbolic discrete nonlinear Schr\"odinger (HDNLS) equation by starting from the anti-continuum limit and extending solutions to include nearest-neighbor interactions in the coupling parameter. We use pseudo-arclength continuation to capture the relevant branches of solutions and explore their corresponding stability and dynamical properties (i.e., their fate when unstable). We focus on nine primary types of solutions: single site, double site in- and out-of-phase, squares with four sites in-phase and out-of phase in each of the vertical and horizontal directions, four sites out-of-phase arranged in a line horizontally, and two additional solutions having respectively six and eight nonzero sites. The chosen configurations are found to merge into four distinct bifurcation events. We unveil the nature of the bifurcation phenomena and identify the critical points associated with these states and also explore the consequences of the termination of the branches on the dynamical phenomenology of the model.