title: Resolving the induction problem: Can we state with complete confidence via induction that the sun rises forever?

abstract: Induction is a form of reasoning that moves from a particular example to a general rule. However, establishing the truth of a general proposition is problematic because it is always possible that a conflicting observation will occur. This is known as the induction problem. The sunrise problem, first introduced by Laplace (1814), is a quintessential example of the induction problem. However, in his solution, a zero probability is always assigned to the general proposition that the sun will rise forever, regardless of the number of observations made. This is a problem of induction: the acceptance of a general proposition can never be attained via induction. In this paper, we study why this happens and show how scientific theory enables us to overcome such a difficulty. A likelihood-based epistemology is proposed, which allows a resolution in agreement with the evidence by providing a new updating rule not the Bayes rule. The study shows that through induction, one can rationally accept a general proposition.


title: Long-range asymptotics of exchange energy in the hydrogen molecule

abstract: The exchange energy, i.e. the splitting $\Delta E$ between gerade and ungerade states in the hydrogen molecule has proven very difficult in numerical calculation at large internuclear distances $R$, while known results are sparse and highly inaccurate. On the other hand, there are conflicting analytical results in the literature concerning its asymptotics. In this work we develop a flexible and efficient numerical approach using explicitly correlated exponential functions and demonstrate highly accurate exchange energies for internuclear distances as large as 57.5 au. This approach may find further applications in calculations of inter-atomic interactions. In particular, our results support the asymptotics form $\Delta E \sim R^{5/2}e^{-2R}$, but with the leading coefficient being $2\,\sigma$ away from the analytically derived value.


title: Character Polynomials and the Restriction Problem

abstract: Character polynomials are used to study the restriction of a polynomial representation of a general linear group to its subgroup of permutation matrices. A simple formula is obtained for computing inner products of class functions given by character polynomials. Character polynomials for symmetric and alternating tensors are computed using generating functions with Eulerian factorizations. These are used to compute character polynomials for Weyl modules, which exhibit a duality. By taking inner products of character polynomials for Weyl modules and character polynomials for Specht modules, stable restriction coefficients are easily computed. Generating functions of dimensions of symmetric group invariants in Weyl modules are obtained. Partitions with two rows, two columns, and hook partitions whose Weyl modules have non-zero vectors invariant under the symmetric group are characterized. A reformulation of the restriction problem in terms of a restriction functor from the category of strict polynomial functors to the category of finitely generated FI-modules is obtained.


title: Isomorphism Problem Revisited: Information Spectrum Approach

abstract: The isomorphism problem in the ergodic theory is revisited from the perspective of information spectrum approach, an approach that has been developed to investigate coding problems for non-ergodic random processes in information theory. It is proved that the information spectrum is invariant under isomorphisms. This result together with an analysis of information spectrum provide a conceptually simple proof of the result by \v{S}ujan, which claims that the entropy spectrum is invariant under isomorphisms. It is also discussed under what circumstances the same information spectrum implies the existence of an isomorphism.


title: Approximation smooth and sparse functions by deep neural networks without saturation

abstract: Constructing neural networks for function approximation is a classical and longstanding topic in approximation theory. In this paper, we aim at constructing deep neural networks (deep nets for short) with three hidden layers to approximate smooth and sparse functions. In particular, we prove that the constructed deep nets can reach the optimal approximation rate in approximating both smooth and sparse functions with controllable magnitude of free parameters. Since the saturation that describes the bottleneck of approximate is an insurmountable problem of constructive neural networks, we also prove that deepening the neural network with only one more hidden layer can avoid the saturation. The obtained results underlie advantages of deep nets and provide theoretical explanations for deep learning.


title: A convection-diffusion problem with a small variable diffusion coefficient

abstract: Consider a singularly perturbed convection-diffusion problem with small, variable diffusion. Based on certain a priori estimates for the solution we prove robustness of a finite element method on a Duran-Shishkin mesh.


title: Re-evaluating efficiency of first-order numerical schemes for two-layer shallow water systems by considering different eigenvalue solutions

abstract: The efficiency of several first-order numerical schemes for two-layer shallow water equations are evaluated in this paper by considering different eigenvalue solutions. Specifically, the accuracy and computational cost of numerical, analytical, and approximated eigenvalue solvers are analysed when implemented in Roe, Intermediate Field CaPturing (IFCP) and Polynomial Viscosity Matrix (PVM) schemes. Several numerical tests are performed to examine the overall efficiency of numerical schemes with different eigenvalue solvers when computing two-layer shallow-water flows. The results show that analytical solutions are much faster than numerical solvers, with a computational cost closer to approximate expressions. Consequently, Roe schemes with analytical solutions to the eigenstructure are much faster, with overall efficiency equal to IFCP scheme. On the other hand, IFCP and PVM schemes with analytical solutions to eigenvalues are found to be equally efficient as those with approximated expressions. Analytical eigenvalues show slightly better results when dealing with a larger density difference between the layers.


title: Impact of Spatial Multiplexing on the Throughput of Ultra-Dense mmWave AP Networks

abstract: The operating range of a single millimeter wave (mmWave) access point (AP) is small due to the high path loss and blockage issues of the frequency band. To achieve the coverage similar to conventional sub-6GHz networks, the ultra-dense deployments of APs are required by the mmWave network. In general, the mmWave APs can be categorized into backhaul-connected APs and relay APs. Though the spatial distribution of backhaul-connected APs can be captured by the Poison point process (PPP), the desired locations of relay APs depend on the transmission protocol operated in the mmWave network. In this paper, we consider modeling the topology of mmWave AP network by incorporating the multihop protocol. We first derive the topology of AP network with the spatial multiplexing disabled for each transmission hop. Then we analyze the topology when the spatial multiplexing is enabled at the mmWave APs. To derive the network throughput, we first quantify the improvement in latency and the degradation of coverage probability with the increase of spatial multiplexing gain at mmWave APs. Then we show the impact of spatial multiplexing on the throughput for the ultra-dense mmWave AP network.


title: A Bayesian Filter for Multi-view 3D Multi-object Tracking with Occlusion Handling

abstract: This paper proposes an online multi-camera multi-object tracker that only requires monocular detector training, independent of the multi-camera configurations, allowing seamless extension/deletion of cameras without retraining effort. The proposed algorithm has a linear complexity in the total number of detections across the cameras, and hence scales gracefully with the number of cameras. It operates in the 3D world frame, and provides 3D trajectory estimates of the objects. The key innovation is a high fidelity yet tractable 3D occlusion model, amenable to optimal Bayesian multi-view multi-object filtering, which seamlessly integrates, into a single Bayesian recursion, the sub-tasks of track management, state estimation, clutter rejection, and occlusion/misdetection handling. The proposed algorithm is evaluated on the latest WILDTRACKS dataset, and demonstrated to work in very crowded scenes on a new dataset.


title: $R$ matrix for generalized quantum group of type $A$

abstract: The generalized quantum group $\mathcal{U}(\epsilon)$ of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra $\mathfrak{gl}_{M|N}$. We prove that there exists a unique $R$ matrix on tensor product of fundamental type representations of $\mathcal{U}(\epsilon)$ for arbitrary parameter sequence $\epsilon$ corresponding to a non-conjugate Borel subalgebra of $\mathfrak{gl}_{M|N}$. We give an explicit description of its spectral decomposition, and then as an application, construct a family of finite-dimensional irreducible $\mathcal{U}(\epsilon)$-modules which have subspaces isomorphic to the Kirillov-Reshetikhin modules of usual affine type $A_{M-1}^{(1)}$ or $A_{N-1}^{(1)}$.


title: NP-complete variants of some classical graph problems

abstract: Some classical graph problems such as finding minimal spanning tree, shortest path or maximal flow can be done efficiently. We describe slight variations of such problems which are shown to be NP-complete. Our proofs use straightforward reduction from $3$-SAT.


title: Automatic differentiation of dominant eigensolver and its applications in quantum physics

abstract: We investigate the automatic differentiation of dominant eigensolver where only a small proportion of eigenvalues and corresponding eigenvectors are obtained. Backpropagation through the dominant eigensolver involves solving certain low-rank linear systems without direct access to the full spectrum of the problem. Furthermore, the backward pass can be conveniently differentiated again, which implies that in principle one can obtain arbitrarily higher order derivatives of the dominant eigen-decomposition process. These results allow for the construction of an efficient dominant eigensolver primitive, which has wide applications in quantum physics. As a demonstration, we compute second order derivative of the ground state energy and fidelity susceptibility of 1D transverse field Ising model through the exact diagonalization approach. We also calculate the ground state energy of the same model in the thermodynamic limit by performing gradient-based optimization of uniform matrix product states. By programming these computation tasks in a fully differentiable way, one can efficiently handle the dominant eigen-decomposition of very large matrices while still sharing various advantages of differentiable programming paradigm, notably the generic nature of the implementation and free of tedious human efforts of deriving gradients analytically.


title: Probing a $r^{-n}$ modification of the Newtonian potential with Exoplanets

abstract: The growing availability of increasingly accurate data on transiting exoplanets suggests the possibility of using these systems as possible testbeds for modified models of gravity. In particular, we suggest that the post-Keplerian (pK) dynamical effects from the perturbations of the Newtonian potential falling off as the square or the cube of the distance from the mass of the host star break the degeneracy of the anomalistic, draconitic and sidereal periods. The latter are characteristic temporal intervals in the motion of a binary system, and all coincide in the purely Keplerian case. We work out their analytical expressions in presence of the aforementioned perturbations to yield preliminary insights on the potential of the method proposed for constraining the modified models of gravity considered. A comparison with other results existing in the literature is made.


title: Memorizing Comprehensively to Learn Adaptively: Unsupervised Cross-Domain Person Re-ID with Multi-level Memory

abstract: Unsupervised cross-domain person re-identification (Re-ID) aims to adapt the information from the labelled source domain to an unlabelled target domain. Due to the lack of supervision in the target domain, it is crucial to identify the underlying similarity-and-dissimilarity relationships among the unlabelled samples in the target domain. In order to use the whole data relationships efficiently in mini-batch training, we apply a series of memory modules to maintain an up-to-date representation of the entire dataset. Unlike the simple exemplar memory in previous works, we propose a novel multi-level memory network (MMN) to discover multi-level complementary information in the target domain, relying on three memory modules, i.e., part-level memory, instance-level memory, and domain-level memory. The proposed memory modules store multi-level representations of the target domain, which capture both the fine-grained differences between images and the global structure for the holistic target domain. The three memory modules complement each other and systematically integrate multi-level supervision from bottom to up. Experiments on three datasets demonstrate that the multi-level memory modules cooperatively boost the unsupervised cross-domain Re-ID task, and the proposed MMN achieves competitive results.


title: Localised eigenmodes in a moving frame of reference representing convective instability

abstract: When representing convective instability mechanisms with the streamwise BiGlobal stability approach, results suffer from a sensitivity to the streamwise domain truncation length and boundary conditions. The methodology proposed in this paper resolves this sensitivity by considering a moving frame of reference. In that frame, the spectrum features discrete eigenvalues whose corresponding eigenfunctions decay exponentially in both the up- and downstream directions. Therefore, the truncation boundaries can be placed far enough that both variations in the domain length and artificial boundary conditions have no impact. The discrete nature of the spectrum enables the use of local and non-local stability methods to perform an independent approximation of the BiGlobal eigensolutions via global mode theory. We demonstrate that retrieving set-up-independent solutions in the stationary frame of reference is likely impossible for the considered flow.


title: Bubble entrainment by a sphere falling through a horizontal soap foam

abstract: We simulate the quasi-static motion of a spherical particle through a stable, horizontal soap film. The soap film subtends a fixed contact angle, in the range $10-135^\circ$, where it meets the particle. The tension and pressure forces acting on the particle are calculated in two cases: when the film is held within a vertical cylinder, trapping a bubble but otherwise free to move vertically, and when the outer rim of the film is held in a fixed circular wire frame. Film deformation is greater in the second case, and the duration of the interaction therefore increases, increasing the contact time between particle and film. As the soap film returns towards its equilibrium shape following the passage of the particle a small bubble is trapped for contact angles below a threshold value of $90^\circ$. We show that this bubble is larger when the particle is larger and when the contact angle is smaller.


title: Towards Geometric Time Minimal Control without Legendre Condition and with Multiple Singular Extremals for Chemical Networks

abstract: This article deals with the problem of maximizing the production of a species for a chemical network by controlling the temperature. Under the so-called mass kinetics assumption the system can be modeled as a single-input control system using the Feinberg-Horn-Jackson graph associated to the reactions network. Thanks to Pontryagin's Maximum Principle, the candidates as minimizers can be found among extremal curves, solutions of a (non smooth) Hamiltonian dynamics and the problem can be stated as a time minimal control problem with a terminal target of codimension one. Using geometric control and singularity theory the time minimal syntheses (closed loop optimal control) can be classified near the terminal manifold under generic conditions. In this article we focus to the case where the generalized Legendre-Clebsch condition is not satisfied, which paves the road to complicated syntheses with several singular arcs. In particular it is related to the situation for a weakly reversible network like the McKeithan scheme of two reactions.


title: Effective Hamiltonians for almost-periodically driven quantum systems

abstract: We present an effective Hamiltonian theory available for some quasi-periodically driven quantum systems which does not need the knowledge of the Fourier frequencies of the control signal. It could also be available for some chaotically driven quantum systems. It is based on the Koopman approach which generalizes the Floquet approach used with periodically driven systems. We show the properties of the quasi-energy states (eigenvectors of the effective Hamiltonian) as quasi-recurrent states of the quantum system.


title: The Riemann problem of relativistic Euler system with Synge energy

abstract: In this paper, we study the Riemann problem of relativistic Euler system for rarefied monatomic and diatomic gases when the constitutive equation for the energy is the Synge equation that is the only one compatible with the relativistic kinetic theory. The Synge equation is involved with modified Bessel functions of the second kind and this makes the relativistic Euler system quite complex. Based on delicate estimates of the modified Bessel functions of the second kind, we provide a detailed investigation of basic hyperbolic properties and the structure of elementary waves, especially for the structure of shock waves and in this way, the mathematical theory of the Riemann problem for these relativistic Euler system, which is analogous to the corresponding theory of the classical ones, is rigorously provided.


title: Incremental Unsupervised Domain-Adversarial Training of Neural Networks

abstract: In the context of supervised statistical learning, it is typically assumed that the training set comes from the same distribution that draws the test samples. When this is not the case, the behavior of the learned model is unpredictable and becomes dependent upon the degree of similarity between the distribution of the training set and the distribution of the test set. One of the research topics that investigates this scenario is referred to as domain adaptation. Deep neural networks brought dramatic advances in pattern recognition and that is why there have been many attempts to provide good domain adaptation algorithms for these models. Here we take a different avenue and approach the problem from an incremental point of view, where the model is adapted to the new domain iteratively. We make use of an existing unsupervised domain-adaptation algorithm to identify the target samples on which there is greater confidence about their true label. The output of the model is analyzed in different ways to determine the candidate samples. The selected set is then added to the source training set by considering the labels provided by the network as ground truth, and the process is repeated until all target samples are labelled. Our results report a clear improvement with respect to the non-incremental case in several datasets, also outperforming other state-of-the-art domain adaptation algorithms.


title: Convergence of Chao Unseen Species Estimator

abstract: Support size estimation and the related problem of unseen species estimation have wide applications in ecology and database analysis. Perhaps the most used support size estimator is the Chao estimator. Despite its wide spread use, little is known about its theoretical properties. We analyze the Chao estimator and show that its worst case mean squared error (MSE) is smaller than the MSE of the plug-in estimator by a factor of $\mathcal{O} ((k/n)^4)$, where $k$ is the maximum support size and $n$ is the number of samples. Our main technical contribution is a new method to analyze rational estimators for discrete distribution properties, which may be of independent interest.


title: Observation of a resonant structure in $e^{+}e^{-} \to K^{+}K^{-}\pi^{0}\pi^{0}$

abstract: Using $e^{+}e^{-}$ collision data samples with center-of-mass energies ranging from 2.000 to 2.644 GeV, collected by the BESIII detector at the BEPCII collider, and with a total integrated luminosity of 300 pb^{-1}, a partial-wave analysis is performed for the process $e^{+}e^{-} \to K^{+}K^{-}\pi^{0}\pi^{0}$. The total Born cross sections for the process $e^{+}e^{-} \to K^{+}K^{-}\pi^{0}\pi^{0}$, as well as the Born cross sections f or the subprocesses $e^{+}e^{-} \to \phi \pi^{0}\pi^{0}$, $K^{+}(1460)K^{-}$, $K^{+}_{1}(1400)K^{-}$, $K^{+}_{1}(1270)K^{-}$ and $K^{*+}(892)K^{*-}(892)$, are measured versus the center-of-mass energy. The corresponding results for $e^{+}e^{-} \to K^{+}K^{-}\pi^{0}\pi^{0}$ and $\phi \pi^{0}\pi^{0}$ are consistent with those of BaBar and have much improved precision.By analyzing the cross sections for the four subprocesses, $K^{+}(1460)K^{-}$, $K^{+}_{1}(1400)K^{-}$, $K^{+ }_{1}(1270)K^{-}$ and $K^{*+}K^{*-}$, a structure with mass $M$ = (2126.5 $\pm$ 16.8 $\pm$ 12.4)~MeV/c^{2} and width $\Gamma$ = (106.9 $\pm$ 32.1 $\pm$ 28.1)~MeV is observed with an overall statistical significance of 6.3 $\sigma$, although with very limited significance in the subprocesses $e^{+}e^{-} \to K^{+}_{1}(1270)K^{-}$ and $K^{*+}(892)K^{*-}(892)$. The resonant parameters of the observed structure suggest it can be identified with the $\phi(2170)$, thus the results provide valuable input to the internal nature of the $\phi(2170)$.


title: Ryser's Conjecture for $t$-intersecting hypergraphs

abstract: A well-known conjecture, often attributed to Ryser, states that the cover number of an $r$-partite $r$-uniform hypergraph is at most $r - 1$ times larger than its matching number. Despite considerable effort, particularly in the intersecting case, this conjecture remains wide open, motivating the pursuit of variants of the original conjecture. Recently, Bustamante and Stein and, independently, Kir\'{a}ly and T\'{o}thm\'{e}r\'{e}sz considered the problem under the assumption that the hypergraph is $t$-intersecting, conjecturing that the cover number $\tau(\mathcal{H})$ of such a hypergraph $\mathcal{H}$ is at most $r - t$. In these papers, it was proven that the conjecture is true for $r \leq 4t-1$, but also that it need not be sharp; when $r = 5$ and $t = 2$, one has $\tau(\mathcal{H}) \leq 2$. We extend these results in two directions. First, for all $t \geq 2$ and $r \leq 3t-1$, we prove a tight upper bound on the cover number of these hypergraphs, showing that they in fact satisfy $\tau(\mathcal{H}) \leq \lfloor(r - t)/2 \rfloor + 1$. Second, we extend the range of $t$ for which the conjecture is known to be true, showing that it holds for all $r \leq \frac{36}{7}t-5$. We also introduce several related variations on this theme. As a consequence of our tight bounds, we resolve the problem for $k$-wise $t$-intersecting hypergraphs, for all $k \geq 3$ and $t \geq 1$. We further give bounds on the cover numbers of strictly $t$-intersecting hypergraphs and the $s$-cover numbers of $t$-intersecting hypergraphs.


title: Exotic nonlinear supersymmetry and integrable systems

abstract: Peculiar properties of many classical and quantum systems can be related to, or derived from those of a free particle. In this way we explain the appearance and peculiarities of the exotic nonlinear Poincar\'e supersymmetry in reflectionless and finite-gap quantum systems related to the Korteweg-de Vries equation. The same approach is used to explain the origin and the nature of nonlinear symmetries in the perfectly invisible $\mathcal{PT}$-regularized conformal and superconformal mechanics systems.


title: NimbRo Logistics -- Project KittingBot

abstract: Recovering the pose of an object from mere point clouds is often hindered by the lack of the information that they provide. In this lab, we address this problem by proposing a method that exploits the symmetry of objects as well as using pictures taken from a static camera of the same scene. We apply this approach to detects nuts in a table top scene that includes screws, nuts, washers and several placeholders for grasp planning.


title: Statistics of extremes in eigenvalue-counting staircases

abstract: We consider the number ${\cal N}_{\theta_A}(\theta)$ of eigenvalues $e^{i \theta_j}$ of a random unitary matrix, drawn from CUE$_{\beta}(N)$, in the interval $\theta_j \in [\theta_A,\theta]$. The deviations from its mean, ${\cal N}_{\theta_A}(\theta) - \mathbb{E}({\cal N}_{\theta_A}(\theta))$, form a random process as function of $\theta$. We study the maximum of this process, by exploiting the mapping onto the statistical mechanics of log-correlated random landscapes. By using an extended Fisher-Hartwig conjecture for Toeplitz determinants, supplemented with the freezing duality conjecture for log-correlated fields, we obtain the cumulants of the distribution of that maximum for any $\beta>0$. It exhibits combined features of standard counting statistics of fermions (free for $\beta=2$ and with Sutherland-type interaction for $\beta\ne 2$) in an interval and extremal statistics of the fractional Brownian motion with Hurst index $H=0$. The $\beta=2$ results are expected to apply to the statistics of zeroes of the Riemann Zeta function

categories: cond-mat.stat-mech cond-mat.mes-hall math-ph math.MP math.PR


title: Rigidity-Controlled Crossover: From Spinodal to Critical Failure

abstract: Failure in disordered solids is accompanied by intermittent fluctuations extending over a broad range of scales. The implied scaling has been previously associated with either spinodal or critical points. We use an analytically transparent mean-field model to show that both analogies are relevant near the brittle-to-ductile transition. Our study indicates that in addition to the strength of quenched disorder, an appropriately chosen global measure of rigidity (connectivity) can be also used to tune the system to criticality. By interpreting rigidity as a timelike variable we reveal an intriguing parallel between earthquake-type critical failure and Burgers turbulence.


title: Computing isogenies from modular equations in genus two

abstract: We present an algorithm solving the following problem: given two genus 2 curves over a field k with isogenous Jacobians, compute such an isogeny explicitly. This isogeny can be either an l-isogeny or, in the real multiplication case, an isogeny with cyclic kernel; we require that k have large enough characteristic and that the curves be sufficiently generic. Our algorithm uses modular equations for these isogeny types, and makes essential use of an explicit Kodaira--Spencer isomorphism in genus 2.


title: Degree and height estimates for modular equations on PEL Shimura varieties

abstract: We define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number-theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.


title: Repr\'esentations lexicales pour la d\'etection non supervis\'ee d'\'ev\'enements dans un flux de tweets : \'etude sur des corpus fran\c{c}ais et anglais

abstract: In this work, we evaluate the performance of recent text embeddings for the automatic detection of events in a stream of tweets. We model this task as a dynamic clustering problem.Our experiments are conducted on a publicly available corpus of tweets in English and on a similar dataset in French annotated by our team. We show that recent techniques based on deep neural networks (ELMo, Universal Sentence Encoder, BERT, SBERT), although promising on many applications, are not very suitable for this task. We also experiment with different types of fine-tuning to improve these results on French data. Finally, we propose a detailed analysis of the results obtained, showing the superiority of tf-idf approaches for this task.


title: Charmed and beautiful baryonic systems (hypernuclei) in chiral soliton models

abstract: The binding energies of baryonic systems with quantum number charm or beauty and neutron excess (or large isospin) are estimated within the bound state version of the chiral topological soliton model. The procedure of the skyrmion rescaling is applied which is of importance for large enough flavor excitation energies (for heavy flavors). Inclusion of the flavor excitation energies into the minimization of the total mass of the baryonic state naturally leads to its decrease, and this effect increases with increasing flavor mass. Our results concerning the binding energies turned out to be partly negative.


title: An extensive study of the regularity properties of solutions to doubly singular equations

abstract: In recent years, many papers have been devoted to the regularity of doubly nonlinear singular evolution equations. Many of the proofs are unnecessarily complicated, rely on superfluous assumptions or follow an inappropriate approximation procedure. This makes the theory unclear and quite chaotic to a nonspecialist. The aim of this paper is to fix all the misprints, to follow correct procedures, to exhibit, possibly, the shortest and most elegant proofs and to give a complete and self-contained overview of the theory.


title: Existence and coexistence in first-passage percolation

abstract: We consider first-passage percolation with i.i.d. non-negative weights coming from some continuous distribution under a moment condition. We review recent results in the study of geodesics in first-passage percolation and study their implications for the multi-type Richardson model. In two dimensions this establishes a dual relation between the existence of infinite geodesics and coexistence among competing types. The argument amounts to making precise the heuristic that infinite geodesics can be thought of as `highways to infinity'. We explain the limitations of the current techniques by presenting a partial result in dimensions higher than two.


title: Phase-field collagen fibrils: Coupling chirality and density modulations

abstract: To describe the interaction between longitudinal density modulations along collagen fibrils (the D-band) with the radial twist-field of molecular orientation (double-twist), we couple phase-field-crystal (PFC) with liquid-crystalline free-energies to obtain a hybrid model of equilibrium collagen fibril structure. We numerically compute the resulting axial and radial structure. We find two distinct fibrillar phases, `L' and `C', with a coexistence line that ends in an Ising-like critical point. We propose that coexistence between these phases can explain the bimodal distribution of fibril radii that has been widely reported within tendon tissues. Tensile strain applied to our model fibrils straightens the average fibrillar twist and flattens the D-band modulation. Our PFC approach should apply directly to other longitudinally-modulated chiral filaments, such as fibrin and intermediate filaments.


title: Structural and magnetic characterization of the elusive Jahn-Teller active NaCrF3

abstract: We report the structural and magnetic characterization of the elusive Jahn- Teller active compound NaCrF3.


title: Photometric characterization of multiple populations in star clusters: The impact of the first dredge-up

abstract: The existence of star-to-star light-element abundance variations (multiple populations, MPs) in massive Galactic and extragalactic star clusters older than about 2 Gyr is by now well established. Photometry of red giant branch (RGB) stars has been and still is instrumental in enabling the detection and characterization of cluster MPs, through the appropriate choices of filters, colours and colour combinations, that are mainly sensitive to N and --to a lesser degree-- C stellar surface abundances. An important issue not yet properly addressed is that the translation of the observed widths of the cluster RGBs to abundance spreads must account for the effect of the first dredge-up on the surface chemical patterns, hence on the spectral energy distributions of stars belonging to the various MPs. We have filled this gap by studying theoretically the impact of the dredge-up on the predicted widths of RGBs in clusters hosting MPs. We find that for a given initial range of N abundances, the first dredge up reduces the predicted RGB widths in N-sensitive filters compared to the case when its effect on the stellar spectral energy distributions is not accounted for. This reduction is a strong function of age and has also a dependence on metallicity. The net effect is an underestimate of the initial N-abundance ranges from RGB photometry if the first dredge-up is not accounted for in the modelling, and also the potential determination of spurious trends of N-abundance spreads with age.


title: Evading thermal population influence in enantiomeric-specific state transfer based on a cyclic three-level system via ro-vibrational transitions

abstract: Optical methods of enantiomeric-specific state transfer had been proposed theoretically based on a cyclic three-level system of chiral molecule. According to these theoretical methods, recently the breakthrough progress has been reported in experiments [S. Eibenberger et al., Phys. Rev. Lett. 118, 123002 (2017); C. P\'{e}rez et al., Angew. Chem. Int. Ed. 56, 12512 (2017)] for cold gaseous chiral molecules but with low state-specific enantiomeric enrichment. One of the limiting factors is the influence of the thermal population in the selected three purely rotational states in experiment. Here, we theoretically propose an improved optical method of enantiomeric-specific state transfer to effectively evade such an adverse impact of thermal population by introducing ro-vibrational transitions for the cyclic three-level system of chiral molecules. Then, at the typical temperature in experiments approximately only the lowest state in the chosen three-level system is thermally occupied and the optical method of enantiomeric-specific state transfer works well. Comparing with the case of purely rotational transitions where all the three states are thermally occupied, this modification will remarkably increase the obtained state-specific enantiomeric enrichment with enantiomeric excess approximately 100%.


title: WICA: nonlinear weighted ICA

abstract: Independent Component Analysis (ICA) aims to find a coordinate system in which the components of the data are independent. In this paper we construct a new nonlinear ICA model, called WICA, which obtains better and more stable results than other algorithms. A crucial tool is given by a new efficient method of verifying nonlinear dependence with the use of computation of correlation coefficients for normally weighted data. In addition, authors propose a new baseline nonlinear mixing to perform comparable experiments, and a~reliable measure which allows fair comparison of nonlinear models. Our code for WICA is available on Github https://github.com/gmum/wica.


title: Residual categories for (co)adjoint Grassmannians in classical types

abstract: In our previous paper we suggested a conjecture relating the structure of the small quantum cohomology ring of a smooth Fano variety to the structure of its derived category of coherent sheaves. Here we generalize this conjecture, make it more precise, and support by the examples of (co)adjoint homogeneous varieties of simple algebraic groups of Dynkin types $A_n$ and $D_n$, i.e., flag varieties $Fl(1,n;n+1)$ and isotropic orthogonal Grassmannians $OG(2,2n)$; in particular we construct on each of those an exceptional collection invariant with respect to the entire automorphism group. For $OG(2,2n)$ this is the first exceptional collection proved to be full.


title: Periodic solutions of a phase-field model with hysteresis

abstract: In the present paper we consider a partial differential system describing a phase-field model with temperature dependent constraint for the order parameter. The system consists of an energy balance equation with a fairly general nonlinear heat source term and a phase dynamics equation which takes into account the hysteretic character of the process. The existence of a periodic solution for this system is proved under a minimal set of assumptions on the curves defining the corresponding hysteresis region.


title: On the Gap between Scalar and Vector Solutions of Generalized Combination Networks

abstract: We study scalar-linear and vector-linear solutions to the generalized combination network. We derive new upper and lower bounds on the maximum number of nodes in the middle layer, depending on the network parameters. These bounds improve and extend the parameter range of known bounds. Using these new bounds we present a general lower bound on the gap in the alphabet size between scalar-linear and vector-linear solutions.


title: Existence and asymptotic behavior of large axisymmetric solutions for steady Navier-Stokes system in a pipe

abstract: In this paper, the existence and uniqueness of strong axisymmetric solutions with large flux for the steady Navier-Stokes system in a pipe are established even when the external force is also suitably large in $L^2$. Furthermore, the exponential convergence rate at far fields for the arbitrary steady solutions with finite $H^2$ distance to the Hagen-Poiseuille flows is established as long as the external forces converge exponentially at far fields. The key point to get the existence of these large solutions is the refined estimate for the derivatives in the axial direction of the stream function and the swirl velocity, which exploits the good effect of the convection term. An important observation for the asymptotic behavior of general solutions is that the solutions are actually small at far fields when they have finite $H^2$ distance to the Hagen-Poiseuille flows. This makes the estimate for the linearized problem play a crucial role in studying the convergence of general solutions at far fields.


title: Extensions of non-natural Hamiltonians

abstract: The concept of extended Hamiltonian systems allows the geometrical interpretation of several integrable and superintegrable systems with polynomial first integrals of degree depending on a rational parameter. Until now, the procedure of extension has been applied only in the case of natural Hamiltonians. In this article, we give several examples of application to non-natural Hamiltonians, such as the two point-vortices, the Lotka-Volterra and some quartic in the momenta Hamiltonians, obtaining effectively extended Hamiltonians in some cases and failing in others. We briefly discuss the reasons of these results.


title: Using Cerenkov radiation for measuring the refractive index in thick samples by interferometric cathodoluminescence

abstract: Cathodoluminescence (CL) has evolved into a standard analytical technique in (scanning) transmission electron microscopy. CL utilizes light excited due to the interactions between the electron-beam and the sample. In the present study we focus on Cerenkov radiation. We make use of the fact that the electron transparent specimen acts as a Fabry-P\'erot interferometer for coherently emitted radiation. From the wavelength dependent interference pattern of thickness dependent measurements we calculate the refractive index of the studied material. We describe the limits of this approach and compare it with the determination of the refractive index by using valence electron energy loss spectrometry (VEELS)


title: Two graded rings of Hermitian modular forms

abstract: We give generators and relations for the graded rings of Hermitian modular forms of degree two over the rings of integers in $\mathbb{Q}(\sqrt{-7})$ and $\mathbb{Q}(\sqrt{-11})$. In both cases we prove that the subrings of symmetric modular forms are generated by Maass lifts. The computation uses a reduction process against Borcherds products which also leads to a dimension formula for the spaces of modular forms.


title: Type-II neutrino seesaw mechanism extension of NMSSM from SUSY breaking mechanisms

abstract: We propose to accommodate economically the type-II neutrino seesaw mechanism in (G)NMSSM from GMSB and AMSB, respectively. The heavy triplets within neutrino seesaw mechanism are identified to be the messengers. Therefore, the $\mu$-problem, the neutrino mass generation, LFV as well the soft SUSY breaking parameters can be economically combined in a non-trivial way. General features of such extensions are discussed. The type-II neutrino seesaw-specific interactions can give additional Yukawa deflection contributions to the soft SUSY breaking parameters of NMSSM, which are indispensable to realize successful EWSB and accommodate the 125 GeV Higgs. Relevant numerical results, including the constraints of dark matter and possible LFV processes $l_i\rightarrow l_j \gamma$ etc, are also given. We find that our economical type-II neutrino seesaw mechanism extension of NMSSM from AMSB or GMSB can lead to realistic low energy NMSSM spectrum, both admitting the 125 GeV Higgs as the lightest CP-even scalar. The possibility of the 125 GeV Higgs being the next-to-lightest CP-even scalar in GMSB-type scenario is ruled out by the constraints from EWSB, collider and precision measurements. The possibility of the 125 GeV Higgs being the next-to-lightest CP-even scalar in AMSB-type scenario is ruled out by dark matter direct detection experiments. Possible constraints from LFV processes $l_i\rightarrow l_j \gamma$ can give an upper bound for the messenger scale.


title: Implications of beam filling patterns on the design of recirculating Energy Recovery Linacs

abstract: Recirculating energy recovery linacs are a promising technology for delivering high power particle beams ($\sim$GW) while only requiring low power ($\sim$kW) RF sources. This is achieved by decelerating the used bunches and using the energy they deposit in the accelerating structures to accelerate new bunches. We present studies of the impact of the bunch packet filling pattern on the performance of the accelerating RF system. We perform RF beam loading simulations under various noise levels and beam loading phases with different injection schemes. We also present a mathematical description of the RF system during the beam loading, which can identify optimal beam filling patterns under different conditions. The results of these studies have major implications for design constraints for future energy recovery linacs, by providing a quantitative metric for different machine designs and topologies.


title: Conductance of quantum spin Hall edge states from first principles: the critical role of magnetic impurities and inter-edge scattering

abstract: The outstanding transport properties expected at the edge of two-dimensional time-reversal invariant topological insulators have proven to be challenging to realize experimentally, and have so far only been demonstrated in very short devices. In search for an explanation to this puzzling observation, we here report a full first-principles calculation of topologically protected transport at the edge of novel quantum spin Hall insulators - specifically, Bismuth and Antimony halides - based on the non-equilibrium Green's functions formalism. Our calculations unravel two different scattering mechanisms that may affect two-dimensional topological insulators, namely time-reversal symmetry breaking at vacancy defects and inter-edge scattering mediated by multiple co-operating impurities, possibly non-magnetic. We discuss their drastic consequences for typical non-local transport measurements as well as strategies to mitigate their negative impact. Finally, we provide an instructive comparison of the transport properties of topologically protected edge states to those of the trivial edge states in MoS$_2$ ribbons. Although we focus on a few specific cases (in terms of materials and defect types) our results should be representative for the general case and thus have significance beyond the systems studied here.


title: Identification of point like objects with multi-frequency sparse data

abstract: The inverse acoustic scattering of point objects using multi-frequency sparse measurements are studied. The objects may be a sum of point sources or point like scatterers. We show that the locations and scattering strengths of the point objects can be uniquely identified by the multi-frequency near or far fields taken at sparse sensors. Based on the uniqueness analysis, some direct methods have also been proposed for reconstructing the locations and determining the scattering strengths. The numerical examples are conducted to show the validity and robustness of the proposed numerical methods.


title: Spin-1/2 $XX$ chain in a transverse field with regularly alternating $g$-factors: Static and dynamic properties

abstract: We consider the spin-1/2 isotropic $XY$ chain in an external magnetic field directed along $z$ axis with periodically varying $g$-factors. To reveal the effects of regularly alternating $g$-factors, we calculate various static and dynamic equilibrium quantities in the ground state and at finite temperatures. We demonstrate that because of the regularly alternating $g$-factors the saturation field may disappear and the field dependence of the susceptibility in the ground state has additional logarithmic singularity at zero field. Moreover, the zero-field susceptibility has a logarithmic singularity as $T\to 0$. Furthermore, the dynamic structure factors exhibit much more structure in the "wave vector -- frequency" plane that can be traced out to modifications of the two-fermion excitation continua which exclusively determine $S_{zz}(\kappa,\omega)$ and dominate the properties of $S_{xx}(\kappa,\omega)$. We discuss what changes can be observed in dynamic experiments on the corresponding substances.


title: The extension of the $D(-k)$-pair $\{k,k+1\}$ to a quadruple

abstract: Let $k$ be a positive integer. In this paper, we prove that if $\{k,k+1,c,d\}$ is a $D(-k)$-quadruple with $c>1$, then $d=1$.


title: RAN Slicing for Massive IoT and Bursty URLLC Service Multiplexing: Analysis and Optimization

abstract: Future wireless networks are envisioned to serve massive Internet of things (mIoT) via some radio access technologies, where the random access channel (RACH) procedure should be exploited for IoT devices to access the networks. However, the theoretical analysis of the RACH procedure for massive IoT devices is challenging. To address this challenge, we first correlate the RACH request of an IoT device with the status of its maintained queue and analyze the evolution of the queue status. Based on the analysis result, we then derive the closed-form expression of the random access (RA) success probability, which is a significant indicator characterizing the RACH procedure of the device. Besides, considering the agreement on converging different services onto a shared infrastructure, we investigate the RAN slicing for mIoT and bursty ultra-reliable and low latency communications (URLLC) service multiplexing. Specifically, we formulate the RAN slicing problem as an optimization one to maximize the total RA success probabilities of all IoT devices and provide URLLC services for URLLC devices in an energy-efficient way. A slice resource optimization (SRO) algorithm exploiting relaxation and approximation with provable tightness and error bound is then proposed to mitigate the optimization problem. Simulation results demonstrate that the proposed SRO algorithm can effectively implement the service multiplexing of mIoT and bursty URLLC traffic.


title: Cell selective manipulation with single beam acoustical tweezers

abstract: Acoustical tweezers open major prospects in microbiology for cells and microorganisms contactless manipulation, organization and mechanical properties testing since they are biocompatible, label-free and can exert forces several orders of magnitude larger than their optical counterpart at equivalent wave power. Yet, these tremendous perspectives have so far been hindered by the absence of selectivity of existing acoustical tweezers -- i.e., the ability to select and move objects individually -- and/or their limited resolution restricting their use to large particle manipulation only. Here, we report precise selective contactless manipulation and positioning of human cells in a standard microscopy environment, without altering their viability. Trapping forces of up to $\sim$ 200 pN are reported with less than 2 mW of driving power. The unprecedented selectivity, miniaturization and trapping force are achieved by combining holography with active materials and fabrication techniques derived from the semi-conductor industry to synthesize specific wavefields (called focused acoustical vortices) designed to produce stiff localized traps. We anticipate this work to be a starting point toward widespread applications of acoustical tweezers in fields as diverse as tissue engineering, cell mechano-transduction analysis, neural network study or mobile microorganisms imaging, for which precise manipulation and/or controlled application of stresses is mandatory.


title: Towards Interpretable and Robust Hand Detection via Pixel-wise Prediction

abstract: The lack of interpretability of existing CNN-based hand detection methods makes it difficult to understand the rationale behind their predictions. In this paper, we propose a novel neural network model, which introduces interpretability into hand detection for the first time. The main improvements include: (1) Detect hands at pixel level to explain what pixels are the basis for its decision and improve transparency of the model. (2) The explainable Highlight Feature Fusion block highlights distinctive features among multiple layers and learns discriminative ones to gain robust performance. (3) We introduce a transparent representation, the rotation map, to learn rotation features instead of complex and non-transparent rotation and derotation layers. (4) Auxiliary supervision accelerates the training process, which saves more than 10 hours in our experiments. Experimental results on the VIVA and Oxford hand detection and tracking datasets show competitive accuracy of our method compared with state-of-the-art methods with higher speed.


title: Global wave parametrices on globally hyperbolic spacetimes

abstract: In a recent work the first named author, Levitin and Vassiliev have constructed the wave propagator on a closed Riemannian manifold $M$ as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. In this paper, first we give a natural reinterpretation of the underlying algorithmic construction in the language of ultrastatic Lorentzian manifolds. Subsequently we show that the construction carries over to the case of static backgrounds thanks to a suitable reduction to the ultrastatic scenario. Finally we prove that the overall procedure can be generalised to any globally hyperbolic spacetime with compact Cauchy surfaces. As an application, we discuss how, from our procedure, one can recover the local Hadamard expansion which plays a key role in all applications in quantum field theory on curved backgrounds.


title: Graded medial $n$-ary algebras and polyadic tensor categories

abstract: Algebraic structures in which the property of commutativity is substituted by the mediality property are introduced. We consider (associative) graded algebras and instead of almost commutativity (generalized commutativity or $\varepsilon$-commutativity) we introduce almost mediality ("commutativity-to-mediality" ansatz). Higher graded twisted products and "deforming" brackets (being the medial analog of Lie brackets) are defined. Toyoda's theorem which connects (universal) medial algebras with abelian algebras is proven for the almost medial graded algebras introduced here. In a similar way we generalize tensor categories and braided tensor categories. A polyadic (non-strict) tensor category has an $n$-ary tensor product as an additional multiplication with $n-1$ associators of the arity $2n-1$ satisfying a $\left( n^{2}+1\right) $-gon relation, which is a polyadic analog of the pentagon axiom. Polyadic monoidal categories may contain several unit objects, and it is also possible that all objects are units. A new kind of polyadic categories (called "groupal") is defined: they are close to monoidal categories, but may not contain units: instead the querfunctor and (natural) functorial isomorphisms, the quertors, are considered (by analogy with the querelements in $n$-ary groups). The arity-nonreducible $n$-ary braiding is introduced and the equation for it is derived, which for $n=2$ coincides with the Yang-Baxter equation. Then, analogously to the first part of the paper, we introduce "medialing" instead of braiding and construct "medialed" polyadic tensor categories.

categories: math.RA hep-th math-ph math.AC math.CT math.MP


title: A polynomial upper bound for the mixing time of edge rotations on planar maps

abstract: We consider a natural local dynamic on the set of all rooted planar maps with $n$ edges that is in some sense analogous to "edge flip" Markov chains, which have been considered before on a variety of combinatorial structures (triangulations of the $n$-gon and quadrangulations of the sphere, among others). We provide the first polynomial upper bound for the mixing time of this "edge rotation" chain on planar maps: we show that the spectral gap of the edge rotation chain is bounded below by an appropriate constant times $n^{-11/2}$. In doing so, we provide a partially new proof of the fact that the same bound applies to the spectral gap of edge flips on quadrangulations, which makes it possible to generalise a recent result of the author and Stauffer to a chain that relates to edge rotations via Tutte's bijection.


title: Compressing a Cylindrical Shell with a Rigid Core

abstract: Compressed cylindrical shells are common in our daily life, such as the diamond shape in rolled-up sleeves, crumpled aluminum cans, and retreated package of now defunct drinking straws. The kind of deformation is formally called the Yoshimura pattern. However, there are many other equally prevalent modes of deformation, depending on the relative size of radius between the shell and its inner core, the thickness and rigidity and plasticity of the shell, etc. To elucidate the phase diagram for these modes, we combine molecular dynamics simulations and experiments to study the energetic, mechanical, and morphological responses of a compressed cylindrical shell with a hard core.


title: DeepQuarantine for Suspicious Mail

abstract: In this paper, we introduce DeepQuarantine (DQ), a cloud technology to detect and quarantine potential spam messages. Spam attacks are becoming more diverse and can potentially be harmful to email users. Despite the high quality and performance of spam filtering systems, detection of a spam campaign can take some time. Unfortunately, in this case some unwanted messages get delivered to users. To solve this problem, we created DQ, which detects potential spam and keeps it in a special Quarantine folder for a while. The time gained allows us to double-check the messages to improve the reliability of the anti-spam solution. Due to high precision of the technology, most of the quarantined mail is spam, which allows clients to use email without delay. Our solution is based on applying Convolutional Neural Networks on MIME headers to extract deep features from large-scale historical data. We evaluated the proposed method on real-world data and showed that DQ enhances the quality of spam detection.


title: On the optimal volume upper bound for K\"ahler manifolds with positive Ricci curvature (with an appendix by Yuchen Liu)

abstract: Using $\delta$-invariants and Newton--Okounkov bodies, we derive the optimal volume upper bound for K\"ahler manifolds with positive Ricci curvature, from which we get a new characterization of the complex projective space.


title: Joint Reasoning for Multi-Faceted Commonsense Knowledge

abstract: Commonsense knowledge (CSK) supports a variety of AI applications, from visual understanding to chatbots. Prior works on acquiring CSK, such as ConceptNet, have compiled statements that associate concepts, like everyday objects or activities, with properties that hold for most or some instances of the concept. Each concept is treated in isolation from other concepts, and the only quantitative measure (or ranking) of properties is a confidence score that the statement is valid. This paper aims to overcome these limitations by introducing a multi-faceted model of CSK statements and methods for joint reasoning over sets of inter-related statements. Our model captures four different dimensions of CSK statements: plausibility, typicality, remarkability and salience, with scoring and ranking along each dimension. For example, hyenas drinking water is typical but not salient, whereas hyenas eating carcasses is salient. For reasoning and ranking, we develop a method with soft constraints, to couple the inference over concepts that are related in in a taxonomic hierarchy. The reasoning is cast into an integer linear programming (ILP), and we leverage the theory of reduction costs of a relaxed LP to compute informative rankings. This methodology is applied to several large CSK collections. Our evaluation shows that we can consolidate these inputs into much cleaner and more expressive knowledge. Results are available at https://dice.mpi-inf.mpg.de.


title: Multi-Sensor Data and Knowledge Fusion -- A Proposal for a Terminology Definition

abstract: Fusion is a common tool for the analysis and utilization of available datasets and so an essential part of data mining and machine learning processes. However, a clear definition of the type of fusion is not always provided due to inconsistent literature. In the following, the process of fusion is defined depending on the fusion components and the abstraction level on which the fusion occurs. The focus in the first part of the paper at hand is on the clear definition of the terminology and the development of an appropriate ontology of the fusion components and the fusion level. In the second part, common fusion techniques are presented.


title: Ionization and dissociation induced fragmentation of a tidally disrupted star into planets around a supermassive black hole

abstract: We show results from the radiation hydrodynamics (RHD) simulations of tidal disruption of a star on a parabolic orbit by a supermassive black hole (SMBH) based on a three-dimensional smoothed particle hydrodynamics code with radiative transfer. We find that such a tidally disrupted star fragment and form clumps soon after its tidal disruption. The fragmentation results from the endothermic processes of ionization and dissociation that reduce the gas pressure, leading to local gravitational collapse. Radiative cooling is less effective because the stellar debris is still highly optically thick in such an early time. Our simulations reveal that a solar-type star with a stellar density profile of n=3 disrupted by a 10^6 solar mass black hole produces $\sim20$ clumps of masses in the range of 0.1 to 12 Jupiter masses. The mass fallback rate decays with time, with pronounced spikes from early to late time. The spikes provide evidence for the clumps of the returning debris, while the clumps on the unbound debris can be potentially freely-floating planets and brown dwarfs. This ionization and dissociation induced fragmentation on a tidally disrupted star are a promising candidate mechanism to form low-mass stars to planets around an SMBH.

categories: astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.SR


title: Localized Regularity of Planar Maps of Finite Distortion

abstract: In this article we study fine regularity properties for mappings of finite distortion. Our main theorems yield strongly localized regularity results in the borderline case in the class of maps of exponentially integrable distortion. Analogues of such results were known earlier in the case of quasiconformal mappings. Moreover, we study regularity for maps whose distortion has higher exponential integrability.


title: Testing Database Engines via Pivoted Query Synthesis

abstract: Relational databases are used ubiquitously. They are managed by database management systems (DBMS), which allow inserting, modifying, and querying data using a domain-specific language called Structured Query Language (SQL). Popular DBMS have been extensively tested by fuzzers, which have been successful in finding crash bugs. However, approaches to finding logic bugs, such as when a DBMS computes an incorrect result set, have remained mostly untackled. Differential testing is an effective technique to test systems that support a common language by comparing the outputs of these systems. However, this technique is ineffective for DBMS, because each DBMS typically supports its own SQL dialect. To this end, we devised a novel and general approach that we have termed Pivoted Query Synthesis. The core idea of this approach is to automatically generate queries for which we ensure that they fetch a specific, randomly selected row, called the pivot row. If the DBMS fails to fetch the pivot row, the likely cause is a bug in the DBMS. We tested our approach on three widely-used and mature DBMS, namely SQLite, MySQL, and PostgreSQL. In total, we reported 123 bugs in these DBMS, 99 of which have been fixed or verified, demonstrating that the approach is highly effective and general. We expect that the wide applicability and simplicity of our approach will enable the improvement of robustness of many DBMS.


title: Reliable and interoperable computational molecular engineering: 2. Semantic interoperability based on the European Materials and Modelling Ontology

abstract: The European Materials and Modelling Ontology (EMMO) is a top-level ontology designed by the European Materials Modelling Council to facilitate semantic interoperability between platforms, models, and tools in computational molecular engineering, integrated computational materials engineering, and related applications of materials modelling and characterization. Additionally, domain ontologies exist based on data technology developments from specific platforms. The present work discusses the ongoing work on establishing a European Virtual Marketplace Framework, into which diverse platforms can be integrated. It addresses common challenges that arise when marketplace-level domain ontologies are combined with a top-level ontology like the EMMO by ontology alignment.


title: A search for Centaurus A-like features in the spectra of Fermi-LAT detected radio galaxies

abstract: Motivated by the detection of a hardening in the gamma-ray spectrum of the radio galaxy Centaurus A, we have analysed ~10 years of Fermi-LAT observations of 26 radio galaxies to search for similar spectral features. We find that the majority of the radio galaxies' gamma-ray spectral energy distributions are best fitted with a simple power-law model, and no spectral hardening similar to that found in Centaurus A was detected. We show that, had there been any such spectral features present in our sample of radio galaxies, they would have been seen, but note that 7 of the radio galaxies (3C 111, 3C 120, 3C 264, IC 4516, NGC 1218, NGC 2892 and PKS 0625-35) show evidence for flux variability on 6-month timescales, which makes the detection of any steady spectral features difficult. We find a strong positive correlation (r = 0.9) between the core radio power at 5 GHz and the gamma-ray luminosity and, using a simple extrapolation to TeV energies, we expect around half of the radio galaxies studied will be detectable with the forthcoming Cherenkov Telescope Array.


title: Identifying Earth-impacting asteroids using an artificial neural network

abstract: By means of a fully connected artificial neural network, we identified asteroids with the potential to impact Earth. The resulting instrument, named the Hazardous Object Identifier (HOI), was trained on the basis of an artificial set of known impactors which were generated by launching objects from Earth's surface and integrating them backward in time. HOI was able to identify 95.25% of the known impactors simulated that were present in the test set as potential impactors. In addition, HOI was able to identify 90.99% of the potentially hazardous objects identified by NASA, without being trained on them directly.


title: Probing core overshooting using asteroseismology

abstract: Modeling properly the interface between convective cores and radiative interiors is one the most challenging and important open questions in modern stellar physics. The rapid development of asteroseismology, with the advent of space missions partly dedicated to this discipline, has provided new constraints to progress on this issue. We here give an overview of the information that can be obtained from pressure modes, gravity modes and mixed modes. We also review some of the most recent constraints obtained from space-based asteroseismology on the nature and the amount of mixing beyond convective cores.


title: Randomized extended block Kaczmarz for solving least squares

abstract: Randomized iterative algorithms have recently been proposed to solve large-scale linear systems. In this paper, we present a simple randomized extended block Kaczmarz algorithm that exponentially converges in the mean square to the unique minimum $\ell_2$-norm least squares solution of a given linear system of equations. The proposed algorithm is pseudoinverse-free and therefore different from the projection-based randomized double block Kaczmarz algorithm of Needell, Zhao, and Zouzias. We emphasize that our method works for all types of linear systems (consistent or inconsistent, overdetermined or underdetermined, full-rank or rank-deficient). Moreover, our approach can utilize efficient implementations on distributed computing units, yielding remarkable improvements in computational time. Numerical examples are given to show the efficiency of the new algorithm.


title: 'I Just Want to Hack Myself to Not Get Distracted': Evaluating Design Interventions for Self-Control on Facebook

abstract: Beyond being the world's largest social network, Facebook is for many also one of its greatest sources of digital distraction. For students, problematic use has been associated with negative effects on academic achievement and general wellbeing. To understand what strategies could help users regain control, we investigated how simple interventions to the Facebook UI affect behaviour and perceived control. We assigned 58 university students to one of three interventions: goal reminders, removed newsfeed, or white background (control). We logged use for 6 weeks, applied interventions in the middle weeks, and administered fortnightly surveys. Both goal reminders and removed newsfeed helped participants stay on task and avoid distraction. However, goal reminders were often annoying, and removing the newsfeed made some fear missing out on information. Our findings point to future interventions such as controls for adjusting types and amount of available information, and flexible blocking which matches individual definitions of 'distraction'.


title: Native Point Defects in Mono-- and Bi--layer Phosphorene

abstract: We study the stability and electronic properties of intrinsic point defects, vacancy and self-interstitial, in mono- and bi-layer phosphorene. We calculate the formation energies, quasiparticle defect states and charge transition levels (CTLs) of these defects using \textit{ab initio} density functional theory (DFT) and GW approximation to the electron self-energy. Using the DFT + GW two paths formalism for studying interstitial in monolayer phosphorene, we show that with the inclusion of electrostatic corrections CTLs can be calculated reliably. Our calculations show that all the native point defects have low formation energies 0.9-1.6 eV in neutral state. Furthermore, we find that vacancy in phosphorene behaves as an acceptor-like defect which can explain the p-type conductivity in phosphorene. On the other hand, interstitial can show both acceptor- and donor-like behaviour.


title: Canonical extensions of lattices are more than perfect

abstract: In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we answer Problem 2 from there by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are `more' than just perfect lattices. We introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames from \cite{CGH15} into a full categorical framework. We illustrate our correspondences between classes of perfects lattices and classes of TiRS graphs by examples.


title: Simulation of the wave neutron-nuclear burning of Th232 enriched with Pu239 for the thermal range of neutron energy

abstract: At the initial stage, the development of wave reactors, which will operate in the mode of wave nuclear burning (WNC), requires the study of the kinetics of the WNC fuel mode when changing both external parameters (flux density of an external neutron source, thermal parameters of heat transfer) and internal parameters (fuel composition, reactor material parameter, delayed neutrons). In order to confirm the possibility of WNC with enrichment, we study its impact on the criterion of WNC for thorium fuel Th232 at different enrichments in Pu239) and its behavior during the "ignition" stage. To confirm the fulfillment of the criterion of slow WNC depending on the neutron energy, we perform a numerical simulation of the thorium fuel WNC mode dynamics, taking into account the delayed neutrons in the thermal and epithermal regions of the neutron energies (0.015-10 eV).


title: Rational spectral filters with optimal convergence rate

abstract: In recent years, contour-based eigensolvers have emerged as a standard approach for the solution of large and sparse eigenvalue problems. Building upon recent performance improvements through non-linear least square optimization of so-called rational filters, we introduce a systematic method to design these filters by minimizing the worst-case convergence ratio and eliminate the parametric dependence on weight functions. Further, we provide an efficient way to deal with the box-constraints which play a central role for the use of iterative linear solvers in contour-based eigensolvers. Indeed, these parameter-free filters consistently minimize the number of iterations and the number of FLOPs to reach convergence in the eigensolver. As a byproduct, our rational filters allow for a simple solution to load balancing when the solution of an interior eigenproblem is approached by the slicing of the sought after spectral interval.


title: Zooming In on Equity Factor Crowding

abstract: Crowding is most likely an important factor in the deterioration of strategy performance, the increase of trading costs and the development of systemic risk. We study the imprints of \emph{crowding} on both anonymous market data and a large database of metaorders from institutional investors in the U.S. equity market. We propose direct metrics of crowding that capture the presence of investors contemporaneously trading the same stock in the same direction by looking at fluctuations of the imbalances of trades executed on the market. We identify significant signs of crowding in well known equity signals, such as Fama-French factors and especially Momentum. We show that the rebalancing of a Momentum portfolio can explain between 1-2\% of order flow, and that this percentage has been significantly increasing in recent years.


title: Towards Evaluating Plan Generation Approaches with Instructional Texts

abstract: Recent research in behaviour understanding through language grounding has shown it is possible to automatically generate behaviour models from textual instructions. These models usually have goal-oriented structure and are modelled with different formalisms from the planning domain such as the Planning Domain Definition Language. One major problem that still remains is that there are no benchmark datasets for comparing the different model generation approaches, as each approach is usually evaluated on domain-specific application. To allow the objective comparison of different methods for model generation from textual instructions, in this report we introduce a dataset consisting of 83 textual instructions in English language, their refinement in a more structured form as well as manually developed plans for each of the instructions. The dataset is publicly available to the community.


title: Stake Shift in Major Cryptocurrencies: An Empirical Study

abstract: In the proof-of-stake (PoS) paradigm for maintaining decentralized, permissionless cryptocurrencies, Sybil attacks are prevented by basing the distribution of roles in the protocol execution on the stake distribution recorded in the ledger itself. However, for various reasons this distribution cannot be completely up-to-date, introducing a gap between the present stake distribution, which determines the parties' current incentives, and the one used by the protocol. In this paper, we investigate this issue, and empirically quantify its effects. We survey existing provably secure PoS proposals to observe that the above time gap between the two stake distributions, which we call stake distribution lag, amounts to several days for each of these protocols. Based on this, we investigate the ledgers of four major cryptocurrencies (Bitcoin, Bitcoin Cash, Litecoin and Zcash) and compute the average stake shift (the statistical distance of the two distributions) for each value of stake distribution lag between 1 and 14 days, as well as related statistics. We also empirically quantify the sublinear growth of stake shift with the length of the considered lag interval. Finally, we turn our attention to unusual stake-shift spikes in these currencies: we observe that hard forks trigger major stake shifts and that single real-world actors, mostly exchanges, account for major stake shifts in established cryptocurrency ecosystems.


title: Econophysics Through Computation

abstract: We introduce here very briefly, through some selective choices of problems and through the sample computer simulation programs (following the request of the editor for this invited review in the Journal of Physics Through Computation), the newly developed field of econophysics. Though related attempts could be traced much earlier (see the Appendix), the formal researches in econophysics started in 1995. We hope, the readers (students \& researchers) can start themselves to enjoy the excitement, through the sample computer programs given, and eventually can undertake researches in the frontier problems, through the indicated survey literature provided.


title: Separating Content from Style Using Adversarial Learning for Recognizing Text in the Wild

abstract: We propose to improve text recognition from a new perspective by separating the text content from complex backgrounds. As vanilla GANs are not sufficiently robust to generate sequence-like characters in natural images, we propose an adversarial learning framework for the generation and recognition of multiple characters in an image. The proposed framework consists of an attention-based recognizer and a generative adversarial architecture. Furthermore, to tackle the issue of lacking paired training samples, we design an interactive joint training scheme, which shares attention masks from the recognizer to the discriminator, and enables the discriminator to extract the features of each character for further adversarial training. Benefiting from the character-level adversarial training, our framework requires only unpaired simple data for style supervision. Each target style sample containing only one randomly chosen character can be simply synthesized online during the training. This is significant as the training does not require costly paired samples or character-level annotations. Thus, only the input images and corresponding text labels are needed. In addition to the style normalization of the backgrounds, we refine character patterns to ease the recognition task. A feedback mechanism is proposed to bridge the gap between the discriminator and the recognizer. Therefore, the discriminator can guide the generator according to the confusion of the recognizer, so that the generated patterns are clearer for recognition. Experiments on various benchmarks, including both regular and irregular text, demonstrate that our method significantly reduces the difficulty of recognition. Our framework can be integrated into recent recognition methods to achieve new state-of-the-art recognition accuracy.


title: Emission tomography with a multi-bang assumption on attenuation

abstract: We consider the problem of joint reconstruction of both attenuation $a$ and source density $f$ in emission tomography in two dimensions. This is sometimes called the Single Photon Emission Computed Tomography (SPECT) identification problem, or referred to as attenuation correction in SPECT. Assuming that $a$ takes only finitely many values and $f \in C_c^1(\mathbb{R}^2)$ we are able to characterise singularities appearing in the Attenuated Radon Transform $R_a f$, which models emission tomography data. Using this characterisation we prove that both $a$ and $f$ can be determined in some circumstances. We also propose a numerical algorithm to jointly compute $a$ and $f$ from $R_af$ based on a weakly convex regularizer when $a$ only takes values from a known finite list, and show that this algorithm performs well on some synthetic examples.


title: Exploiting Database Management Systems and Treewidth for Counting

abstract: Bounded treewidth is one of the most cited combinatorial invariants, which was applied in the literature for solving several counting problems efficiently. A canonical counting problem is #SAT, which asks to count the satisfying assignments of a Boolean formula. Recent work shows that benchmarking instances for #SAT often have reasonably small treewidth. This paper deals with counting problems for instances of small treewidth. We introduce a general framework to solve counting questions based on state-of-the-art database management systems (DBMS). Our framework takes explicitly advantage of small treewidth by solving instances using dynamic programming (DP) on tree decompositions (TD). Therefore, we implement the concept of DP into a DBMS (PostgreSQL), since DP algorithms are already often given in terms of table manipulations in theory. This allows for elegant specifications of DP algorithms and the use of SQL to manipulate records and tables, which gives us a natural approach to bring DP algorithms into practice. To the best of our knowledge, we present the first approach to employ a DBMS for algorithms on TDs. A key advantage of our approach is that DBMS naturally allow to deal with huge tables with a limited amount of main memory (RAM), parallelization, as well as suspending computation.


title: A logic-based relational learning approach to relation extraction: The OntoILPER system

abstract: Relation Extraction (RE), the task of detecting and characterizing semantic relations between entities in text, has gained much importance in the last two decades, mainly in the biomedical domain. Many papers have been published on Relation Extraction using supervised machine learning techniques. Most of these techniques rely on statistical methods, such as feature-based and tree-kernels-based methods. Such statistical learning techniques are usually based on a propositional hypothesis space for representing examples, i.e., they employ an attribute-value representation of features. This kind of representation has some drawbacks, particularly in the extraction of complex relations which demand more contextual information about the involving instances, i.e., it is not able to effectively capture structural information from parse trees without loss of information. In this work, we present OntoILPER, a logic-based relational learning approach to Relation Extraction that uses Inductive Logic Programming for generating extraction models in the form of symbolic extraction rules. OntoILPER takes profit of a rich relational representation of examples, which can alleviate the aforementioned drawbacks. The proposed relational approach seems to be more suitable for Relation Extraction than statistical ones for several reasons that we argue. Moreover, OntoILPER uses a domain ontology that guides the background knowledge generation process and is used for storing the extracted relation instances. The induced extraction rules were evaluated on three protein-protein interaction datasets from the biomedical domain. The performance of OntoILPER extraction models was compared with other state-of-the-art RE systems. The encouraging results seem to demonstrate the effectiveness of the proposed solution.


title: Deep Learning for Person Re-identification: A Survey and Outlook

abstract: Person re-identification (Re-ID) aims at retrieving a person of interest across multiple non-overlapping cameras. With the advancement of deep neural networks and increasing demand of intelligent video surveillance, it has gained significantly increased interest in the computer vision community. By dissecting the involved components in developing a person Re-ID system, we categorize it into the closed-world and open-world settings. The widely studied closed-world setting is usually applied under various research-oriented assumptions, and has achieved inspiring success using deep learning techniques on a number of datasets. We first conduct a comprehensive overview with in-depth analysis for closed-world person Re-ID from three different perspectives, including deep feature representation learning, deep metric learning and ranking optimization. With the performance saturation under closed-world setting, the research focus for person Re-ID has recently shifted to the open-world setting, facing more challenging issues. This setting is closer to practical applications under specific scenarios. We summarize the open-world Re-ID in terms of five different aspects. By analyzing the advantages of existing methods, we design a powerful AGW baseline, achieving state-of-the-art or at least comparable performance on twelve datasets for FOUR different Re-ID tasks. Meanwhile, we introduce a new evaluation metric (mINP) for person Re-ID, indicating the cost for finding all the correct matches, which provides an additional criteria to evaluate the Re-ID system for real applications. Finally, some important yet under-investigated open issues are discussed.


title: Cascaded Coded Distributed Computing Schemes Based on Placement Delivery Arrays

abstract: Li {\it et al}. introduced coded distributed computing (CDC) scheme to reduce the communication load in general distributed computing frameworks such as MapReduce. They also proposed cascaded CDC schemes where each output function is computed multiple times, and proved that such schemes achieved the fundamental trade-off between computation load and communication load. However, these schemes require exponentially large numbers of input files and output functions when the number of computing nodes gets large. In this paper, by using the structure of placement delivery arrays (PDAs), we construct several infinite classes of cascaded CDC schemes. We also show that the numbers of output functions in all the new schemes are only a factor of the number of computing nodes, and the number of input files in our new schemes is much smaller than that of input files in CDC schemes derived by Li {\it et al}.


title: Modulation of the occurrence of heat waves over the Euro-Mediterranean region by the intensity of the Atlantic Multidecadal Variability

abstract: The influence of the Atlantic Multidecadal Variability (AMV) and its amplitude on the Euro-Mediterranean summer climate is studied in two climate models, namely CNRM-CM5 and EC-Earth3P. Large ensembles of idealized experiments have been conducted in which North Atlantic sea surface temperatures (SSTs) are relaxed towards different amplitudes of the observed AMV anomalies. In agreement with observations, during a positive phase of the AMV both models simulate an increase (decrease) of temperature and a decrease (increase) of precipitation over the Mediterranean basin (northern half of Europe). An increase in the number of heat wave (HW) days is also found over the continental Mediterranean region. In terms of atmospheric circulation, an anomalous ridge (trough) over the Mediterranean basin (northern Europe) induces a thermodynamical response explaining the increase in the occurrence of HW. The anticyclonic anomaly over the Mediterranean basin is associated with drier soils and a reduction of cloud cover, which concomitantly induce a decrease (increase) of the latent (sensible) heat flux and an increase of the downward radiative fluxes over lands. The source mechanisms leading to the mid-troposphere anomalies over North Atlantic and its adjacent continents are discussed. It is found that both the tropical and extra-tropical parts of the AMV modulate the atmospheric circulation over the Euro-Atlantic region. The number of HW days increases linearly with the amplitude of the AMV. However, the strength of this relationship differs between the models, and depends on their intrinsic biases, raising questions regarding the robustness of the mechanisms of teleconnections associated with the AMV.


title: Magnetic phase diagram of the antiferromagnet U2Rh2Pb

abstract: A new U-based compound of the U2Rh2Pb, a new compound of the U2T2X series was prepared in a single-crystal form. Its structure was determined as belonging to the tetragonal Mo2FeB2 structure type with the shortest U-U spacing along the c. U2Rh2Pb undergoes an antiferromagnetic transition at TN of 20 K and exhibits an enhanced Sommerfeld coefficient 150 mJ/molK2. In contrast to the two rhodium analogues U2Rh2In and U2Rh2Sn, the easy-magnetization direction is the c with rather low value of the critical field 4.3 T of the metamagnetic transition of a spin-flip type. The observed dependences of TN and Hc on temperature and magnetic field have been used for constructing a magnetic phase diagram. The experimental observations are mostly supported by first-principles calculations.


title: Causal discovery of linear non-Gaussian acyclic models in the presence of latent confounders

abstract: Causal discovery from data affected by latent confounders is an important and difficult challenge. Causal functional model-based approaches have not been used to present variables whose relationships are affected by latent confounders, while some constraint-based methods can present them. This paper proposes a causal functional model-based method called repetitive causal discovery (RCD) to discover the causal structure of observed variables affected by latent confounders. RCD repeats inferring the causal directions between a small number of observed variables and determines whether the relationships are affected by latent confounders. RCD finally produces a causal graph where a bi-directed arrow indicates the pair of variables that have the same latent confounders, and a directed arrow indicates the causal direction of a pair of variables that are not affected by the same latent confounder. The results of experimental validation using simulated data and real-world data confirmed that RCD is effective in identifying latent confounders and causal directions between observed variables.


title: Predefined-time Terminal Sliding Mode Control of Robot Manipulators

abstract: In this paper, we present a new terminal sliding mode control to achieve predefined-time stability of robot manipulators. The proposed control is developed based on a novel predefined-time terminal sliding mode (PTSM) surface, on which the states are forced to reach the origin in a predefined time, i.e., the settling time is independent to the initial condition and can be explicitly user-defined via adjusting some specific parameters called the predefined-time parameters. It is also demonstrated that the proposed control can provide satisfactory steady-state performance in the case of both external disturbances and parametric uncertainties. Besides, we present a formal systemic analysis method to derive the sufficient conditions for guaranteeing the predefined-time convergence of the closed-loop system. Finally, the effectiveness and performance of the presented control scheme are illustrated through both theoretical comparisons and numerical simulations.


title: Simulations of supercooled water under passive or active stimuli

abstract: We use molecular dynamics simulations to study the behavior of supercooled water subject to different stimuli from a diluted azobenzene hydrophobic probe. When the molecular motor does not fold, it acts as a passive probe, modifying the structure of water around it, while when the motor is active, it induces elementary diffusion processes inside the medium acting mainly on the dynamics. We study two particular densities, the density of ambient water and a lower density around the ambient pressure ice density, chosen to favor high density liquid and low density liquid (LDL) water, respectively. We find that the passive probe induces ever an acceleration or a slowing down of the diffusion process around it depending on the density of water, while the active probe induces acceleration only. We find a crossover between the diffusion coefficients for the two densities near the passive probe, around T = 215 K. This dynamical crossover is associated with a modification of the structure of water near the probe. Structure calculations show a crossover of the proportion of LDL water around the same temperature, suggesting that it induces the observed dynamical crossover. In opposition with these results, the active stimuli increase diffusion for both densities and decrease the proportion of LDL water at low temperatures. However, we also find for the active stimuli a crossover of the LDL proportion between the two densities of study, showing remarkable similarities between active and passive stimulus results.


title: Mining customer product reviews for product development: A summarization process

abstract: This research set out to identify and structure from online reviews the words and expressions related to customers' likes and dislikes to guide product development. Previous methods were mainly focused on product features. However, reviewers express their preference not only on product features. In this paper, based on an extensive literature review in design science, the authors propose a summarization model containing multiples aspects of user preference, such as product affordances, emotions, usage conditions. Meanwhile, the linguistic patterns describing these aspects of preference are discovered and drafted as annotation guidelines. A case study demonstrates that with the proposed model and the annotation guidelines, human annotators can structure the online reviews with high inter-agreement. As high inter-agreement human annotation results are essential for automatizing the online review summarization process with the natural language processing, this study provides materials for the future study of automatization.


title: Longitudinal flow decorrelations in Xe+Xe collisions at $\sqrt{s_{\mathrm{NN}}}=5.44$ TeV with the ATLAS detector

abstract: The first measurement of longitudinal decorrelations of harmonic flow amplitudes $v_n$ for $n=2$, 3 and 4 in Xe+Xe collisions at $\sqrt{s_{\mathrm{NN}}}=5.44$ TeV is obtained using 3 ${\mu}\textrm{b}^{-1}$ of data with the ATLAS detector at the LHC. The decorrelation signal for $v_3$ and $v_4$ is found to be nearly independent of collision centrality and transverse momentum ($p_{\mathrm{T}}$) requirements on final-state particles, but for $v_2$ a strong centrality and $p_{\mathrm{T}}$ dependence is seen. When compared with the results from Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV, the longitudinal decorrelation signal in mid-central Xe+Xe collisions is found to be larger for $v_2$, but smaller for $v_3$. Current hydrodynamic models reproduce the ratios of the $v_n$ measured in Xe+Xe collisions to those in Pb+Pb collisions but fail to describe the magnitudes and trends of the ratios of longitudinal flow decorrelations between Xe+Xe and Pb+Pb. The results on the system-size dependence provide new insights and an important lever-arm to separate effects of the longitudinal structure of the initial state from other early-time and late-time effects in heavy-ion collisions.


title: Anisotropic Electron-Photon-Phonon Coupling in Layered MoS2

abstract: Transition metal dichalcogenide, especially MoS2 has attracted lot of attention recently owing to its tunable visible range band gap and anisotropic electronic and transport properties. Here, we report a comprehensive inelastic light scattering measurements on CVD grown (horizontally and vertically aligned flakes) as well as single crystal flakes of MoS2, probing the anisotropic optical response via studying the polarization dependence intensity of the Raman active phonon modes as a function of different incident photon energy and flake thickness. Our polarization dependent Raman studies intriguingly revealed strong anisotropic behavior reflected in the anomalous renormalization of the modes intensity as a function of flake thickness, phonons and photon energy. Our observations reflects the strong anisotropic light-matter interaction in this high crystalline symmetric layered MoS2 system especially for the in-plane vibrations, which is crucial for understanding as well application of these materials for future application such as optoelectronic applications.


title: On QCD strings beyond non-interacting model

abstract: We investigate the implications of Nambu-Goto (NG), L\"uscher-Weisz (LW) and Polyakov-Kleinert (PK) string actions for the Casimir energy of the QCD flux-tube at one and two loop order at finite temperature. We perform our numerical study on the 4-dim pure SU(3) Yang-Mills lattice gauge theory at finite temperature $\beta=6.0$. The static quark-antiquark potential is calculated using link-integrated Polyakov loop correlators. At a high temperature-close to the critical point- We find that the rigidity and self-interactions effects of the QCD string to become detectable. The remarkable feature of this model is that it retrieves a correct dependency of the renormalized string tension on the temperature. Good fit to static potential data at source separations $R \ge 0.5$ fm is obtained when including additional two-boundary terms of (LW) action. On the other-hand, at a lower temperature-near the QCD plateau- We detect signatures of two boundary terms of the L\"uscher-Weisz (LW) string action. The (LW) string with boundary action is yielding a static potential which is in a good agreement with the lattice data, however, for color source separation as short as $R=0.3$ fm.


title: Classification of simple bounded weight modules of the Lie algebra of vector fields on $\C^n$

abstract: Let $W_n^+$ be the Lie algebra of the Lie algebra of vector fields on $\C^n$. In this paper, we classify all simple bounded weight $W_n^+$ modules. Any such module is isomorphic to the simple quotient of a tensor module $F(P,M)=P\otimes M$ for a simple weight module $P$ over the Weyl algebra $K_n^+$ and a finite dimensional simple $\gl_n$ module $M$.


title: Relativity and Equivalence in Hilbert Space: A Principle-Theory Approach to the Aharonov-Bohm Effect

abstract: This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.


title: Towards High Performance Java-based Deep Learning Frameworks

abstract: The advent of modern cloud services along with the huge volume of data produced on a daily basis, have set the demand for fast and efficient data processing. This demand is common among numerous application domains, such as deep learning, data mining, and computer vision. Prior research has focused on employing hardware accelerators as a means to overcome this inefficiency. This trend has driven software development to target heterogeneous execution, and several modern computing systems have incorporated a mixture of diverse computing components, including GPUs and FPGAs. However, the specialization of the applications' code for heterogeneous execution is not a trivial task, as it requires developers to have hardware expertise in order to obtain high performance. The vast majority of the existing deep learning frameworks that support heterogeneous acceleration, rely on the implementation of wrapper calls from a high-level programming language to a low-level accelerator backend, such as OpenCL, CUDA or HLS. In this paper we have employed TornadoVM, a state-of-the-art heterogeneous programming framework to transparently accelerate Deep Netts; a Java-based deep learning framework. Our initial results demonstrate up to 8x performance speedup when executing the back propagation process of the network's training on AMD GPUs against the sequential execution of the original Deep Netts framework.