title: Which Tasks Should Be Learned Together in Multi-task Learning?

abstract: Many computer vision applications require solving multiple tasks in real-time. A neural network can be trained to solve multiple tasks simultaneously using multi-task learning. This can save computation at inference time as only a single network needs to be evaluated. Unfortunately, this often leads to inferior overall performance as task objectives can compete, which consequently poses the question: which tasks should and should not be learned together in one network when employing multi-task learning? We study task cooperation and competition in several different learning settings and propose a framework for assigning tasks to a few neural networks such that cooperating tasks are computed by the same neural network, while competing tasks are computed by different networks. Our framework offers a time-accuracy trade-off and can produce better accuracy using less inference time than not only a single large multi-task neural network but also many single-task networks.


title: The Lie algebra of classical mechanics

abstract: Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied by skew symmetry and the Jacobi identity. Some Poisson brackets, or combinations of brackets, are zero for all choices of kinetic and potential energy, regardless of the dimension of the system. Therefore, we study the universal object in this setting, the `Lie algebra of classical mechanics' modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. We show that it is the direct sum of an abelian algebra $\mathcal X$, spanned by `modified' potential energies isomorphic to the free commutative nonassociative algebra with one generator, and an algebra freely generated by the kinetic energy and its Poisson bracket with $\mathcal X$. We calculate the dimensions $c_n$ of its homogeneous subspaces and determine the value of its entropy $\lim_{n\to\infty} c_n^{1/n}$. It is $1.8249\dots$, a fundamental constant associated to classical mechanics. We conjecture that the class of systems with Euclidean kinetic energy metrics is already free, i.e., the only linear identities satisfied by the Lie brackets of all such systems are those satisfied by the Lie algebra of classical mechanics.


title: Power Inversion of the Massive MIMO Channel

abstract: Channel hardening characterises the diminishing influence of small scale fading on large scale antenna systems. The effective massive MIMO time domain channel is introduced and applied to a maximum diversity channel with rectangular power delay profile. This model bounds channel hardening and allows a proper interpretation from a radio design perspective. The reduced variability of the effective channel enables power inversion to obtain a downlink channel that only depends on the large scale fading properties.


title: High Definition Astrometry

abstract: High Definition Astrometry (0.1 - 1.0 micro-arcseconds) will open a new window into neighboring planetary systems. For the first time, the realm of temperate terrestrial worlds will be explored. This includes Earth Analogs, thereby allowing the value of eta-Earth to be directly determined, without resort to extrapolation. High Definition Astrometry will provide a means to confirm the existence of Radial Velocity (RV) planets while, at the same time, measuring true mass, along with orbit inclination and radius, i.e., system architecture. Planetary systems not amenable to RV search, such as those in a "face-on" orientation, will be surveyed for the first time. Extreme Precision Astrometry is not only useful, but is essential to the future of exoplanet research.


title: On the measurements of assembly bias and splashback radius using optically selected galaxy clusters

abstract: We critically examine the methodology behind the claimed observational detection of halo assembly bias using optically selected galaxy clusters by Miyatake et al. (2016) and More et al. (2016). We mimic the optical cluster detection algorithm and apply it to two different mock catalogs generated from the Millennium simulation galaxy catalog, one in which halo assembly bias signal is present, while the other in which the assembly bias signal has been expressly erased. We split each of these cluster samples into two using the average cluster-centric distance of the member galaxies to measure the difference in the clustering strength of the subsamples with respect to each other. We observe that the subsamples split by cluster-centric radii show differences in clustering strength, even in the catalog where the true assembly bias signal was erased. We show that this is a result of contamination of the member galaxy sample from interlopers along the line-of-sight. This undoubtedly shows that the particular methodology adopted in the previous studies cannot be used to claim a detection of the assembly bias signal. We figure out the tell-tale signatures of such contamination, and show that the observational data also shows similar signatures. Furthermore, we also show that projection effects in optical galaxy clusters can bias the inference of the 3-dimensional edges of galaxy clusters (splashback radius), so appropriate care should be taken while interpreting the splashback radius of optical clusters.


title: Gradient tree boosting with random output projections for multi-label classification and multi-output regression

abstract: In many applications of supervised learning, multiple classification or regression outputs have to be predicted jointly. We consider several extensions of gradient boosting to address such problems. We first propose a straightforward adaptation of gradient boosting exploiting multiple output regression trees as base learners. We then argue that this method is only expected to be optimal when the outputs are fully correlated, as it forces the partitioning induced by the tree base learners to be shared by all outputs. We then propose a novel extension of gradient tree boosting to specifically address this issue. At each iteration of this new method, a regression tree structure is grown to fit a single random projection of the current residuals and the predictions of this tree are fitted linearly to the current residuals of all the outputs, independently. Because of this linear fit, the method can adapt automatically to any output correlation structure. Extensive experiments are conducted with this method, as well as other algorithmic variants, on several artificial and real problems. Randomly projecting the output space is shown to provide a better adaptation to different output correlation patterns and is therefore competitive with the best of the other methods in most settings. Thanks to model sharing, the convergence speed is also improved, reducing the computing times (or the complexity of the model) to reach a specific accuracy.


title: Covering Metric Spaces by Few Trees

abstract: A {\em tree cover} of a metric space $(X,d)$ is a collection of trees, so that every pair $x,y\in X$ has a low distortion path in one of the trees. If it has the stronger property that every point $x\in X$ has a single tree with low distortion paths to all other points, we call this a {\em Ramsey} tree cover. Tree covers and Ramsey tree covers have been studied by \cite{BLMN03,GKR04,CGMZ05,GHR06,MN07}, and have found several important algorithmic applications, e.g. routing and distance oracles. The union of trees in a tree cover also serves as a special type of spanner, that can be decomposed into a few trees with low distortion paths contained in a single tree; Such spanners for Euclidean pointsets were presented by \cite{ADMSS95}. In this paper we devise efficient algorithms to construct tree covers and Ramsey tree covers for general, planar and doubling metrics. We pay particular attention to the desirable case of distortion close to 1, and study what can be achieved when the number of trees is small. In particular, our work shows a large separation between what can be achieved by tree covers vs. Ramsey tree covers.


title: On the visible continuum and lines in the Interstellar Extinction Curve

abstract: This work purports to help understand the InterStellar Extinction Curve in and near the visible range. In this range, crystalline materials are known to be transparent, so amorphous dust is needed. Molecular modeling experiments are used to compute the electronic spectra of various, relatively large, carbon and silicate structures. Hardly any transition shows up beyond 0.4 mum when the structure is in its ground state (the lowest, most stable state, usually crystalline). This is no longer the case as soon as the structure is distorted in any way. Examples of simulated distortions (or ``defects'') are: angular or linear bond alteration, insertion of free radicals near the main structure, dangling bonds; their cumulative effects lead to the amorphous state. It is shown that, in this state, a structure bears a majority of weak transitions and a minority of strong ones. As the structure grows in size, the former ultimately form a weak continuum already detected experimentally, in the visible, on amorphous carbons and silicates. The stronger transitions will manage to emerge above the continuum, especially when they bunch together by chance near the same wavelength. Parallels are drawn between several properties of the computed continua and transitions and the observed continuum and Diffuse Interstellar Bands.


title: Discrete Logarithmic Fuzzy Vault Scheme

abstract: In this paper a three fuzzy vault schemes which integrated with discrete logarithmic encryption scheme are proposed. In the first scheme, the message m is encoded with discrete logarithmic encryption scheme using randomly generated identity key \k{appa} for every message and then divided into non-overlapping segments. In the second scheme, the message is divided into non-overlapping segments and each segment is encoded with discrete logarithmic encryption scheme using the randomly generated identity key \k{appa}. In the third scheme, the message is divided into non-overlapping segments where even segments are encoded with identity key \k{appa}_even and odd segments are encoded with identity key \k{appa}_odd. Identity keys \k{appa}_even and \k{appa}_odd are randomly generated for every message. Finally, the encoded segments are declared as coefficients of a polynomial of specific degree. In all proposed schemes, elements of locking set A are used as X-coordinate values to compute evaluations of the polynomial by projecting elements of A onto points lying on the polynomial. A large number of random chaff points that do not lie on the polynomial are added to create noise to hide the encoded segments. Security analysis has shown the proposed scheme enjoys provable security over classical fuzzy vaults.


title: Human-like machine thinking: Language guided imagination

abstract: Human thinking requires the brain to understand the meaning of language expression and to properly organize the thoughts flow using the language. However, current natural language processing models are primarily limited in the word probability estimation. Here, we proposed a Language guided imagination (LGI) network to incrementally learn the meaning and usage of numerous words and syntaxes, aiming to form a human-like machine thinking process. LGI contains three subsystems: (1) vision system that contains an encoder to disentangle the input or imagined scenarios into abstract population representations, and an imagination decoder to reconstruct imagined scenario from higher level representations; (2) Language system, that contains a binarizer to transfer symbol texts into binary vectors, an IPS (mimicking the human IntraParietal Sulcus, implemented by an LSTM) to extract the quantity information from the input texts, and a textizer to convert binary vectors into text symbols; (3) a PFC (mimicking the human PreFrontal Cortex, implemented by an LSTM) to combine inputs of both language and vision representations, and predict text symbols and manipulated images accordingly. LGI has incrementally learned eight different syntaxes (or tasks), with which a machine thinking loop has been formed and validated by the proper interaction between language and vision system. The paper provides a new architecture to let the machine learn, understand and use language in a human-like way that could ultimately enable a machine to construct fictitious 'mental' scenario and possess intelligence.


title: On H\"{o}lder solutions to the spiral winding problem

abstract: The winding problem concerns understanding the regularity of functions which map a line segment onto a spiral. This problem has relevance in fluid dynamics and conformal welding theory, where spirals arise naturally. Here we interpret `regularity' in terms of H\"{o}lder exponents and establish sharp results for spirals with polynomial winding rates, observing that the sharp H\"{o}lder exponent of the forward map and its inverse satisfy a formula reminiscent of Sobolev conjugates. We also investigate the dimension theory of these spirals, in particular, the Assouad dimension, Assouad spectrum and box dimensions. The aim here is to compare the bounds on the H\"{o}lder exponents in the winding problem coming directly from knowledge of dimension (and how dimension distorts under H\"{o}lder image) with the sharp results. We find that the Assouad spectrum provides the best information, but that even this is not sharp. We also find that the Assouad spectrum is the only `dimension' which distinguishes between spirals with different polynomial winding rates in the superlinear regime.


title: Rates of convergence in the CLT for nonlinear statistics under relaxed moment conditions

abstract: This paper is concerned with normal approximation under relaxed moment conditions using Stein's method. We obtain the explicit rates of convergence in the central limit theorem for (i) nonlinear statistics with finite absolute moment of order $2+\delta\in(2,3];$ (ii) nonlinear statistics with vanishing third moment and finite absolute moment of order $3+\delta\in(3,4].$ When applied to specific examples, these rates are of the optimal order $O(n^{-\frac{\delta}{2}})$ and $O(n^{-\frac{1+\delta}{2}}).$ Our proof are based on the covariance identify formula and simple observations about the solution of Stein's equation.


title: Probing dark matter and dark energy through Gravitational Time Advancement

abstract: The expression of gravitational time advancement (negative time delay) for particles with non-zero mass in Schwarzschild geometry has been obtained. The influences of the gravitational field that describes the observed rotation curves of spiral galaxies and that of dark energy (in the form of cosmological constant) on time advancement of particles have also been studied. The present findings suggest that in presence of dark matter gravitational field the time advancement may take place irrespective of gravitational field of the observer, unlike the case of pure Schwarzschild geometry where gravitational time advancement takes place only when the observer is situated at stronger gravitational field compare to the gravitational field encountered by the particle during its journey. When applied to the well known case of SN 1987a, it is found that the net time delay of a photon/gravitational wave is much smaller than quoted in the literature. In the presence of dark matter field, the photon and neutrinos from SN 1987a should have been suffered gravitational time advancement rather than the delay.


title: Gradient Based Biobjective Shape Optimization to Improve Reliability and Cost of Ceramic Components

abstract: We consider the simultaneous optimization of the reliability and the cost of a ceramic component in a biobjective PDE constrained shape optimization problem. A probabilistic Weibull-type model is used to assess the probability of failure of the component under tensile load, while the cost is assumed to be proportional to the volume of the component. Two different gradient-based optimization methods are suggested and compared at 2D test cases. The numerical implementation is based on a first discretize then optimize strategy and benefits from efficient gradient computations using adjoint equations. The resulting approximations of the Pareto front nicely exhibit the trade-off between reliability and cost and give rise to innovative shapes that compromise between these conflicting objectives.


title: Pseudo-rotations and holomorphic curves

abstract: We prove a variant of the Chance-McDuff conjecture for pseudo-rotations: under certain additional conditions, a closed symplectic manifold which admits a Hamiltonian pseudo-rotation must have deformed quantum product and, in particular, some non-zero Gromov-Witten invariants. The only assumptions on the manifold are that it is weakly monotone and that its minimal Chern number is greater than one. The conditions on the pseudo-rotation are expressed in terms of the linearized flow at one of the fixed points and hypothetically satisfied for most (but not all) pseudo-rotations.


title: A note on variance bounds and location of eigenvalues

abstract: We discuss some extensions and refinements of the variance bounds for both real and complex numbers. The related bounds for the eigenvalues and spread of a matrix are also derived here.


title: Role of guiding center in Landau level system and mechanical and pseudo orbital angular momenta

abstract: There is an interesting but not so popular quantity called pseudo orbital angular momentum (OAM) in the Landau-level system, besides the well-known canonical and mechanical OAMs. The pseudo OAM can be regarded as a gauge-invariant extension of the canonical OAM, which is formally gauge invariant and reduces to the canonical OAM in a certain gauge. Since both of the pseudo OAM and the mechanical OAM are gauge invariant, it is impossible to judge which of those is superior to the other solely from the gauge principle. However, these two OAMs have totally different physical meanings. The mechanical OAM shows manifest observability and clear correspondence with the classical OAM of the cyclotron motion. On the other hand, we demonstrate that the standard canonical OAM as well as the pseudo OAM in the Landau problem are the concepts which crucially depend on the choice of the origin of the coordinate system. We try to reveal the relation between the pseudo OAM and the mechanical OAM as well as their observability by paying special attention to the role of guiding-center operator in the Landau problem.


title: RaFM: Rank-Aware Factorization Machines

abstract: Factorization machines (FM) are a popular model class to learn pairwise interactions by a low-rank approximation. Different from existing FM-based approaches which use a fixed rank for all features, this paper proposes a Rank-Aware FM (RaFM) model which adopts pairwise interactions from embeddings with different ranks. The proposed model achieves a better performance on real-world datasets where different features have significantly varying frequencies of occurrences. Moreover, we prove that the RaFM model can be stored, evaluated, and trained as efficiently as one single FM, and under some reasonable conditions it can be even significantly more efficient than FM. RaFM improves the performance of FMs in both regression tasks and classification tasks while incurring less computational burden, therefore also has attractive potential in industrial applications.


title: Probing maximum energy of cosmic rays in SNR through gamma rays and neutrinos from the molecular clouds around SNR W28

abstract: The galactic cosmic rays are generally believed to be originated in supernova remnants (SNRs), produced in diffusive shock acceleration (DSA) process in supernova blast waves driven by expanding SNRs. One of the key unsettled issue in SNR origin of cosmic ray model is the maximum attainable energy by a cosmic ray particle in the supernova shock. Recently it has been suggested that an amplification of effective magnetic field strength at the shock may take place in young SNRs due to growth of magnetic waves induced by accelerated cosmic rays and as a result the maximum energy achieved by cosmic rays in SNR may reach the knee energy instead of $\sim 200$ TeV as predicted earlier under normal magnetic field situation. In the present work we investigate the implication of such maximum energy scenarios on TeV gamma rays and neutrino fluxes from the molecular clouds interacting with the SNR W28. The authors compute the gamma-ray and neutrino flux assuming two different values for the maximum energy reached by cosmic rays in the SNR, from CR interaction in nearby molecular clouds. Both protons and nuclei are considered as accelerated particles and as target material. Our findings suggest that the issue of the maximum energy of cosmic rays in SNRs can be observationally settled by the upcoming gamma-ray experiment the Large High Altitude Air Shower Observatory (LHAASO). The estimated neutrino fluxes from the molecular clouds are , however, out of reach of the present/near future generation of neutrino telescopes.


title: Ultrafast nematic-orbital excitation in FeSe

abstract: The electronic nematic phase is an unconventional state of matter that spontaneously breaks the rotational symmetry of electrons. In iron-pnictides/chalcogenides and cuprates, the nematic ordering and fluctuations have been suggested to have as-yet-unconfirmed roles in superconductivity. However, most studies have been conducted in thermal equilibrium, where the dynamical property and excitation can be masked by the coupling with the lattice. Here we use femtosecond optical pulse to perturb the electronic nematic order in FeSe. Through time-, energy-, momentum- and orbital-resolved photo-emission spectroscopy, we detect the ultrafast dynamics of electronic nematicity. In the strong-excitation regime, through the observation of Fermi surface anisotropy, we find a quick disappearance of the nematicity followed by a heavily-damped oscillation. This short-life nematicity oscillation is seemingly related to the imbalance of Fe 3dxz and dyz orbitals. These phenomena show critical behavior as a function of pump fluence. Our real-time observations reveal the nature of the electronic nematic excitation instantly decoupled from the underlying lattice.


title: The Curious Case of Machine Learning In Malware Detection

abstract: In this paper, we argue that machine learning techniques are not ready for malware detection in the wild. Given the current trend in malware development and the increase of unconventional malware attacks, we expect that dynamic malware analysis is the future for antimalware detection and prevention systems. A comprehensive review of machine learning for malware detection is presented. Then, we discuss how malware detection in the wild present unique challenges for the current state-of-the-art machine learning techniques. We defined three critical problems that limit the success of malware detectors powered by machine learning in the wild. Next, we discuss possible solutions to these challenges and present the requirements of next-generation malware detection. Finally, we outline potential research directions in machine learning for malware detection.


title: On virtual cabling and structure of 4-strand virtual pure braid group

abstract: This article is dedicate to cabling on virtual braids. This construction gives a new generating set for the virtual pure braid group $VP_n$. Consequently we describe $VP_4$ as HNN-extension. As an application to classical braids, we find a new presentation of the Artin pure braid group $P_4$ in terms of the cabled generators.


title: A Graph Theoretical Approach to the Collatz Problem

abstract: Andrei et al. have shown in 2000 that the graph $\boldsymbol{\mathrm{C}}$ of the Collatz function starting with root $8$ after the initial loop is an infinite binary tree $\boldsymbol{A}(8)$. According to their result they gave a reformulated version of the Collatz conjecture: the vertex set $V(\boldsymbol{A}(8))=\mathbb{Z}^+$. In this paper an inverse Collatz function $\overrightarrow{C}$ with eliminated initial loop is used as generating function of a Collatz graph ${\boldsymbol{\mathrm{C}}}_{\overrightarrow{C}}$. This graph can be considered as the union of one forest that stems from sequences of powers of 2 with odd start values and a second forest that is based on branch values $y=6k+4$ where two Collatz sequences meet. A proof that the graph ${\boldsymbol{\mathrm{C}}}_{\overrightarrow{C}}(1)$ is an infinite binary tree $\boldsymbol{A}_{\overrightarrow{C}}$ with vertex set $V({\boldsymbol{A}}_{\overrightarrow{C}}(1))=\mathbb{Z}^+$ completes the paper.


title: Holographic complexity of the electromagnetic black hole

abstract: In this paper, we use the "complexity equals action" (CA) conjecture to evaluate the holographic complexity in some multiple-horzion black holes for F(Riemann) gravity coupled to a first-order source-free electrodynamics. Motivated by the vanishing result of the purely magnetic black hole founded by Goto $et.\, al$, we investigate the complexity in a static charged black hole with source-free electrodynamics and find that this vanishing feature of the late-time rate is universal for a purely static magnetic black hole. However, this result shows some unexpected features of the late-time growth rate. We show how the inclusion of a boundary term for the first-order electromagnetic field to the total action can make the holographic complexity be well-defined and obtain a general expression of the late-time complexity growth rate with these boundary terms. We apply our late-time result to some explicit cases and show how to choose the proportional constant of these additional boundary terms to make the complexity be well-defined in the zero-charge limit. For the static magnetic black hole in Einstein gravity coupled to a first-order electrodynamics, we find that there is a general relationship between the proper proportional constant and the Lagrangian function $h(\math{F})$ of the electromagnetic field: if $h(\math{F})$ is a convergent function, the choice of the proportional constant is independent on explicit expressions of $h(\math{F})$ and it should be chosen as $4/3$; if $h(\math{F})$ is a divergent function, the proportional constant is dependent on the asymptotic index of the Lagrangian function.


title: Non-Linear New Product $A^*B-B^*A$ Derivations on $\ast$-Algebras

abstract: Let $\mathcal{A}$ be a prime $\ast$-algebra. In this paper, we suppose that $\Phi:\mathcal{A}\to\mathcal{A}$ satisfies $$\Phi(A\diamond B)=\Phi(A)\diamond B+A\diamond\Phi(B)$$ where $A\diamond B = A^{*}B - B^{*}A$ for all $A,B\in\mathcal{A}$ .We will show that if $\Phi(\alpha \frac{I}{2})$ is self-adjoint for $\alpha\in\{1,i\}$ then $\Phi$ is additive $\ast$-derivation.


title: Two-dimensional transition metal chalcogenides with hexagonal and orthorhombic structures: candidates for auxetics and photocatalysts

abstract: In this paper, we perform theoretical study on the physical properties of two-dimensional transition metal chalcogenides MX$_{2}$ and M$_{2}$X$_{3}$ (M= Ni, Pd; X= S, Se, Te). These studied materials are classified in three stable phases according to their lattice structures: hexagonal MX$_{2}$, orthorhombic MX$_{2}$ and orthorhombic M$_{2}$X$_{3}$. They have either isotropic or anisotropic in-plane properties depending on their symmetries. In particular, the orthorhombic MX$_{2}$ and M$_{2}$X$_{3}$ have low lattice symmetry and present highly anisotropic properties. The orthorhombic MX$_{2}$ possess giant negative in-plane Poisson's ratios, different from the other two phases. Moreover, by joint analysis of band gap, band edge and optical absorption, the orthorhombic MX$_{2}$ and M$_{2}$X$_{3}$ are found to be highly efficient as water splitting photocatalysts within the visible and ultraviolet sunlight regions.


title: Combining Experience Replay with Exploration by Random Network Distillation

abstract: Our work is a simple extension of the paper "Exploration by Random Network Distillation". More in detail, we show how to efficiently combine Intrinsic Rewards with Experience Replay in order to achieve more efficient and robust exploration (with respect to PPO/RND) and consequently better results in terms of agent performances and sample efficiency. We are able to do it by using a new technique named Prioritized Oversampled Experience Replay (POER), that has been built upon the definition of what is the important experience useful to replay. Finally, we evaluate our technique on the famous Atari game Montezuma's Revenge and some other hard exploration Atari games.


title: Strong $(L^2,L^\gamma\cap H_0^1)$-continuity in initial data of nonlinear reaction-diffusion equation in any space dimension

abstract: In this paper, we study the continuity in initial data of a classical reaction-diffusion equation with arbitrary $p>2$ order nonlinearity and in any space dimension $N\geq 1$. It is proved that the weak solutions can be $(L^2, L^\gamma\cap H_0^1)$-continuous in initial data for any $\gamma\geq 2$ (independent of the physical parameters of the system), i.e., can converge in the norm of any $L^\gamma\cap H_0^1$ as the corresponding initial values converge in $L^2$. Applying this to the global attractor we find that, with external forcing only in $ L^2$, the attractor $\mathscr{A}$ attracts bounded subsets of $L^2$ in the norm of any $L^\gamma\cap H_0^1$, and that every translation set $\mathscr{A}-z_0$ of $\mathscr{A}$ for any $z_0 \in \mathscr{A}$ is a finite dimensional compact subset of $L^\gamma\cap H_0^1$. The main technique we employ is a combination of the mathematical induction and a decomposition of the nonlinearity by which the continuity result is strengthened to $(L^2, L^\gamma \cap H_0^1)$-continuity and, since interpolation inequalities are avoided, the restriction on space dimension is removed.


title: Convolutional Feature Extraction and Neural Arithmetic Logic Units for Stock Prediction

abstract: Stock prediction is a topic undergoing intense study for many years. Finance experts and mathematicians have been working on a way to predict the future stock price so as to decide to buy the stock or sell it to make profit. Stock experts or economists, usually analyze on the previous stock values using technical indicators, sentiment analysis etc to predict the future stock price. In recent years, many researches have extensively used machine learning for predicting the stock behaviour. In this paper we propose data driven deep learning approach to predict the future stock value with the previous price with the feature extraction property of convolutional neural network and to use Neural Arithmetic Logic Units with it.


title: Smooth times of a flow in dimension 1

abstract: Let $\alpha$ be an irrational number and $I$ an interval of $\mathbb{R}$. If $\alpha$ is Diophantine, we show that any one-parameter group of homeomorphisms of $I$ whose time-$1$ and $\alpha$ maps are $C^\infty$ is in fact the flow of a $C^\infty$ vector field. If $\alpha$ is Liouville on the other hand, we construct a one-parameter group of homeomorphisms of $I$ whose time-$1$ and $\alpha$ maps are $C^\infty$ but which is not the flow of a $C^2$ vector field (though, if $I$ has boundary, we explain that the hypotheses force it to be the flow of a $C^1$ vector field). We extend both results to families of irrational numbers, the critical arithmetic condition in this case being simultaneous "diophantinity". For one-parameter groups defining a free action of $(\mathbb{R},+)$ on $I$, these results follow from famous linearization theorems for circle diffeomorphisms. The novelty of this work concerns non-free actions.


title: Direct sum condition and Artin Approximation in Banach spaces

abstract: The system of undetermined coefficients of a bifurcation problem G[z]=0 in Banach spaces is investigated for proving the existence of families of solution curves by use of the implicit function theorem. The main theorem represents an Artin-Tougeron type result in the sense that approximation of order 2k ensures exact solutions agreeing up to order k with the approximation [13], [22]. Alternatively, it may be interpreted as Hensel's Lemma in Banach spaces. In the spirit of [9] and [18], the required surjectivity condition is interpreted as a direct sum condition of order k that allows for solving the remainder equation with respect to graded subspaces derived from an appropriate filtration [24], [25]. In the direction of these subspaces, the determinant can be calculated in a finite dimensional setting, enabling the investigation of secondary global bifurcation phenomena by sign change of Brouwer's degree [18]. The direct sum condition seems to be a generalization of the direct sum condition introduced in [9]. The implicit function theorem delivers stability of k leading coefficients with respect to perturbations of order 2k+1 and uniqueness in pointed wedges around the solution curves. Further, a lower bound of the Greenberg function of a singularity is constructed by use of a step function obtained from k-degrees. Finally, based on Kouchnirenko's theorem [17], the results are applied to Newton-polygons where it is shown that the Milnor number of a singularity can be calculated by the sum of k-degrees of corresponding solution curves. Simple ADE-singularities are investigated in detail. The main theorem represents a version of strong implicit function theorem in Banach spaces, possibly comparable to theorems in [2]. Moreover, our aim is to extend the direct sum condition of order k from [9] to certain topics in singularity and approximation theory.


title: Microblog Hashtag Generation via Encoding Conversation Contexts

abstract: Automatic hashtag annotation plays an important role in content understanding for microblog posts. To date, progress made in this field has been restricted to phrase selection from limited candidates, or word-level hashtag discovery using topic models. Different from previous work considering hashtags to be inseparable, our work is the first effort to annotate hashtags with a novel sequence generation framework via viewing the hashtag as a short sequence of words. Moreover, to address the data sparsity issue in processing short microblog posts, we propose to jointly model the target posts and the conversation contexts initiated by them with bidirectional attention. Extensive experimental results on two large-scale datasets, newly collected from English Twitter and Chinese Weibo, show that our model significantly outperforms state-of-the-art models based on classification. Further studies demonstrate our ability to effectively generate rare and even unseen hashtags, which is however not possible for most existing methods.


title: The Murphy-Good plot: a better method of analysing field emission data

abstract: Measured field electron emission (FE) current-voltage Im(Vm) data are traditionally analysed via Fowler-Nordheim (FN) plots, as ln{Im/(Vm)**2} vs 1/Vm. These have been used since 1929, because in 1928 FN predicted they would be linear. In the 1950s, a mistake in FN's thinking was found. Corrected theory by Murphy and Good (MG) made theoretical FN plots slightly curved. This causes difficulties when attempting to extract precise values of emission characterization parameters from straight lines fitted to experimental FN plots. Improved mathematical understanding, from 2006 onwards, has now enabled a new FE data-plot form, the "Murphy-Good plot". This plots ln{Im/(Vm)**(2-({\eta}/6)} vs 1/Vm, where {\eta} depends only on local work function. Modern ("21st century") MG theory predicts that a theoretical MG plot should be "almost exactly" straight. This makes precise extraction of well-defined characterization parameters from ideal I_m(V_m) data much easier. This article gives the theory needed to extract characterization parameters from MG plots, setting it within the framework of wider difficulties in interpreting FE Im(Vm) data (among them, use of the "planar emission approximation"). Careful use of MG plots could also help remedy other problems in FE technological literature. It is argued MG plots should now supersede FN plots.


title: Pair correlation functions of the Ising type model with spin 1 within two-particle cluster approximation

abstract: The Blume-Emery-Griffiths model on hypercubic lattices within the two-particle cluster approximation is investigated. The expressions for the pair correlation functions in $\bf{k}$-space are derived. On the basis of obtained results (at $\bf{k}=0$) the static susceptibility of this model on the simple cubic lattice is calculated at various values of the single-ion anisotropy and biquadratic interaction.


title: Orthogonal polynomials and Fourier orthogonal series on a cone

abstract: Orthogonal polynomials and the Fourier orthogonal series on a cone of revolution in $\mathbb{R}^{d+1}$ are studied. It is shown that orthogonal polynomials with respect to the weight function $(1-t)^\gamma (t^2-\|x\|^2)^{\mu-\frac12}$ on the cone $\mathbb{V}^{d+1} = \{(x,t): \|x\| \le t \le 1\}$ are eigenfunctions of a second order differential operator, with eigenvalues depending only on the degree of the polynomials, and the reproducing kernels of these polynomials satisfy a closed formula that has a one-dimensional chacteristic. The latter leads to a convolution structure on the cone, which is then utilized to study the Fourier orthogonal series. This narrative also holds, in part, for more general classes of weight functions. Furthermore, analogous results are also established for orthogonal structure on the surface of the cone.


title: BERTSel: Answer Selection with Pre-trained Models

abstract: Recently, pre-trained models have been the dominant paradigm in natural language processing. They achieved remarkable state-of-the-art performance across a wide range of related tasks, such as textual entailment, natural language inference, question answering, etc. BERT, proposed by Devlin et.al., has achieved a better marked result in GLUE leaderboard with a deep transformer architecture. Despite its soaring popularity, however, BERT has not yet been applied to answer selection. This task is different from others with a few nuances: first, modeling the relevance and correctness of candidates matters compared to semantic relatedness and syntactic structure; second, the length of an answer may be different from other candidates and questions. In this paper. we are the first to explore the performance of fine-tuning BERT for answer selection. We achieved STOA results across five popular datasets, demonstrating the success of pre-trained models in this task.


title: Secure Analysis Over Generalized-K Channels

abstract: In this letter, we adopt the SOP definition in [4] and the simplified model of [8], and derive a closed-form expression for the proposed SOP over GK fading channels. To simplify this expression and obtain additional insights, we also perform an asymptotic analysis of the main link in the high SNR region.


title: Symmetry-breaking in a condensate of light and its use as a quantum sensor

abstract: Bose-Einstein condensates (BECs) represent one of the very few manifestations of purely quantum effects on a macroscopic level. The vast majority of BECs achieved in the lab to date consist of bosonic atoms, which macroscopically populate the ground state once a threshold temperature has been reached. Recently, a new type of condensate was observed - the photon BEC, where light in a dye-filled cavity thermalises with dye molecules under the influence of an external driving laser, condensing to the lowest-energy mode. However, the precise relationship between the photon BEC and symmetry-breaking phenomena has not yet been investigated. Here we consider medium-induced symmetry breaking in a photon BEC and show that it can be used as a quantum sensor. The introduction of polarisable objects such as chiral molecules lifts the degeneracy between cavity modes of different polarisations. Even a tiny imbalance is imprinted on the condensate polarisation in a 'winner takes it all' effect. When used as a sensor for enantiomeric excess, the predicted sensitivity exceeds that of contemporary methods based on circular dichroism. Our results introduce a new symmetry-breaking mechanism that is independent of the external pump, and demonstrate that the photon BEC can be used for practical purposes.


title: Double-heavy axial-vector tetraquark $T_{bc;\bar{u}\bar{d}}^{0}$

abstract: The mass and coupling of the axial-vector tetraquark $T_{bc;\bar{u}\bar{d} }^{0}$ (in a short form $T_{bc}^{0}$) are calculated by means of the QCD two-point sum rule method. In computations we take into account contributions arising from various quark, gluon and mixed vacuum condensates up to dimension 10. The central value of the mass $m=(7105 \pm 155)~\mathrm{ MeV}$ lies below the thresholds for the strong and electromagnetic decays of $T_{bc}^{0}$ state, and hence it transforms to conventional mesons only through the weak decays. In the case of $m=7260~\mathrm{MeV}$ the tetraquark $T_{bc}^{0}$ becomes the strong- and electromagnetic-interaction unstable particle. In the first case, we find the full width and mean lifetime of $ T_{bc}^{0}$ using its dominant semileptonic decays $T_{bc}^{0}\to T_{cc;\bar{ u}\bar{d}}^{+}l\overline{\nu }_{l}$ ($l=e,\ \mu, \tau$), where the final-state tetraquark is a scalar state. We compute also partial widths of the nonleptonic weak decays $T_{bc}^{0}\to T_{cc;\bar{u}\bar{d} }^{+}\pi^{-}(K^{-}, D^{-}, D_{s}^{-})$, and take into account their effects on the full width of $T_{bc}^{0}$. In the context of the second scenario we calculate partial widths of $S$-wave strong decays $T_{bc}^{0}\to B^{\ast -}D^{+}$ and $T_{bc}^{0}\to \overline{B}^{\ast 0}D^{0}$, and using these channels evaluate the full width of $T_{bc}^{0}$. Predictions for $\Gamma_{ \mathrm{full}} =(3.98\pm 0.51)\times 10^{-10}~\mathrm{MeV}$ and mean lifetime $\tau=1.65_{-0.18}^{+0.25}~\mathrm{ps}$ of $T_{bc}^{0}$ obtained in the context of the first option, as well as the full width $\Gamma_{\mathrm{ full}}=(63.5\pm 8.9)~\mathrm{MeV}$ extracted in the second scenario may be useful for experimental and theoretical exploration of double-heavy exotic mesons.


title: Order spectrum of the Ces\`aro operator in Banach lattice sequence spaces

abstract: The discrete Ces\`aro operator $ C $ acts continuously in various classical Banach sequence spaces within $ \mathbb{C}^{\mathbb{N}}.$ For the coordinatewise order, many such sequence spaces $ X $ are also complex Banach lattices (eg. $c_0, \ell^p $ for $ 1 < p \leq \infty , $ and $ ces (p)$ for $ p \in \{ 0 \} \cup ( 1, \infty )).$ In such Banach lattice sequence spaces, $ C $ is always a positive operator. Hence, its order spectrum is well defined within the Banach algebra of all regular operators on $ X .$ The purpose of this note is to show, for every $ X $ belonging to the above list of Banach lattice sequence spaces, that the order spectrum $ \sigma_{\rm o} (C)$ of $ C $ coincides with its usual spectrum $ \sigma ( C)$ when $ C $ is considered as a continuous linear operator on the Banach space $ X .$


title: Nestedness in complex networks: Observation, emergence, and implications

abstract: The observed architecture of ecological and socio-economic networks differs significantly from that of random networks. From a network science standpoint, non-random structural patterns observed in real networks call for an explanation of their emergence and an understanding of their potential systemic consequences. This article focuses on one of these patterns: nestedness. Given a network of interacting nodes, nestedness can be described as the tendency for nodes to interact with subsets of the interaction partners of better-connected nodes. Known since more than $80$ years in biogeography, nestedness has been found in systems as diverse as ecological mutualistic organizations, world trade, inter-organizational relations, among many others. This review article focuses on three main pillars: the existing methodologies to observe nestedness in networks; the main theoretical mechanisms conceived to explain the emergence of nestedness in ecological and socio-economic networks; the implications of a nested topology of interactions for the stability and feasibility of a given interacting system. We survey results from variegated disciplines, including statistical physics, graph theory, ecology, and theoretical economics. Nestedness was found to emerge both in bipartite networks and, more recently, in unipartite ones; this review is the first comprehensive attempt to unify both streams of studies, usually disconnected from each other. We believe that the truly interdisciplinary endeavour -- while rooted in a complex systems perspective -- may inspire new models and algorithms whose realm of application will undoubtedly transcend disciplinary boundaries.

categories: physics.soc-ph econ.TH nlin.AO physics.data-an q-bio.PE


title: Classification of the solutions of a mixed nonlinear Schrodinger system

abstract: In this paper, we study a couple of NLS equations characterized by mixed cubic and superlinear power laws. Classification of the solutions as well as existence and uniqueness of the steady state solutions have been investigated.


title: Semantic flow in language networks

abstract: In this study we propose a framework to characterize documents based on their semantic flow. The proposed framework encompasses a network-based model that connected sentences based on their semantic similarity. Semantic fields are detected using standard community detection methods. as the story unfolds, transitions between semantic fields are represent in Markov networks, which in turned are characterized via network motifs (subgraphs). Here we show that the proposed framework can be used to classify books according to their style and publication dates. Remarkably, even without a systematic optimization of parameters, philosophy and investigative books were discriminated with an accuracy rate of 92.5%. Because this model captures semantic features of texts, it could be used as an additional feature in traditional network-based models of texts that capture only syntactical/stylistic information, as it is the case of word adjacency (co-occurrence) networks.


title: Causal Inference for Multiple Treatments using Fractional Factorial Designs

abstract: We consider the design and analysis of multi-factor experiments using fractional factorial and incomplete designs within the potential outcome framework. These designs are particularly useful when limited resources make running a full factorial design infeasible. We connect our design-based methods to standard regression methods. We further motivate the usefulness of these designs in multi-factor observational studies, where certain treatment combinations may be so rare that there are no measured outcomes in the observed data corresponding to them. Therefore, conceptualizing a hypothetical fractional factorial experiment instead of a full factorial experiment allows for appropriate analysis in those settings. We illustrate our approach using biomedical data from the 2003-2004 cycle of the National Health and Nutrition Examination Survey to examine the effects of four common pesticides on body mass index.


title: Correspondence rules for Wigner functions over SU(3)/U(2)

abstract: We present results on the * product for SU(3) Wigner functions over SU(3)/U(2). In particular, we present a form of the so-called correspondence rules, which provide a differential form of the * product A*B and A*B when A is an su(3) generator. For the su(3) Wigner map, these rules must contain second order derivatives and thus substantially differ from the rules of other known cases.


title: On the Privacy Guarantees of Gossip Protocols in General Networks

abstract: Recently, the privacy guarantees of information dissemination protocols have attracted increasing research interests, among which the gossip protocols assume vital importance in various information exchange applications. In this work, we study the privacy guarantees of gossip protocols in general networks in terms of differential privacy and prediction uncertainty. First, lower bounds of the differential privacy guarantees are derived for gossip protocols in general networks in both synchronous and asynchronous settings. The prediction uncertainty of the source node given a uniform prior is also determined. For the private gossip algorithm, the differential privacy and prediction uncertainty guarantees are derived in closed form. Moreover, considering that these two metrics may be restrictive in some scenarios, the relaxed variants are proposed. It is found that source anonymity is closely related to some key network structure parameters in the general network setting. Then, we investigate information spreading in wireless networks with unreliable communications, and quantify the tradeoff between differential privacy guarantees and information spreading efficiency. Finally, considering that the attacker may not be present at the beginning of the information dissemination process, the scenario of delayed monitoring is studied and the corresponding differential privacy guarantees are evaluated.


title: On some finite dimensional complex representations of mapping class groups and Fox derivation

abstract: We study the finite dimensional complex representations of the mapping class group $\mathcal{M}_{g,1}$ that are derived from some finite Galois coverings of the compact oriented surface with one boundary component $\Sigma_{g,1}$. The key ingredients are Fox derivation, Magnus modules and the Skolem-Noether theorem, which enable us to compute the $\mathcal{M}_{g,1}$-action on the module $L_g^{\eta}$ very explicitly, where $\eta$ is a primitive $p$the root of unity for an odd prime $p$.


title: On the implication $T_{0} \Rightarrow T_{3 \frac{1}{2}}$ for some topological protomodular algebras

abstract: The notion of a right-cancellable protomodular algebra is introduced. It is proved that a right-cancellable topological protomodular algebra that satisfies the separation axiom $T_{0}$ is completely regular.


title: Non-equilibrium thermodynamics of charge separation in organic solar cells

abstract: This work presents a novel theoretical description of the non-equilibrium thermodynamics of charge separation process in organic solar cells (OSCs). Using the theory of stochastic thermodynamics, we connect the phonon-assisted dynamics and recombination of electron-hole pairs within a photo-excited organic bilayer with the thermodynamic free energy. We analyze the impact of energetic disorder and delocalization on the free energy, average energy and entropy. For high energetic disorder, the site population is well described by equilibrium. We observe significant deviations from equilibrium for delocalized electron-hole pairs at small energetic disorder, representing efficient OSCs. Our results emphasize that both a large Gibbs entropy and large initial separation are required to achieve efficient charge separation. A decrease in free energy barrier with increased distances between charges does not necessarily correlate with the separation yield. Our presented framework can further shed light on the transient thermodynamic free energy, allowing previously inaccessible insight into the individual thermodynamic contributions from energy and entropy on sub-ns timescales. Transient simulations reveal large Gibbs entropy on ps-timescales for even highest disorder, which may explain the efficient separation of "hot" CT states.


title: Reflection trees of graphs as boundaries of Coxeter groups

abstract: To any finite graph $X$ (viewed as a topological space) we assosiate some explicit compact metric space ${\cal X}^r(X)$ which we call {\it the reflection tree of graphs $X$}. This space is of topological dimension $\le1$ and its connected components are locally connected. We show that if $X$ is appropriately triangulated (as a simplicial graph $\Gamma$ for which $X$ is the geometric realization) then the visual boundary $\partial_\infty(W,S)$ of the right angled Coxeter system $(W,S)$ with the nerve isomorphic to $\Gamma$ is homeomorphic to ${\cal X}^r(X)$. For each $X$, this yields in particular many word hyperbolic groups with Gromov boundary homeomorphic to the space ${\cal X}^r(X)$.


title: Whittaker modules for the twisted affine Nappi-Witten Lie algebra $\widehat{H}_{4}[\tau]$

abstract: The Whittaker module $M_{\psi}$ and its quotient Whittaker module $L_{\psi, \xi}$ for the twisted affine Nappi-Witten Lie algebra $\widehat{H}_{4}[\tau]$ are studied. For nonsingular type, it is proved that if $\xi\neq 0$, then $L_{\psi,\xi}$ is irreducible and any irreducible Whittaker $\widehat{H}_{4}[\tau]$-module of type $\psi$ with ${\bf k}$ acting as a non-zero scalar $\xi$ is isomorphic to $L_{\psi,\xi}$. Furthermore, for $\xi=0$, all Whittaker vectors of $L_{\psi, 0}$ are completely determined. For singular type, the Whittaker vectors of $L_{\psi, \xi}$ with $\xi \neq 0$ are fully characterized.


title: Entanglement dynamics of an arbitrary number of moving qubits in a common environment

abstract: In this paper we provide an analytical investigation of the entanglement dynamics of moving qubits dissipating into a common and (in general) non-Markovian environment for both weak and strong coupling regimes. We first consider the case of two moving qubits in a common environment and then generalize it to an arbitrary number of moving qubits. We show that for an initially entangled state, the environment washes out the initial entanglement after a finite interval of time. We also show that the movement of the qubits can play a constructive role in protecting of the initial entanglement. In this case, we observe a Zeno-like effect due to the velocity of the qubits. On the other hand, by limiting the number of qubits initially in a superposition of single excitation, a stationary entanglement can be achieved between the qubits initially in the excited and ground states. Surprisingly, we illustrate that when the velocity of all qubits are the same, the stationary state of the qubits does not depend on this velocity as well as the environmental properties. This allows us to determine the stationary distribution of the entanglement versus the total number of qubits in the system.


title: Neretin groups admit no non-trivial invariant random subgroups

abstract: We show that Neretin groups have no non-trivial invariant random subgroups. These groups provide first examples of non-discrete, compactly generated, locally compact groups with this property.


title: The human brain's network architecture is genetically encoded by modular pleiotropy

abstract: For much of biology, the manner in which genotype maps to phenotype remains a fundamental mystery. The few maps that are known tend to show modular pleiotropy: sets of phenotypes are determined by distinct sets of genes. One key map that has evaded discovery is that of the human brain's network architecture. Here, we determine the form of this map for gene coexpression and single nucleotide polymorphisms. We discover that mostly non-overlapping sets of genes encode the connectivity of brain network modules (or so-called communities), suggesting that brain network communities demarcate genetic transitions. We find that these clean boundaries break down at connector hubs, whose integrative connectivity is encoded by pleiotropic genes from mostly non-overlapping sets. Broadly, this study opens fundamentally new directions in the study of genetic encoding of brain development, evolution, and disease.


title: A Console GRID LA Console GRID Leveraged Authentication and Key Agreement Mechanism for LTE/SAE

abstract: The growing popularity of multimedia applications, pervasive connectivity, higher bandwidth, and euphoric technology penetration among the bulk of the human race that happens to be cellular technology users, has fueled the adaptation to Long Term Evolution (LTE)/ System Architecture Evolution (SAE). The LTE fulfills the resource demands of the next generation applications for now. We identify security issues in the authentication mechanism used in LTE that without countermeasures might give superuser rights to unauthorized users. The LTE uses static LTE Key (LTE-K) to derive the entire key hierarchy such as LTE follows Evolved Packet System-Authentication and Key Agreement (EPS-AKA) based authentication which discloses user identity, location, and other Personally Identifiable Information (PII). To counter this, we propose a public key cryptosystem named International mobile subscriber identity Protected Console Grid-based Authentication and Key Agreement (IPG-AKA) protocol to address the vulnerabilities related to weak key management. From the data obtained from threat modeling and simulation results, we claim that the IPG-AKA scheme not only improves the security of authentication procedures, it also shows improvements in authentication loads and reduction in key generation time. The empirical results and qualitative analysis presented in this paper proves that IPG-AKA improves security in authentication procedure and performance in the LTE.


title: 3D Schr\"odinger equation: scattering operator, scattering amplitude and ergodic property

abstract: Stationary scattering problem (when the distance $r$ tends to infinity) and dynamical scattering problem (when the time $t$ tends to infinity) are considered for the 3D Schr\"odinger equation. A simple interconnection between the scattering amplitude (stationary case) and scattering operator (dynamical case) is given in the paper. This result is a quantum mechanical analog of the ergodic formulas in the classical mechanics.

categories: math-ph math.AP math.DS math.MP math.SP quant-ph


title: Sub-picosecond thermalization dynamics in condensation of strongly coupled lattice plasmons

abstract: Bosonic condensates offer exciting prospects for studies of non-equilibrium quantum dynamics. Understanding the dynamics is particularly challenging in the sub-picosecond timescales typical for room temperature luminous driven-dissipative condensates. Here we combine a lattice of plasmonic nanoparticles with dye molecule solution at the strong coupling regime, and pump the molecules optically. The emitted light reveals three distinct regimes: one-dimensional lasing, incomplete stimulated thermalization, and two-dimensional multimode condensation. The condensate is achieved by matching the thermalization rate with the lattice size and occurs only for pump pulse durations below a critical value. Our results give access to control and monitoring of thermalization processes and condensate formation at sub-picosecond timescale.


title: Cluster formation and self-assembly in stratified fluids: a novel mechanism for particulate aggregation

abstract: An extremely broad and important class of phenomena in nature involves the settling and aggregation of matter under gravitation in fluid systems. Some examples include: sedimenting marine snow particles in lakes and oceans (central to carbon sequestration), dense microplastics in the oceans (which impact ocean ecology and the food chain), and even iron snow on Mercury (conjectured as its magnetic field source). These fluid systems all have stable density stratification, which is known to trap particulates through upper lightweight fluid coating the sinking particles, thus providing transient buoyancy. The current understanding of aggregation of such trapped matter involves collisions (due to Brownian motion, shear, and differential settling) and adhesion. Here, we observe and rationalize a new fundamental effective attractive mechanism by which particles suspended within stratification may self-assemble and form large aggregates without need for short range binding effects. This phenomenon arises through a complex interplay involving solute diffusion, impermeable boundaries, and aggregate geometry, which produces toroidal flows. We show that these toroidal flows yield attractive horizontal forces between particles. We observe that many particles demonstrate a collective motion revealing a system which self-assembles, appearing to solve jigsaw-like puzzles on its way to organizing into a disc-like shape, with the effective force increasing as the collective disc radius grows. Control experiments with two objects isolate the individual dynamics, which are quantitatively predicted through numerical integration of the underlying equations of motion. This new mechanism may be an important process in formation of marine snow aggregates and distribution of phytoplankton in lakes and oceans. Further, it potentially provides a new mechanism for general sorting and packing of layered material.


title: Large fluctuations in non-ideal coarse-grained systems

abstract: Using the recently introduced Molecular Dynamics Lattice Gas (MDLG) approach, we test fluctuations of coarse-grained quantities. We show that as soon as the system can no longer be considered an ideal gas fluctuations fail to diminish upon coarse-graining as is usually expected. These results suggest that current approaches to simulating fluctuating hydrodynamics may have to be augmented to achieve quantitative results for systems with a non-ideal equation of state. The MDLG method gives a guidance to the exact nature of the fluctuation in such systems.


title: Right exact localizations of groups

abstract: We introduce several classes of localizations (idempotent monads) on the category of groups and study their properties and relations. The most interesting class for us is the class of localizations which coincide with their zero derived functors. We call them right exact (in the sense of Keune). We prove that a right exact localization $L$ preserves the class of nilpotent groups and that for a finite $p$-group $G$ the map $G\to LG$ is an epimorphism. We also prove that some examples of localizations (Baumslag's $P$-localization with respect to a set of primes $P,$ Bousfield's $HR$-localization, Levine's localization, Levine-Cha's $\mathbb Z$-localization) are right exact. At the end of the paper we discuss a conjecture of Farjoun about Nikolov-Segal maps and prove a very special case of this conjecture.


title: No-boarding buses: Synchronisation for efficiency

abstract: We investigate a no-boarding policy in a system of $N$ buses serving $M$ bus stops in a loop, which is an entrainment mechanism to keep buses synchronised in a reasonably staggered configuration. Buses always allow alighting, but would disallow boarding if certain criteria are met. For an analytically tractable theory, buses move with the same natural speed (applicable to programmable self-driving buses), where the average waiting time experienced by passengers waiting at the bus stop for a bus to arrive can be calculated. The analytical results show that a no-boarding policy can dramatically reduce the average waiting time, as compared to the usual situation without the no-boarding policy. Subsequently, we carry out simulations to verify these theoretical analyses, also extending the simulations to typical human-driven buses with different natural speeds based on real data. Finally, a simple general adaptive algorithm is implemented to dynamically determine when to implement no-boarding in a simulation for a real university shuttle bus service.


title: Kinematics and Velocity Ellipsoid of Halo Red Giants

abstract: In the present paper, we aim to determine the kinematical properties, velocity ellipsoid, and Oort constants using a sample of halo red giants. The study is based mainly on the space and radial velocities of about 1583 red giant stars collected from the SEGUE-1 and SEGUE-2 surveys. We divided the sample into three subsamples, the inner halo, the outer halo and the stars near the galactic plane. The fitting of the radial velocity equation gives a the mean of Oort constants, A = 15.6 +- 1.6 km s-1 kpc-1 and B= -13.9 +- 1.8 km s-1 kpc-1, the angular velocity |A-B|= 29.5 +- 0.2 km s-1 kpc-1 implying a rotational velocity of 221.25 +- 26.66 km s-1 if we take the distance to the Galactic center as 7.5 kpc.


title: Gallai-Ramsey number of an 8-cycle

abstract: Given graphs $G$ and $H$ and a positive integer $k$, the Gallai-Ramsey number $gr_{k}(G : H)$ is the minimum integer $N$ such that for any integer $n \geq N$, every $k$-edge-coloring of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. These numbers have recently been studied for the case when $G = K_{3}$, where still only a few precise numbers are known for all $k$. In this paper, we extend the known precise Gallai-Ramsey numbers to include $H = C_{8}$ for all $k$.


title: Beginning Mathematical Writing Assignments

abstract: Writing assignments in any mathematics course always present several challenges, particularly in lower-level classes where the students are not expecting to write more than a few words at a time. Developed based on strategies from several sources, the two small writing assignments included in this paper represent a gentle introduction to the writing of mathematics and can be utilized in a variety of low-to-middle level courses in a mathematics major.


title: CSAI: Open-Source Cellular Radio Access Network Security Analysis Instrument

abstract: This paper presents our methodology and toolbox that allows analyzing the radio access network security of laboratory and commercial 4G and future 5G cellular networks. We leverage a free open-source software suite that implements the LTE UE and eNB enabling real-time signaling using software radio peripherals. We modify the UE software processing stack to act as an LTE packet collection and examination tool. This is possible because of the openness of the 3GPP specifications. Hence, we are able to receive and decode LTE downlink messages for the purpose of analyzing potential security problems of the standard. This paper shows how to rapidly prototype LTE tools and build a software-defined radio access network (RAN) analysis instrument for research and education. Using CSAI, the Cellular RAN Security Analysis Instrument, a researcher can analyze broadcast and paging messages of cellular networks. CSAI is also able to test networks to aid in the identification of vulnerabilities and verify functionality post-remediation. Additionally, we found that it can crash an eNB which motivates equivalent analyses of commercial network equipment and its robustness against denial of service attacks.


title: The Foata correspondence, cycle lengths and anomalies

abstract: In their study of the densest jammed configurations for theater models, Krapivsky and Luck observe that two classes of permutations have the same cardinalities and ask for a bijection between them. In this note we show that the Foata correspondence provides the desired bijection.


title: A Discrete Empirical Interpolation Method for Interpretable Immersion and Embedding of Nonlinear Manifolds

abstract: Manifold learning techniques seek to discover structure-preserving mappings of high-dimensional data into low-dimensional spaces. While the new sets of coordinates specified by these mappings can closely parameterize the data, they are generally complicated nonlinear functions of the original variables. This makes them difficult to interpret physically. Furthermore, in data-driven model reduction applications the governing equations may have structure that is destroyed by nonlinear mapping into coordinates on an inertial manifold, creating a computational bottleneck for simulations. Instead, we propose to identify a small collection of the original variables which are capable of uniquely determining all others either locally via immersion or globally via embedding of the underlying manifold. When the data lies on a low-dimensional subspace the existing discrete empirical interpolation method (DEIM) accomplishes this with recent variants employing greedy algorithms based on pivoted QR (PQR) factorizations. However, low-dimensional manifolds coming from a variety of applications, particularly from advection-dominated PDEs, do not lie in or near any low-dimensional subspace. Our proposed approach extends DEIM to data lying near nonlinear manifolds by applying a similar pivoted QR procedure simultaneously on collections of patches making up locally linear approximations of the manifold, resulting in a novel simultaneously pivoted QR (SimPQR) algorithm. The immersion provided by SimPQR can be extended to an embedding by applying SimPQR a second time to a modified collection of vectors. The SimPQR method for computing these `nonlinear DEIM' (NLDEIM) coordinates is successfully applied to real-world data lying near an inertial manifold in a cylinder wake flow as well as data coming from a viscous Burgers equation with different initial conditions.


title: Constraining gravity theories with the gravitational stability mass

abstract: The measurement of the size of gravitationally bounded structures is an important test of gravity theories. For a given radius different theories can in fact predict a different gravitational stability mass (GSM) necessary to ensure the stability of the structure in presence of dark energy. We compute the GSM of gravitationally bounded structures as a function of the radius for different scalar-tensor theories, including $f(R)$ and generalized Brans-Dicke, and compare the theoretical predictions to observational data. Since the GSM only gives a lower bound, the most stringent constraints come few objects with a mass lower that the one expected in general relativity. The analysis of different observational data sets shows that modified gravity theories (MGT) are compatible with observational data, and in some cases fit the data better than general relativity (GR), but the latter is not in strong tension with the observations. The data presently available does not provide a conclusive evidence of the need of a modification of GR, with the largest deviation of order $2.6 \,\sigma$ for the galaxy cluster NGC5353/4. Future data from galaxy surveys such as the Euclid mission could be important to get stronger constraints.


title: Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms

abstract: We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the exp-log normal form. The results are valid intuitionistically, as well as classically.


title: Analysis of heterogeneous computing approaches to simulating heat transfer in heterogeneous material

abstract: The simulation of heat flow through heterogeneous material is important for the design of structural and electronic components. Classical analytical solutions to the heat equation PDE are not known for many such domains, even those having simple geometries. The finite element method can provide approximations to a weak form continuum solution, with increasing accuracy as the number of degrees of freedom in the model increases. This comes at a cost of increased memory usage and computation time; even when taking advantage of sparse matrix techniques for the finite element system matrix. We summarize recent approaches in solving problems in structural mechanics and steady state heat conduction which do not require the explicit assembly of any system matrices, and adapt them to a method for solving the time-depended flow of heat. These approaches are highly parallelizable, and can be performed on graphical processing units (GPUs). Furthermore, they lend themselves to the simulation of heterogeneous material, with a minimum of added complexity. We present the mathematical framework of assembly-free FEM approaches, through which we summarize the benefits of GPU computation. We discuss our implementation using the OpenCL computing framework, and show how it is further adapted for use on multiple GPUs. We compare the performance of single and dual GPUs implementations of our method with previous GPU computing strategies from the literature and a CPU sparse matrix approach. The utility of the novel method is demonstrated through the solution of a real-world coefficient inverse problem that requires thousands of transient heat flow simulations, each of which involves solving a 1 million degree of freedom linear system over hundreds of time steps.


title: On the distribution of $\alpha p$ modulo one in imaginary quadratic number fields with class number one

abstract: We investigate the distribution of $\alpha p$ modulo one in imaginary quadratic number fields $\mathbb{K}\subset\mathbb{C}$ with class number one, where $p$ is restricted to prime elements in the ring of integers $\mathcal{O} = \mathbb{Z}[\omega]$ of $\mathbb{K}$. In analogy to classical work due to R. C. Vaughan, we obtain that the inequality $\lVert\alpha p\rVert_\omega < \mathrm{N}(p)^{-1/8+\epsilon}$ is satisfied for infinitely many $p$, where $\lVert\varrho\rVert_\omega$ measures the distance of $\varrho\in\mathbb{C}$ to $\mathscr{O}$ and $\mathrm{N}(p)$ denotes the norm of $p$. The proof is based on Harman's sieve method and employs number field analogues of classical ideas due to Vinogradov. Moreover, we introduce a smoothing which allows us to make conveniently use of the Poisson summation formula.


title: Quantitative Error Prediction of Medical Image Registration using Regression Forests

abstract: Predicting registration error can be useful for evaluation of registration procedures, which is important for the adoption of registration techniques in the clinic. In addition, quantitative error prediction can be helpful in improving the registration quality. The task of predicting registration error is demanding due to the lack of a ground truth in medical images. This paper proposes a new automatic method to predict the registration error in a quantitative manner, and is applied to chest CT scans. A random regression forest is utilized to predict the registration error locally. The forest is built with features related to the transformation model and features related to the dissimilarity after registration. The forest is trained and tested using manually annotated corresponding points between pairs of chest CT scans in two experiments: SPREAD (trained and tested on SPREAD) and inter-database (including three databases SPREAD, DIR-Lab-4DCT and DIR-Lab-COPDgene). The results show that the mean absolute errors of regression are 1.07 $\pm$ 1.86 and 1.76 $\pm$ 2.59 mm for the SPREAD and inter-database experiment, respectively. The overall accuracy of classification in three classes (correct, poor and wrong registration) is 90.7% and 75.4%, for SPREAD and inter-database respectively. The good performance of the proposed method enables important applications such as automatic quality control in large-scale image analysis.


title: SCALAR: Simultaneous Calibration of 2D Laser and Robot Kinematic Parameters Using Planarity and Distance Constraints

abstract: In this paper, we propose SCALAR, a calibration method to simultaneously calibrate the kinematic parameters of a 6-DoF robot and the extrinsic parameters of a 2D Laser Range Finder (LRF) attached to the robot's flange. The calibration setup requires only a flat plate with two small holes carved on it at a known distance from each other, and a sharp tool-tip attached to the robot's flange. The calibration is formulated as a nonlinear optimization problem where the laser and the tool-tip are used to provide planar and distance constraints, and the optimization problem is solved using Levenberg-Marquardt algorithm. We demonstrate through experiments that SCALAR can reduce the mean and the maximum tool position error from 0.44 mm to 0.19 mm and from 1.41 mm to 0.50 mm, respectively.


title: Building nonparametric $n$-body force fields using Gaussian process regression

abstract: Constructing a classical potential suited to simulate a given atomic system is a remarkably difficult task. This chapter presents a framework under which this problem can be tackled, based on the Bayesian construction of nonparametric force fields of a given order using Gaussian process (GP) priors. The formalism of GP regression is first reviewed, particularly in relation to its application in learning local atomic energies and forces. For accurate regression it is fundamental to incorporate prior knowledge into the GP kernel function. To this end, this chapter details how properties of smoothness, invariance and interaction order of a force field can be encoded into corresponding kernel properties. A range of kernels is then proposed, possessing all the required properties and an adjustable parameter $n$ governing the interaction order modelled. The order $n$ best suited to describe a given system can be found automatically within the Bayesian framework by maximisation of the marginal likelihood. The procedure is first tested on a toy model of known interaction and later applied to two real materials described at the DFT level of accuracy. The models automatically selected for the two materials were found to be in agreement with physical intuition. More in general, it was found that lower order (simpler) models should be chosen when the data are not sufficient to resolve more complex interactions. Low $n$ GPs can be further sped up by orders of magnitude by constructing the corresponding tabulated force field, here named "MFF".


title: The New Nitrides: Layered, Ferroelectric, Magnetic, Metallic and Superconducting Nitrides to Boost the GaN Photonics and Electronics Eco-System

abstract: The nitride semiconductor materials GaN, AlN, and InN, and their alloys and heterostructures have been investigated extensively in the last 3 decades, leading to several technologically successful photonic and electronic devices. Just over the past few years, a number of new nitride materials have emerged with exciting photonic, electronic, and magnetic properties. Some examples are 2D and layered hBN and the III-V diamond analog cBN, the transition metal nitrides ScN, YN, and their alloys (e.g. ferroelectric ScAlN), piezomagnetic GaMnN, ferrimagnetic Mn4N, and epitaxial superconductor/semiconductor NbN/GaN heterojunctions. This article reviews the fascinating and emerging physics and science of these new nitride materials. It also discusses their potential applications in future generations of devices that take advantage of the photonic and electronic devices eco-system based on transistors, light-emitting diodes, and lasers that have already been created by the nitride semiconductors.


title: Evolving Rewards to Automate Reinforcement Learning

abstract: Many continuous control tasks have easily formulated objectives, yet using them directly as a reward in reinforcement learning (RL) leads to suboptimal policies. Therefore, many classical control tasks guide RL training using complex rewards, which require tedious hand-tuning. We automate the reward search with AutoRL, an evolutionary layer over standard RL that treats reward tuning as hyperparameter optimization and trains a population of RL agents to find a reward that maximizes the task objective. AutoRL, evaluated on four Mujoco continuous control tasks over two RL algorithms, shows improvements over baselines, with the the biggest uplift for more complex tasks. The video can be found at: \url{https://youtu.be/svdaOFfQyC8}.


title: A characterization of martingale-equivalent compound mixed Poisson process

abstract: If a given aggregate process $S$ is a compound mixed Poisson process under a probability measure $P$, a characterization of all probability measures $Q$ on the domain of $P$, such that $P$ and $Q$ are progressively equivalent and $S$ remains a compound mixed Poisson process with improved properties, is provided. This result generalizes earlier work of Delbaen & Haezendonck (1989). Implications related to the computation of premium calculation principles in an insurance market possessing the property of no free lunch with vanishing risk are also discussed.


title: (Spin-)density-functional theory for open-shell systems: exact magnetization density functional for the half-filled Hubbard trimer

abstract: According to the Hohenberg-Kohn theorem of density-functional theory (DFT), all observable quantities of systems of interacting electrons can be expressed as functionals of the ground-state density. This includes, in principle, the spin polarization (magnetization) of open-shell systems; the explicit form of the magnetization as a functional of the total density is, however, unknown. In practice, open-shell systems are always treated with spin-DFT, where the basic variables are the spin densities. Here, the relation between DFT and spin-DFT for open-shell systems is illustrated and the exact magnetization density functional is obtained for the half-filled Hubbard trimer. Errors arising from spin-restricted and -unrestricted exact-exchange Kohn-Sham calculations are analyzed and partially cured via the exact magnetization functional.


title: Disentangled Attribution Curves for Interpreting Random Forests and Boosted Trees

abstract: Tree ensembles, such as random forests and AdaBoost, are ubiquitous machine learning models known for achieving strong predictive performance across a wide variety of domains. However, this strong performance comes at the cost of interpretability (i.e. users are unable to understand the relationships a trained random forest has learned and why it is making its predictions). In particular, it is challenging to understand how the contribution of a particular feature, or group of features, varies as their value changes. To address this, we introduce Disentangled Attribution Curves (DAC), a method to provide interpretations of tree ensemble methods in the form of (multivariate) feature importance curves. For a given variable, or group of variables, DAC plots the importance of a variable(s) as their value changes. We validate DAC on real data by showing that the curves can be used to increase the accuracy of logistic regression while maintaining interpretability, by including DAC as an additional feature. In simulation studies, DAC is shown to out-perform competing methods in the recovery of conditional expectations. Finally, through a case-study on the bike-sharing dataset, we demonstrate the use of DAC to uncover novel insights into a dataset.


title: A dynamical metric and its ground state from the breaking down of the topological invariance of the Euler characteristic

abstract: Quantum state wave functionals are constructed in exact form for the graviton-like field theory obtained by breaking down the topological symmetry of the string action related with the Euler characteristic of the world-surface; their continuous and discrete symmetries are discussed. The comparison with the so-called Chern-Simons state, which may be inappropriate as quantum state, allows us to conclude that the found wave functionals will give a plausible approximation to the ground state for the considered field theory.


title: Teleparallel Equivalent of Lovelock Gravity, Generalizations and Cosmological Applications

abstract: We consider the teleparallel equivalent of Lovelock gravity and its natural extension, where the action is given by an arbitrary function $f(T_{_{L_1}}, T_{_{L_2}},\cdot \cdot \cdot , T_{_{L_n}})$ of the torsion invariants $T_{_{L_i}}$, which contain higher order torsion terms, and derive its field equations. Then, we consider the special case of $f(T_{_{L_1}}, T_{_{L_2}})$ gravity and study a cosmological scenario by selecting a particular $f(T_{_{L_1}}, T_{_{L_2}})$, and derive the Friedmann equations. Also, we perform a dynamical systems analysis to extract information on the evolution of the cosmological model. Mainly, we find that the model has a very rich phenomenology and can describe the acceleration of the universe at late times


title: Escobar constants of planar domains

abstract: We initiate the study of the higher-order Escobar constants $I_k(M)$, $k\geq 3$, on bounded planar domains $M$. The Escobar constants $I_k$ of the unit disk and a family of polygons are provided.


title: A residual-based bootstrap for functional autoregressions

abstract: We consider the residual-based or naive bootstrap for functional autoregressions of order 1 and prove that it is asymptotically valid for, e.g., the sample mean and for empirical covariance operator estimates. As a crucial auxiliary result, we also show that the empirical distribution of the centered sample innovations converges to the distribution of the innovations with respect to the Mallows metric.


title: The interaction between shear and fingering (thermohaline) convection

abstract: Fingering convection is a turbulent mixing process that can occur in stellar radiative regions whenever the mean molecular weight increases with radius. In some cases, it can have a significant observable impact on stellar structure and evolution. The efficiency of mixing by fingering convection as a standalone process has been studied by Brown et al. (2013), but other processes such as rotation, magnetic fields and shear can affect it. In this paper, we present a first study of the effect of shear on fingering (thermohaline) convection in astrophysics. Using Direct Numerical Simulations we find that a moderate amount of shear (that is not intrinsically shear-unstable) always decreases the mixing efficiency of fingering convection, as a result of the tilt it imparts to the fingering structures. We propose a simple analytical extension of the Brown et al. (2013) model in the presence of shear that satisfactorily explains the numerically-derived turbulent compositional mixing coefficient for moderate shearing rates, and can trivially be implemented in stellar evolution codes. We also measure from the numerical simulations a turbulent viscosity, and find that the latter is strongly tied to the turbulent compositional mixing coefficient. Observational implications and caveats of the model are discussed.


title: The Hamilton-Jacobi analysis and Canonical Covariant description for three dimensional Palatini theory plus a Chern-Simons term

abstract: By using the Hamilton-Jacobi [HJ] framework the three dimensional Palatini theory plus a Chern-Simons term [PCS] is analyzed. We report the complete set of $HJ$ Hamiltonians and a generalized $HJ$ differential from which all symmetries of the theory are identified. Moreover, we show that in spite of PCS Lagrangian produces Einstein's equations, the generalized $HJ$ brackets depend on a Barbero-Immirzi like parameter. In addition we complete our study by performing a canonical covariant analysis, and we construct a closed and gauge invariant two form that encodes the symplectic geometry of the covariant phase space.


title: Schwarzschild binary supported by an Appell ring

abstract: We continue to study black holes subjected to strong sources of gravity, again paying special attention to the behaviour of geometry in the black-hole interior. After examining, in previous two papers, the deformation arising in the Majumdar-Papapetrou binary of extremally charged black holes and that of a Schwarzschild black hole due to a surrounding (Bach-Weyl) ring, we consider here the system of two Schwarzschild-type black holes held apart by the Appell ring. After verifying that such a configuration can be in a strut-free equilibrium along certain lines in a parameter space, we compute several basic geometric characteristics of the equilibrium configurations. Then, like in previous papers, we calculate and visualize simple invariants determined by the metric (lapse or, equivalently, potential), by its first derivatives (gravitational acceleration) and by its second derivatives (Kretschmann scalar). Extension into the black-hole interior is achieved along particular null geodesics starting tangentially to the horizon. In contrast to the case involving the Bach-Weyl ring, here each single black hole is placed asymmetrically with respect to the equatorial plane (given by the Appell ring) and the interior geometry is really deformed in a non-symmetrical way. Inside the black holes, we again found regions of negative Kretschmann scalar in some cases.


title: Developing secure Bitcoin contracts with BitML

abstract: We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin. Our toolchain automatically verifies relevant properties of contracts, among which liquidity, ensuring that funds do not remain frozen within a contract forever. A compiler is provided to translate BitML contracts into sets of standard Bitcoin transactions: executing a contract corresponds to appending these transactions to the blockchain. We assess our toolchain through a benchmark of representative contracts.


title: Real analytic local well-posedness for the Triple Deck

abstract: The Triple Deck model is a classical high order boundary layer model that has been proposed to describe flow regimes where the Prandtl theory is expected to fail. At first sight the model appears to lose two derivatives through the pressure-displacement relation which links pressure to the tangential slip. In order to overcome this, we split the Triple Deck system into two coupled equations: a Prandtl type system on $\mathbb{H}$ and a Benjamin-Ono type equation on $\mathbb{R}$. This splitting enables us to extract a crucial leading order cancellation at the top of the lower deck. We develop a functional framework to subsequently extend this cancellation into the interior of the lower deck, which enables us to prove the local well-posedness of the model in tangentially real analytic spaces.


title: On a caching system with object sharing

abstract: We consider a content-caching system thatis shared by a number of proxies. The cache could belocated in an edge-cloud datacenter and the proxies couldeach serve a large population of mobile end-users. Eachproxy operates its own LRU-list of a certain capacity inthe shared cache. The length of objects simultaneouslyappearing in plural LRU-lists is equally divided amongthem,i.e., object sharing among the LRUs. We provide a "working-set" approximation for this system to quicklyestimate the cache-hit probabilities under such objectsharing, which can be used to facilitate admission control.Also, a way to reduce ripple evictions,i.e.,setrequestoverhead, is suggested. We give numerical results for ourMemCacheD with Object Sharing (MCD-OS) prototype.


title: Orbit equivalence rigidity for product actions

abstract: Let $\Gamma_1,\dots,\Gamma_n$ be hyperbolic, property (T) groups, for some $n\ge 1$. We prove that if a product $\Gamma_1\times\dots\times\Gamma_n \curvearrowright X_1\times\dots\times X_n$ of measure preserving actions is stably orbit equivalent to a measure preserving action $\Lambda\curvearrowright Y$, then $\Lambda\curvearrowright Y$ is induced from an action $\Lambda_0\curvearrowright Y_0$ such that there exists a direct product decomposition $\Lambda_0=\Lambda_1\times\dots\times\Lambda_n$ into $n$ infinite groups. Moreover, there exists a measure preserving action $\Lambda_i\curvearrowright Y_i$ that is stably orbit equivalent to $\Gamma_i\curvearrowright X_i$, for any $1\leq i\leq n$, and the product action $\Lambda_1\times\dots\times\Lambda_n\curvearrowright Y_1\times\dots\times Y_n$ is isomorphic to $\Lambda_0\curvearrowright Y_0$.


title: Methodically Defeating Nintendo Switch Security

abstract: We explain, step by step, how we strategically circumvented the Nintendo Switch's system security, from basic userland code execution, to undermining and exposing the secrets of the security co-processor. To this end, we've identified and utilized two distinct analysis procedures. The software-based analysis suffices for reverse-engineering the userland and operating system services, and is necessary for a general architectural understanding of the software systems in the Nintendo Switch. While this method is extremely powerful and provides significant leverage over the control of the system and its software security, a hardware-based method was devised, which employs analysis of the trusted bootstrap code in ROM. This strategy was essential for the goal of defeating the hardware root of trust. Together, these two vectors provide essential insight required to instance a chain of attacks, in order to gain ROP code execution from the context of a high-security mode of a secure co-processor of a running system, thus allowing us to demonstrate a multi-faceted approach on attacking secure, embedded devices in an unfamiliar and novel environment.


title: Learning while Competing -- 3D Modeling & Design

abstract: The e-Yantra project at IIT Bombay conducts an online competition, e-Yantra Robotics Competition (eYRC) which uses a Project Based Learning (PBL) methodology to train students to implement a robotics project in a step-by-step manner over a five-month period. Participation is absolutely free. The competition provides all resources - robot, accessories, and a problem statement - to a participating team. If selected for the finals, e-Yantra pays for them to come to the finals at IIT Bombay. This makes the competition accessible to resource-poor student teams. In this paper, we describe the methodology used in the 6th edition of eYRC, eYRC-2017 where we experimented with a Theme (projects abstracted into rulebooks) involving an advanced topic - 3D Designing and interfacing with sensors and actuators. We demonstrate that the learning outcomes are consistent with our previous studies [1]. We infer that even 3D designing to create a working model can be effectively learned in a competition mode through PBL.


title: Scalable Gromov-Wasserstein Learning for Graph Partitioning and Matching

abstract: We propose a scalable Gromov-Wasserstein learning (S-GWL) method and establish a novel and theoretically-supported paradigm for large-scale graph analysis. The proposed method is based on the fact that Gromov-Wasserstein discrepancy is a pseudometric on graphs. Given two graphs, the optimal transport associated with their Gromov-Wasserstein discrepancy provides the correspondence between their nodes and achieves graph matching. When one of the graphs has isolated but self-connected nodes ($i.e.$, a disconnected graph), the optimal transport indicates the clustering structure of the other graph and achieves graph partitioning. Using this concept, we extend our method to multi-graph partitioning and matching by learning a Gromov-Wasserstein barycenter graph for multiple observed graphs; the barycenter graph plays the role of the disconnected graph, and since it is learned, so is the clustering. Our method combines a recursive $K$-partition mechanism with a regularized proximal gradient algorithm, whose time complexity is $\mathcal{O}(K(E+V)\log_K V)$ for graphs with $V$ nodes and $E$ edges. To our knowledge, our method is the first attempt to make Gromov-Wasserstein discrepancy applicable to large-scale graph analysis and unify graph partitioning and matching into the same framework. It outperforms state-of-the-art graph partitioning and matching methods, achieving a trade-off between accuracy and efficiency.


title: Free motion around black holes with discs or rings: between integrability and chaos -- V

abstract: Complete integrability of geodesic motion, the well known feature of the fields of isolated stationary black holes, can easily be "spoilt" by the presence of some additional source (even if highly symmetric). In previous papers, we used various methods to show how free time-like motion becomes chaotic if the gravitational field of the Schwarzschild black hole is perturbed by that of a circular disc or ring, considering specifically the inverted first disc of the Morgan-Morgan counter-rotating family and the Bach-Weyl ring as the additional sources. The present paper focuses on two new points. First, since the Bach-Weyl thin ring is physically quite unsatisfactory, we now repeat some of the analysis for a different, Majumdar-Papapetrou--type (extremally charged) ring around an extreme Reissner-Nordstr\"om black hole, and compare the results with those obtained before. We also argue that such a system is in fact more relevant astrophysically than it may seem. Second, we check numerically, for the latter system as well as for the Schwarzschild black hole encircled by the inverted Morgan-Morgan disc, how indicative is the geometric (curvature) criterion for chaos suggested by Sota, Suzuki & Maeda (1996). We also add a review of the literature where the relevance of geometric criteria in general relativity (as well as elsewhere) has been discussed for decades.


title: On greedy heuristics for computing D-efficient saturated subsets

abstract: Let $\mathcal{F}$ be a set consisting of $n$ real vectors of dimension $m \leq n$. For any saturated, i.e., $m$-element, subset $\mathcal{S}$ of $\mathcal{F}$, let $\mathrm{vol}(\mathcal{S})$ be the volume of the parallelotope formed by the vectors of $\mathcal{S}$. A set $\mathcal{S}^*$ is called a $D$-optimal saturated subset of $\mathcal{F}$, if it maximizes $\mathrm{vol}(\mathcal{S})$ among all saturated subsets of $\mathcal{F}$. In this paper, we propose two greedy heuristics for the construction of saturated subsets performing well with respect to the criterion of $D$-optimality: an improvement of the method suggested by Galil and Kiefer for the initiation of $D$-optimal experimental design algorithms, and a modification of the Kumar-Yildirim method, the original version of which was proposed for the initiation of the minimum-volume enclosing ellipsoid algorithms. We provide geometric and analytic insights into the two methods, and compare them to the commonly used random and regularized greedy heuristics. We also suggest variants of the greedy methods for a large set $\mathcal{F}$, for the construction of $D$-efficient non-saturated subsets, and for alternative optimality criteria.