title: Making a soft relativistic mean-field equation of state stiffer at high density

abstract: We study relativistic mean-field (RMF) models including nucleons interacting with scalar, vector and iso-vector mean fields and self- and cross- mean-field interaction terms. Usually, in such a models the magnitude of the scalar field increases monotonically with the nucleon density, and the nucleon effective mass decreases. We demonstrate that the latter quantity stops to decrease and the equation of state stiffens, provided the mean-field self-interaction potential rises sharply in a narrow vicinity of the values of mean fields corresponding to nucleon densities $n> n_{*}>n_0$, where $n_0$ is the nuclear saturation density. As the result the limiting neutron star mass increases. This procedure offers a simple way to stiffen the equation of state at densities above $n_{*}$ without altering it at densities $n\le n_{0}$. The developed scheme allows an application to neutron stars of the RMF models, which are well fitted to finite nuclei but do not fulfill the experimental constraint on the limiting neutron star mass. The exemplary application of the method to the well-known FSUGold model allows us to increase the limiting neutron star mass from $1.72~M_\odot$ to $M \geq 2.01~M_\odot$.


title: Probabilistic, statistical and algorithmic aspects of the similarity of texts and application to Gospels comparison

abstract: The fundamental problem of similarity studies, in the frame of data-mining, is to examine and detect similar items in articles, papers, books, with huge sizes. In this paper, we are interested in the probabilistic, and the statistical and the algorithmic aspects in studies of texts. We will be using the approach of $k$\textit{-shinglings}, a $k$\textit{-shingling} being defined as a sequence of $k$ consecutive characters that are extracted from a text ($k\geq 1$ ). The main stake in this field is to find accurate and quick algorithms to compute the similarity in short times. This will be achieved in using approximation methods. The first approximation method is statistical and, is based on the theorem of Glivenko-Cantelli. The second is the banding technique. And the third concerns a modification of the algorithm proposed by Rajaraman and al (% \cite{AnandJeffrey}), denoted here as (RUM). The Jaccard index is the one used in this paper. We finally illustrate these results of the paper on the four Gospels. The results are very conclusive.


title: No acute tetrahedron is an 8-reptile

abstract: An $r$-gentiling is a dissection of a shape into $r \geq 2$ parts which are all similar to the original shape. An $r$-reptiling is an $r$-gentiling of which all parts are mutually congruent. This article shows that no acute tetrahedron is an $r$-gentile or $r$-reptile for any $r < 9$, by showing that no acute spherical diangle can be dissected into less than nine acute spherical triangles.


title: Neighbourhoods of phylogenetic trees: exact and asymptotic counts

abstract: A central theme in phylogenetics is the reconstruction and analysis of evolutionary trees from a given set of data. To determine the optimal search methods for reconstructing trees, it is crucial to understand the size and structure of the neighbourhoods of trees under tree rearrangement operations. The diameter and size of the immediate neighbourhood of a tree has been well-studied, however little is known about the number of trees at distance two, three or (more generally) $k$ from a given tree. In this paper we provide a number of exact and asymptotic results concerning these quantities, and identify some key aspects of tree shape that play a role in determining these quantities. We obtain several new results for two of the main tree rearrangement operations - Nearest Neighbour Interchange and Subtree Prune and Regraft -- as well as for the Robinson-Foulds metric on trees.


title: The Graded Center of a Triangulated Category

abstract: With applications in mind to the representations and cohomology of block algebras, we examine elements of the graded center of a triangulated category when the category has a Serre functor. These are natural transformations from the identity functor to powers of the shift functor that commute with the shift functor We show that such natural transformations which have support in a single shift orbit of indecomposable objects are necessarily of a kind previously constructed by Linckelmann. Under further conditions, when the support is contained in only finitely many shift orbits, sums of transformations of this special kind account for all possibilities. Allowing infinitely many shift orbits in the support, we construct elements of the graded center of the stable module category of a tame group algebra of a kind that cannot occur with wild block algebras. We use functorial methods extensively in the proof, developing some of this theory in the context of triangulated categories.


title: Analysis of Information Theoretic Limitation for Linear Time Invariant Feedback Systems

abstract: Information-theoretic fundamental limitation in feedback control system is an important topic for decades. In this paper, a new bode-like fundamental inequality in causal feedback control system is developed. This inequality relates directed information, mutual information and bode sensitivity functions. This inequality recovers previous known results in feedback system as special cases.


title: Novel Quantum Criticality in Two Dimensional Topological Phase transitions

abstract: Topological quantum phase transitions intrinsically intertwine self-similarity and topology of many-electron wave-functions, and divining them is one of the most significant ways to advance understanding in condensed matter physics. Our focus is to investigate an unconventional class of the transitions between insulators and Dirac semimetals whose description is beyond conventional pseudo relativistic Dirac Hamiltonian. At the transition without the long-range Coulomb interaction, the electronic energy dispersion along one direction behaves like a relativistic particle, linear in momentum, but along the other direction it behaves like a non-relativistic particle, quadratic in momentum. Various physical systems ranging from TiO${}_2$-VO${}_2$ heterostructure to organic material $\alpha$-(BEDT-TTF)${}_2$ I${}_3$ under pressure have been proposed to have such anisotropic dispersion relation. Here, we discover a novel quantum criticality at the phase transition by incorporating the 1/r long-range Coulomb interaction. Unique interplay between the Coulomb interaction and electronic critical modes enforces not only the anisotropic renormalization of the Coulomb interaction but also marginally modified electronic excitation. In connection with experiments, we investigate several striking effects in physical observables of our novel criticality.


title: Existence of continuous functions that are one-to-one almost everywhere

abstract: It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.


title: Uniformly Area Expanding Flows in Spacetimes

abstract: The central object of study of this thesis is inverse mean curvature vector flow of two-dimensional surfaces in four-dimensional spacetimes. Being a system of forward-backward parabolic PDEs, inverse mean curvature vector flow equation lacks a general existence theory. Our main contribution is proving that there exist infinitely many spacetimes, not necessarily spherically symmetric or static, that admit smooth global solutions to inverse mean curvature vector flow. Prior to our work, such solutions were only known in spherically symmetric and static spacetimes. The technique used in this thesis might be important to prove the Spacetime Penrose Conjecture, which remains open today. Given a spacetime $(N^{4}, \overline{g})$ and a spacelike hypersurface $M$. For any closed surface $\Sigma$ embedded in $M$ satisfying some natural conditions, one can "steer" the spacetime metric $\overline{g}$ such that the mean curvature vector field of $\Sigma$ becomes tangential to $M$ while keeping the induced metric on $M$. This can be used to construct more examples of smooth solutions to inverse mean curvature vector flow from smooth solutions to inverse mean curvature flow in a spacelike hypersurface.


title: Chemical potential driven phase transition of black holes in AdS space

abstract: Einstein-Maxwell theory conformally coupled to a scalar field in D dimensions may exhibit an instability at low temperature. We find an explicit solution that represents a charged asymptotically Anti-de Sitter black hole with a scalar field profile that is regular everywhere outside and on the horizon. This provides a tractable model to study the phase transition of hairy black holes in Anti-de Sitter space in which the backreaction on the geometry can be solved analytically.


title: Emergent non-Fermi liquid at the quantum critical point of a topological phase transition in two dimensions

abstract: We study the effects of Coulomb interaction between 2D Weyl fermions with anisotropic dispersion which displays relativistic dynamics along one direction and Newtonian dynamics along the other. Such a dispersion can be realized in phosphorene under electric field or strain, in TiO$_2$/VO$_2$ superlattices, and, more generally, at the quantum critical point between a nodal semimetal and an insulator in systems with a chiral symmetry. Using the one-loop renormalization group approach in combination with the large-$N$ expansion, we find that the system displays interaction-driven non-Fermi liquid behavior in a wide range of intermediate frequencies and marginal Fermi liquid behavior at the smallest frequencies. In the non-Fermi liquid regime, the quasiparticle residue $Z$ at energy $E$ scales as $Z \propto E^a$ with $a >0$, and the parameters of the fermionic dispersion acquire anomalous dimensions. In the marginal Fermi-liquid regime, $Z \propto (|\log E|)^{-b}$ with universal $b = 3/2$.


title: Higher homotopies and Golod rings

abstract: We study the homological algebra of an R = Q/I module M using A-infinity structures on Q-projective resolutions of R and M. We use these higher homotopies to construct an R-projective bar resolution of M, Q-projective resolutions for all R-syzygies of M, and describe the differentials in the Avramov spectral sequence for M. These techniques apply particularly well to Golod modules over local rings. We characterize R-modules that are Golod over Q as those with minimal A-infinity structures. This gives a construction of the minimal resolution of every module over a Golod ring, and it also follows that if the inequality traditionally used to define Golod modules is an equality in the first dim Q+1 degrees, then the module is Golod, where no bound was previously known. We also relate A-infinity structures on resolutions to Avramov's obstructions to the existence of a dg-module structure. Along the way we give new, shorter, proofs of several classical results about Golod modules.


title: Convergence rate for a Radau collocation method applied to unconstrained optimal control

abstract: A local convergence rate is established for an orthogonal collocation method based on Radau quadrature applied to an unconstrained optimal control problem. If the continuous problem has a sufficiently smooth solution and the Hamiltonian satisfies a strong convexity condition, then the discrete problem possesses a local minimizer in a neighborhood of the continuous solution, and as the number of collocation points increases, the discrete solution convergences exponentially fast in the sup-norm to the continuous solution. An earlier paper analyzes an orthogonal collocation method based on Gauss quadrature, where neither end point of the problem domain is a collocation point. For the Radau quadrature scheme, one end point is a collocation point.


title: Entanglement dynamics in quantum many-body systems

abstract: The dynamics of entanglement has recently been realized as a useful probe in studying ergodicity and its breakdown in quantum many-body systems. In this paper, we study theoretically the growth of entanglement in quantum many-body systems and propose a method to measure it experimentally. We show that entanglement growth is related to the spreading of local operators in real space. We present a simple toy model for ergodic systems in which linear spreading of operators results in a universal, linear in time growth of entanglement for initial product states, in contrast with the logarithmic growth of entanglement in many-body localized (MBL) systems. Furthermore, we show that entanglement growth is directly related to the decay of the Loschmidt echo in a composite system comprised of several copies of the original system, in which connections are controlled by a quantum switch (two-level system). By measuring only the switch's dynamics, the growth of the R\'enyi entropies can be extracted. Our work provides a way of understanding entanglement dynamics in many-body systems, and to directly measure its growth in time via a single local measurement.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.str-el hep-th quant-ph


title: Computing characteristic classes of subschemes of smooth toric varieties

abstract: Let $X_{\Sigma}$ be a smooth complete toric variety defined by a fan $\Sigma$ and let $V=V(I)$ be a subscheme of $X_{\Sigma}$ defined by an ideal $I$ homogeneous with respect to the grading on the total coordinate ring of $X_{\Sigma}$. We show a new expression for the Segre class $s(V,X_{\Sigma})$ in terms of the projective degrees of a rational map specified by the generators of $I$ when each generator corresponds to a numerically effective (nef) divisor. Restricting to the case where $X_{\Sigma}$ is a smooth projective toric variety and dehomogenizing the total homogeneous coordinate ring of $X_{\Sigma}$ via a dehomogenizing ideal we also give an expression for the projective degrees of this rational map in terms of the dimension of an explicit quotient ring. Under an additional technical assumption we construct what we call a general dehomogenizing ideal and apply this construction to give effective algorithms to compute the Segre class $s(V,X_{\Sigma})$, the Chern-Schwartz-MacPherson class $c_{SM}(V)$ and the topological Euler characteristic $\chi(V)$ of $V$. These algorithms can, in particular, be used for subschemes of any product of projective spaces $\mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_j}$ or for subschemes of many other projective toric varieties. Running time bounds for several of the algorithms are given and the algorithms are tested on a variety of examples. In all applicable cases our algorithms to compute these characteristic classes are found to offer significantly increased performance over other known algorithms.


title: Observable Signatures of a Classical Transition

abstract: Eternal inflation arising from a potential landscape predicts that our universe is one realization of many possible cosmological histories. One way to access different cosmological histories is via the nucleation of bubble universes from a metastable false vacuum. Another way to sample different cosmological histories is via classical transitions, the creation of pocket universes through the collision between bubbles. Using relativistic numerical simulations, we examine the possibility of observationally determining if our observable universe resulted from a classical transition. We find that classical transitions produce spatially infinite, approximately open Friedman-Robertson-Walker universes. The leading set of observables in the aftermath of a classical transition are negative spatial curvature and a contribution to the Cosmic Microwave Background temperature quadrupole. The level of curvature and magnitude of the quadrupole are dependent on the position of the observer, and we determine the possible range of observables for two classes of single-scalar field models. For the first class, where the inflationary phase has a lower energy than the vacuum preceding the classical transition, the magnitude of the observed quadrupole generally falls to zero with distance from the collision while the spatial curvature grows to a constant. For the second class, where the inflationary phase has a higher energy than the vacuum preceding the classical transition, the magnitude of the observed quadrupole generically falls to zero with distance from the collision while the spatial curvature grows without bound. We find that the magnitude of the quadrupole and curvature grow with increasing centre of mass energy of the collision, and explore variations of the parameters in the scalar field lagrangian.


title: Information-theoretically Secure Erasure Codes for Distributed Storage

abstract: Repair operations in distributed storage systems potentially expose the data to malicious acts of passive eavesdroppers or active adversaries, which can be detrimental to the security of the system. This paper presents erasure codes and repair algorithms that ensure security of the data in the presence of passive eavesdroppers and active adversaries, while maintaining high availability, reliability and efficiency in the system. Our codes are optimal in that they meet previously proposed lower bounds on the storage, network-bandwidth, and reliability requirements for a wide range of system parameters. Our results thus establish the capacity of such systems. Our codes for security from active adversaries provide an additional appealing feature of `on-demand security' where the desired level of security can be chosen separately for each instance of repair, and our algorithms remain optimal simultaneously for all possible levels. The paper also provides necessary and sufficient conditions governing the transformation of any (non-secure) code into one providing on-demand security.


title: A symmetry-based method to infer structural brain networks from tractography data

abstract: Recent progress in diffusion MRI and tractography algorithms as well as the launch of the Human Connectome Project (HCP) have provided brain research with an abundance of structural connectivity data. In this work, we describe and evaluate a method that can infer the structural brain network that interconnects a given set of Regions of Interest (ROIs) from tractography data. The proposed method, referred to as Minimum Asymmetry Network Inference Algorithm (MANIA), differs from prior work because it does not determine the connectivity between two ROIs based on an arbitrary connectivity threshold. Instead, we exploit a basic limitation of the tractography process: the observed streamlines from a source to a target do not provide any information about the polarity of the underlying white matter, and so if there are some fibers connecting two voxels (or two ROIs) X and Y tractography should be able in principle to follow this connection in both directions, from X to Y and from Y to X. We leverage this limitation to formulate the network inference process as an optimization problem that minimizes the (appropriately normalized) asymmetry of the observed network. We evaluate the proposed method on a noise model that randomly corrupts the observed connectivity of synthetic networks. As a case-study, we apply MANIA on diffusion MRI data from 28 healthy subjects to infer the structural network between 18 corticolimbic ROIs that are associated with various neuropsychiatric conditions including depression, anxiety and addiction.


title: Geometric Nonlinear Controls for Multiple Cooperative Quadrotor UAVs Transporting a Rigid Body

abstract: This dissertation presents nonlinear tracking control systems for quadrotor unmanned aerial vehicles (UAV) under the influence of uncertainties. Assuming that there exist unstructured disturbances in the translational dynamics and the attitude dynamics, a geometric nonlinear adaptive controller is developed directly on the special Euclidean group. In particular, a new form of an adaptive control term is proposed to guarantee stability while compensating the effects of uncertainties in quadrotor dynamics. Next, we derived a coordinate-free form of equations of motion for a complete model of a quadrotor UAV with a payload which is connected via a flexible cable according to Lagrangian mechanics on a manifold. The flexible cable is modeled as a system of serially-connected links and has been considered in the full dynamic model. A geometric nonlinear control system is presented to asymptotically stabilize the position of the quadrotor while aligning the links to the vertical direction below the quadrotor. Finally, we focused on the dynamics and control of arbitrary number of quadrotor UAVs transporting a rigid body payload. The rigid body payload is connected to quadrotors via flexible cables. It is shown that a coordinate-free form of equations of motion can be derived for arbitrary numbers of quadrotors and links according to Lagrangian mechanics on a manifold. A geometric nonlinear controller is presented to transport the rigid body to a fixed desired position while aligning all of the links along the vertical direction. Numerical simulation and experimental results are presented and rigorous mathematical stability analysis are provided. These results will be particularly useful for aggressive load transportation that involves large deformation of the cable.


title: Depth-Gated LSTM

abstract: In this short note, we present an extension of long short-term memory (LSTM) neural networks to using a depth gate to connect memory cells of adjacent layers. Doing so introduces a linear dependence between lower and upper layer recurrent units. Importantly, the linear dependence is gated through a gating function, which we call depth gate. This gate is a function of the lower layer memory cell, the input to and the past memory cell of this layer. We conducted experiments and verified that this new architecture of LSTMs was able to improve machine translation and language modeling performances.


title: Local strong solution for the viscous compressible and heat-conductive fluids with vacuum in 2D space

abstract: This paper considers the Cauchy problem of equations for the viscous compressible and heat-conductive fluids in the two-dimensional(2D) space. We establish the local existence theory of unique strong solution under some initial layer compatibility conditions. The initial data can be arbitrarily large, the initial density is allowed to vanish in any set and the far field state is assumed to be vacuum.


title: The Gerstenhaber-Schack complex for prestacks

abstract: Building on the work of Gerstenhaber and Schack for presheaves of algebras, we define a Gerstenhaber-Schack complex C_GS(A) for an arbitrary prestack A, that is a pseudofunctor taking values in linear categories over a commutative ground ring. In the general case, the differential is no longer simply the sum of Hochschild and simplicial contributions as in the presheaf case, but contains additional higher components as well. If A' denotes the Grothendieck construction of A, which is a map-graded category, we explicitly construct inverse quasi-isomorphisms between C_GS(A) and the Hochschild complex C(A'). As the Homotopy Transfer Theorem applies to our construction, one can transfer the dg Lie structure present on the Hochschild complex in order to obtain an L_infinity structure on C_GS(A), which controlls the higher deformation theory of the prestack A.


title: Parabolic generating pairs of genus-one 2-bridge knot groups

abstract: We show that any parabolic generating pair of a genus-one hyperbolic 2-bridge knot group is equivalent to the upper or lower meridian pair. As an application, we obtain a complete classification of the epimorphisms from 2-bridge knot groups to genus-one hyperbolic 2-bridge knot groups.


title: A data-driven method for the stochastic parametrisation of subgrid-scale tropical convective area fraction

abstract: Observations of tropical convection from precipitation radar and the concurring large-scale atmospheric state at two locations (Darwin and Kwajalein) are used to establish effective stochastic models to parameterise subgrid-scale tropical convective activity. Two approaches are presented which rely on the assumption that tropical convection induces a stationary equilibrium distribution. In the first approach we parameterise convection variables such as convective area fraction as an instantaneous random realisation conditioned on the large-scale vertical velocities according to a probability density function estimated from the observations. In the second approach convection variables are generated in a Markov process conditioned on the large-scale vertical velocity, allowing for non-trivial temporal correlations. Despite the different prevalent atmospheric and oceanic regimes at the two locations, with Kwajalein being exposed to a purely oceanic weather regime and Darwin exhibiting land-sea interaction, we establish that the empirical measure for the convective variables conditioned on large-scale mid-level vertical velocities for the two locations are close. This allows us to train the stochastic models at one location and then generate time series of convective activity at the other location. The proposed stochastic subgrid-scale models adequately reproduce the statistics of the observed convective variables and we discuss how they may be used in future scale-independent mass-flux convection parameterisations.


title: Surface States Engineering of Metal/MoS2 Contacts Using Sulfur Treatment for Reduced Contact Resistance and Variability

abstract: Variability and lack of control in the nature of contacts between metal/MoS2 interface is a major bottleneck in the realisation of high-performance devices based on layered materials for several applications. In this letter, we report on the reduction in Schottky barrier height at metal/MoS2 interface by engineering the surface states through sulphur treatment. Electrical characteristics for back-gated MoS2 field effect transistor structures were investigated for two high work-function metal contacts Ni and Pd. Contacts on MoS2 treated with sulphur exhibited significant improvements in Ohmic nature with concomitant reduction in variability compared to those on untreated MoS2 films leading to a 2x increase in extracted mobility. X-ray Photoelectron Spectroscopy (XPS) measurements, Raman Spectroscopy and comparison of threshold voltages indicated absence of additional doping or structural changes due to sulphur treatment. The Schottky barrier heights were extracted from temperature-dependent transfer characteristics based on the thermionic current model. A reduction in barrier height of 80 and 135 meV extracted for Ni/MoS2 and Pd/MoS2 contacts respectively is hence attributed to the increase in surface states (or stronger Fermi level pinning) due to sulphur treatment. The corresponding charge neutrality levels at metal/MoS2 interface, were extracted to be 0.16 eV (0.17 eV) below the conduction band before (after) Sulphur treatment. This first report of surface states engineering in MoS2 leading to superior contacts is expected to significantly benefit the entire class of devices based on layered 2D materials.


title: Ribosome Flow Model on a Ring

abstract: The asymmetric simple exclusion process (ASEP) is an important model from statistical physics describing particles that hop randomly from one site to the next along an ordered lattice of sites, but only if the next site is empty. ASEP has been used to model and analyze numerous multiagent systems with local interactions including the flow of ribosomes along the mRNA strand. In ASEP with periodic boundary conditions a particle that hops from the last site returns to the first one. The mean field approximation of this model is referred to as the ribosome flow model on a ring (RFMR). The RFMR may be used to model both synthetic and endogenous gene expression regimes. We analyze the RFMR using the theory of monotone dynamical systems. We show that it admits a continuum of equilibrium points and that every trajectory converges to an equilibrium point. Furthermore, we show that it entrains to periodic transition rates between the sites. We describe the implications of the analysis results to understanding and engineering cyclic mRNA translation in-vitro and in-vivo.


title: Multi-bunch injection for SSRF storage ring

abstract: The multi-bunch injection has been adopt at SSRF which greatly increases the injection rate and reduces injection time compared to the single bunch injection. The multi-bunch injection will massively reduce the beam failure time during users operation and prolong pulsed injection hardware lifetime. In this paper, the scheme to produce multi bunches for the RF electron gun is described. The refilling result and the beam orbit stability for top up operation is discussed.


title: Criteria for a ring to have a left Noetherian left quotient ring

abstract: Two criteria are given for a ring to have a left Noetherian left quotient ring (this was an open problem since 70's). It is proved that each such ring has only finitely many maximal left denominator sets.


title: Stability of Betti numbers under reduction processes: towards chordality of clutters

abstract: For a given clutter $\mathcal{C}$, let $I:=I ( \bar{\mathcal{C}} )$ be the circuit ideal in the polynomial ring $S$. In this paper, we show that the Betti numbers of $I$ and $I + ( \textbf{x}_F )$ are the same in their non-linear strands, for some suitable $F \in \mathcal{C}$. Motivated by this result, we introduce a class of clutters that we call chordal. This class, is a natural extension of the class of chordal graphs and has the nice property that the circuit ideal associated to any member of this class has a linear resolution over any field. Finally we compare this class with all known families of clutters which generalize the notion of chordality, and show that our class contains several important previously defined classes of chordal clutters. We also show that in comparison with others, this class is possibly the best approximation to the class of $d$-uniform clutters with linear resolution over any field.


title: Corona graphs as a model of small-world networks

abstract: We introduce recursive corona graphs as a model of small-world networks. We investigate analytically the critical characteristics of the model, including order and size, degree distribution, average path length, clustering coefficient, and the number of spanning trees, as well as Kirchhoff index. Furthermore, we study the spectra for the adjacency matrix and the Laplacian matrix for the model. We obtain explicit results for all the quantities of the recursive corona graphs, which are similar to those observed in real-life networks.


title: Velocity-resolved [CII] emission and [CII]/FIR Mapping along Orion with Herschel

abstract: We present the first 7.5'x11.5' velocity-resolved map of the [CII]158um line toward the Orion molecular cloud-1 (OMC-1) taken with the Herschel/HIFI instrument. In combination with far-infrared (FIR) photometric images and velocity-resolved maps of the H41alpha hydrogen recombination and CO J=2-1 lines, this data set provides an unprecedented view of the intricate small-scale kinematics of the ionized/PDR/molecular gas interfaces and of the radiative feedback from massive stars. The main contribution to the [CII] luminosity (~85%) is from the extended, FUV-illuminated face of the cloud G_0>500, n_H>5x10^3 cm^-3) and from dense PDRs (G_0~10^4, n_H~10^5 cm^-3) at the interface between OMC-1 and the HII region surrounding the Trapezium cluster. Around 15% of the [CII] emission arises from a different gas component without CO counterpart. The [CII] excitation, PDR gas turbulence, line opacity (from [13CII]) and role of the geometry of the illuminating stars with respect to the cloud are investigated. We construct maps of the [CII]/FIR and FIR/M_Gas ratios and show that [CII]/FIR decreases from the extended cloud component (10^-2-10^-3) to the more opaque star-forming cores (10^-3-10^-4). The lowest values are reminiscent of the "[CII] deficit" seen in local ultra-luminous IR galaxies hosting vigorous star formation. Spatial correlation analysis shows that the decreasing [CII]/FIR ratio correlates better with the column density of dust through the molecular cloud than with FIR/M_Gas. We conclude that the [CII] emitting column relative to the total dust column along each line of sight is responsible for the observed [CII]/FIR variations through the cloud.


title: Categorifying the tensor product of a level 1 highest weight and perfect crystal in type A

abstract: We use Khovanov-Lauda-Rouquier algebras to categorify a crystal isomorphism between a highest weight crystal and the tensor product of a perfect crystal and another highest weight crystal, all in level 1 type A affine. The nodes of the perfect crystal correspond to a family of trivial modules and the nodes of the highest weight crystal correspond to simple modules, which we may also parameterize by $\ell$-restricted partitions. In the case $\ell$ is a prime, one can reinterpret all the results for the symmetric group in characteristic $\ell$. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.


title: Maxwell's Demon Based on a Single Qubit

abstract: We propose and analyze Maxwell's demon based on a single qubit with avoided level crossing. Its operation cycle consists of adiabatic drive to the point of minimum energy separation, measurement of the qubit state, and conditional feedback. We show that the heat extracted from the bath at temperature $T$ can ideally approach the Landauer limit of $k_BT\ln 2$ per cycle even in the quantum regime. Practical demon efficiency is limited by the interplay of Landau-Zener transitions and coupling to the bath. We suggest that an experimental demonstration of the demon is fully feasible using one of the standard superconducting qubits.


title: Torus Knots and the Chern-Simons path integral: a rigorous treatment

abstract: In 1993 Rosso and Jones computed for every simple, complex Lie algebra g_C and every colored torus knot in S^3 the value of the corresponding U_q(g_C)-quantum invariant by using the machinery of quantum groups. In the present paper we derive a S^2 x S^1-analogue of the Rosso-Jones formula (for colored torus ribbon knots) directly from a rigorous realization of the corresponding (gauge fixed) Chern-Simons path integral. In order to compare the explicit expressions obtained for torus knots in S^2 x S^1 with those for torus knots in S^3 one can perform a suitable surgery operation. By doing so we verify that the original Rosso-Jones formula is indeed recovered for every g_C.


title: Colored triangulations of arbitrary dimensions are stuffed Walsh maps

abstract: Regular edge-colored graphs encode colored triangulations of pseudo-manifolds. Here we study families of edge-colored graphs built from a finite but arbitrary set of building blocks, which extend the notion of $p$-angulations to arbitrary dimensions. We prove the existence of a bijection between any such family and some colored combinatorial maps which we call stuffed Walsh maps. Those maps generalize Walsh's representation of hypermaps as bipartite maps, by replacing the vertices which correspond to hyperedges with non-properly-edge-colored maps. This shows the equivalence of tensor models with multi-trace, multi-matrix models by extending the intermediate field method perturbatively to any model. We further use the bijection to study the graphs which maximize the number of faces at fixed number of vertices and provide examples where the corresponding stuffed Walsh maps can be completely characterized.


title: Basic cohomology group decomposition of K-contact 5-manifolds

abstract: In this paper, we consider decompositions of basic degree 2 cohomology for a compact K-contact 5-manifold $(M,\xi,\eta,\Phi,g)$, and conclude the pureness and fullness of $\Phi$-invariant and $\Phi$-anti-invariant cohomology groups. Moreover, we discuss the decomposition of the complexified basic degree 2 cohomology group. This is an analogue problem when Draghici, Li and Zhang \cite{DLZ1} considered the $C^{\infty}$ pureness and fullness of $J$-invariant and $J$-anti-invariant subgroups of the degree 2 real cohomology group $H^2(M,\mathbb{R})$ of any compact almost complex manifold $(M, J)$.


title: Varieties whose finitely generated members are free

abstract: We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine vector spaces over a division ring.


title: Quantifying information transfer and mediation along causal pathways in complex systems

abstract: Measures of information transfer have become a popular approach to analyze interactions in complex systems such as the Earth or the human brain from measured time series. Recent work has focused on causal definitions of information transfer excluding effects of common drivers and indirect influences. While the former clearly constitutes a spurious causality, the aim of the present article is to develop measures quantifying different notions of the strength of information transfer along indirect causal paths, based on first reconstructing the multivariate causal network (\emph{Tigramite} approach). Another class of novel measures quantifies to what extent different intermediate processes on causal paths contribute to an interaction mechanism to determine pathways of causal information transfer. A rigorous mathematical framework allows for a clear information-theoretic interpretation that can also be related to the underlying dynamics as proven for certain classes of processes. Generally, however, estimates of information transfer remain hard to interpret for nonlinearly intertwined complex systems. But, if experiments or mathematical models are not available, measuring pathways of information transfer within the causal dependency structure allows at least for an abstraction of the dynamics. The measures are illustrated on a climatological example to disentangle pathways of atmospheric flow over Europe.


title: Jeans instability and hydrodynamic roots of Landau damping

abstract: Landau damping of Langmuir waves is shown to have hydrodynamic roots, and, in principle, might have been predicted (along with Langmuir waves) several decades earlier, soon after Jeans (1902) paper appeared.


title: Max Point-Tolerance Graphs

abstract: A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.


title: Maxwell's Optics Symplectic Hamiltonian

abstract: The Hamiltonian formalism is extremely elegant and convenient to mechanics problems. However, its application to the classical field theories is a difficult task. In fact, you can set one to one correspondence between the Lagrangian and Hamiltonian in the case of hyperregular Lagrangian. It is impossible to do the same in gauge-invariant field theories. In the case of irregular Lagrangian the Dirac Hamiltonian formalism with constraints is usually used, and this leads to a number of certain difficulties. The paper proposes a reformulation of the problem to the case of a field without sources. This allows to use a symplectic Hamiltonian formalism. The proposed formalism will be used by the authors in the future to justify the methods of vector bundles (Hamiltonian bundles) in transformation optics.


title: Causal Decision Trees

abstract: Uncovering causal relationships in data is a major objective of data analytics. Causal relationships are normally discovered with designed experiments, e.g. randomised controlled trials, which, however are expensive or infeasible to be conducted in many cases. Causal relationships can also be found using some well designed observational studies, but they require domain experts' knowledge and the process is normally time consuming. Hence there is a need for scalable and automated methods for causal relationship exploration in data. Classification methods are fast and they could be practical substitutes for finding causal signals in data. However, classification methods are not designed for causal discovery and a classification method may find false causal signals and miss the true ones. In this paper, we develop a causal decision tree where nodes have causal interpretations. Our method follows a well established causal inference framework and makes use of a classic statistical test. The method is practical for finding causal signals in large data sets.


title: IRIS Observations of the Mg II h & k Lines During a Solar Flare

abstract: The bulk of the radiative output of a solar flare is emitted from the chromosphere, which produces enhancements in the optical and UV continuum, and in many lines, both optically thick and thin. We have, until very recently, lacked observations of two of the strongest of these lines: the Mg II h & k resonance lines. We present a detailed study of the response of these lines to a solar flare. The spatial and temporal behaviour of the integrated intensities, k/h line ratios, line of sight velocities, line widths and line asymmetries were investigated during an M class flare (SOL2014-02-13T01:40). Very intense, spatially localised energy input at the outer edge of the ribbon is observed, resulting in redshifts equivalent to velocities of ~15-26km/s, line broadenings, and a blue asymmetry in the most intense sources. The characteristic central reversal feature that is ubiquitous in quiet Sun observations is absent in flaring profiles, indicating that the source function increases with height during the flare. Despite the absence of the central reversal feature, the k/h line ratio indicates that the lines remain optically thick during the flare. Subordinate lines in the Mg II passband are observed to be in emission in flaring sources, brightening and cooling with similar timescales to the resonance lines. This work represents a first analysis of potential diagnostic information of the flaring atmosphere using these lines, and provides observations to which synthetic spectra from advanced radiative transfer codes can be compared.


title: Differences of subgroups in subgroups

abstract: We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \ll |\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and prove a "dual" sum-products estimate.


title: Asymptotic connectivity for the network of RNA secondary structures

abstract: Given an RNA sequence a, consider the network G = (V;E), where the set V of nodes consists of all secondary structures of a, and whose edge set E consists of all edges connecting two secondary structures whose base pair distance is 1. Define the network connectivity, or expected network degree, as the average number of edges incident to vertices of G. Using algebraic combinatorial methods, we prove that the asymptotic connectivity of length n homopolymer sequences is 0:473418 ? n. This raises the question of what other network properties are characteristic of the network of RNA secondary structures. Programs in Python, C and Mathematica are available at the web site http://bioinformatics.bc.edu/clotelab/ RNAexpNumNbors.


title: Extreme positive ternary sextics

abstract: We study nonnegative (psd) real sextic forms $q(x_0,x_1,x_2)$ that are not sums of squares (sos). Such a form has at most ten real zeros. We give a complete and explicit characterization of all sets $S\subset\mathbb{P}^2(\mathbb{R})$ with $|S|=9$ for which there is a psd non-sos sextic vanishing in $S$. Roughly, on every plane cubic $X$ with only real nodes there is a certain natural divisor class $\tau_X$ of degree~$9$, and $S$ is the real zero set of some psd non-sos sextic if, and only if, there is a unique cubic $X$ through $S$ and $S$ represents the class $\tau_X$ on $X$. If this is the case, there is a unique extreme ray $\mathbb{R}_+q_S$ of psd non-sos sextics through $S$, and we show how to find $q_S$ explicitly. The sextic $q_S$ has a tenth real zero which for generic $S$ does not lie in $S$, but which may degenerate into a higher singularity contained in $S$. We also show that for any eight points in $\mathbb{P}^2(\mathbb{R})$ in general position there exists a psd sextic that is not a sum of squares and vanishes in the given points.


title: Visualizing long vectors of measurements by use of the Hilbert curve

abstract: The use of Hilbert curves to visualize massive vector of data is revisited following previous authors. The Hilbert curve mapping preserves locality and makes meaningful representation of the data. We call such visualization as Hilbert plots. The combination of a Hilbert plot with its Fourier transform allows to identify patterns in the underlying data sequence. The use of different granularity representation also allows to identify periodic intervals within the data. Data from different sources are presented: periodic, aperiodic, logistic map and 1/2-Ising model. A real data example from the study of heartbeat data is also discussed.


title: Optically Reconfigurable Photonic Devices

abstract: Optoelectronic components with adjustable parameters, from variable-focal-length lenses to spectral filters that can change functionality upon stimulation, have enormous technological importance. Tuning of such components is conventionally achieved by either micro- or nano-mechanical actuation of their consitutive parts, stretching or application of thermal stimuli. Here we report a new dielectric metasurface platform for reconfigurable optical components that are created with light in a non-volatile and reversible fashion. Such components are written, erased and re-written as two-dimensional binary or grey-scale patterns into a nanoscale film of phase change material by inducing a refractive-index-changing phase-transition with tailored trains of femtosecond pulses. We combine germanium-antimony-tellurium-based films optimized for high-optical-contrast ovonic switching with a sub-wavelength-resolution optical writing process to demonstrate technologically relevant devices: visible-range reconfigurable bi-chromatic and multi-focus Fresnel zone-plates, a super-oscillatory lens with sub-wavelength focus, a grey-scale hologram and a dielectric metamaterial with on-demand reflcetion and transmission resonances.


title: From Observational Studies to Causal Rule Mining

abstract: Randomised controlled trials (RCTs) are the most effective approach to causal discovery, but in many circumstances it is impossible to conduct RCTs. Therefore observational studies based on passively observed data are widely accepted as an alternative to RCTs. However, in observational studies, prior knowledge is required to generate the hypotheses about the cause-effect relationships to be tested, hence they can only be applied to problems with available domain knowledge and a handful of variables. In practice, many data sets are of high dimensionality, which leaves observational studies out of the opportunities for causal discovery from such a wealth of data sources. In another direction, many efficient data mining methods have been developed to identify associations among variables in large data sets. The problem is, causal relationships imply associations, but the reverse is not always true. However we can see the synergy between the two paradigms here. Specifically, association rule mining can be used to deal with the high-dimensionality problem while observational studies can be utilised to eliminate non-causal associations. In this paper we propose the concept of causal rules (CRs) and develop an algorithm for mining CRs in large data sets. We use the idea of retrospective cohort studies to detect CRs based on the results of association rule mining. Experiments with both synthetic and real world data sets have demonstrated the effectiveness and efficiency of CR mining. In comparison with the commonly used causal discovery methods, the proposed approach in general is faster and has better or competitive performance in finding correct or sensible causes. It is also capable of finding a cause consisting of multiple variables, a feature that other causal discovery methods do not possess.


title: Unique continuation from infinity in asymptotically Anti-de Sitter spacetimes

abstract: We consider the unique continuation properties of asymptotically Anti-de Sitter spacetimes by studying Klein-Gordon-type equations $\Box_g \phi + \sigma \phi = \mathcal{G} ( \phi, \partial \phi )$, $\sigma \in \mathbb{R}$, on a large class of such spacetimes. Our main result establishes that if $\phi$ vanishes to sufficiently high order (depending on $\sigma$) on a sufficiently long time interval along the conformal boundary $\mathcal{I}$, then the solution necessarily vanishes in a neighborhood of $\mathcal{I}$. In particular, in the $\sigma$-range where Dirichlet and Neumann conditions are possible on $\mathcal{I}$ for the forward problem, we prove uniqueness if both these conditions are imposed. The length of the time interval can be related to the refocusing time of null geodesics on these backgrounds and is expected to be sharp. Some global applications as well a uniqueness result for gravitational perturbations are also discussed. The proof is based on novel Carleman estimates established in this setting.


title: Vertical modeling: analysis of competing risks data with a cure proportion

abstract: In this paper, we extend the vertical modeling approach for the analysis of survival data with competing risks to incorporate a cured fraction in the population, that is, a proportion of the population for which none of the competing events can occur. The proposed method has three components: the proportion of cure, the risk of failure, irrespective of the cause, and the relative risk of a certain cause of failure, given a failure occurred. Covariates may affect each of these components. An appealing aspect of the method is that it is a natural extension to competing risks of the semi-parametric mixture cure model in ordinary survival analysis; thus, causes of failure are assigned only if a failure occurs. This contrasts with the existing mixture cure model for competing risks of Larson and Dinse, which conditions at the onset on the future status presumably attained. Regression parameter estimates are obtained using an EM-algorithm. The performance of the estimators is evaluated in a simulation study. The method is illustrated using a melanoma cancer data set.


title: A one-dimensional diffusion hits points fast

abstract: A one-dimensional, continuous, regular, and strong Markov process $X$ with state space $E$ hits any point $z \in E$ fast with positive probability. To wit, if $\tau_z = \inf \{t \geq 0:X_{t} = z\}$, then $P_\xi({ \tau}_z<\varepsilon)>0$ for all $\xi \in E$ and $\varepsilon>0$.


title: XYZ: four-quark states?

abstract: The observation of many unexpected states decaying into heavy quarkonia has challenged the usual Q-Qbar interpretation. We will discuss the nature of some of the charmonium-like resonances recently observed by BES III and LHCb, and their identication according to the compact tetraquark model. We also commment the production of light nuclei in hadron collisions and the relevance for the physics of the X(3872).


title: Classification of minimal Lorentzian surfaces in $\mathbb S^4_2(1)$ with constant Gaussian and normal curvatures

abstract: In this paper we consider Lorentzian surfaces in the 4-dimensional pseudo-Riemannian sphere $\mathbb S^4_2(1)$ with index 2 of curvature one. We obtain the complete classification of minimal Lorentzian surfaces $\mathbb S^4_2(1)$ whose Gaussian and normal curvatures are constants. We conclude that such surfaces have the Gaussian curvature $1/3$ and the absolute value of normal curvature $2/3$. We also give some explicit examples.


title: Wideband superconducting nanotube electrometer

abstract: We have investigated the microwave response of nanotube Josephson junctions at 600-900 MHz at microwave powers corresponding to currents from 0 to $2\times I_{\mathrm C}$ in the junction. Compared with theoretical modeling, the response of the junctions correspond well to the lumped element model of resistively and capacitively shunted junction. We demonstrate the operation of these superconducting FETs as charge detectors at high frequencies without any matching circuits. Gate-voltage-induced charge $Q_{\rm G}$ modifies the critical current $I_{\rm C}$, which changes the effective impedance of the junction under microwave irradiation. This change, dependent on the transfer characteristics $dI_{\mathrm C}/dQ_{\rm G}$, modifies the reflected signal and it can be used for wide band electrometry. We measure a sensitivity of $3.1\times10^{-5}$ $e/\sqrt{\mathrm{Hz}}$ from a sample which has a maximum switching current of 2.6 nA.


title: A Generative Word Embedding Model and its Low Rank Positive Semidefinite Solution

abstract: Most existing word embedding methods can be categorized into Neural Embedding Models and Matrix Factorization (MF)-based methods. However some models are opaque to probabilistic interpretation, and MF-based methods, typically solved using Singular Value Decomposition (SVD), may incur loss of corpus information. In addition, it is desirable to incorporate global latent factors, such as topics, sentiments or writing styles, into the word embedding model. Since generative models provide a principled way to incorporate latent factors, we propose a generative word embedding model, which is easy to interpret, and can serve as a basis of more sophisticated latent factor models. The model inference reduces to a low rank weighted positive semidefinite approximation problem. Its optimization is approached by eigendecomposition on a submatrix, followed by online blockwise regression, which is scalable and avoids the information loss in SVD. In experiments on 7 common benchmark datasets, our vectors are competitive to word2vec, and better than other MF-based methods.


title: Thermotropic interface and core relaxation dynamics of liquid crystals in silica glass nanochannels: A dielectric spectroscopy study

abstract: We report dielectric relaxation spectroscopy experiments on two rod-like liquid crystals of the cyanobiphenyl family (5CB and 6CB) confined in tubular nanochannels with 7 nm radius and 340 micrometer length in a monolithic, mesoporous silica membrane. The measurements were performed on composites for two distinct regimes of fractional filling: monolayer coverage at the pore walls and complete filling of the pores. For the layer coverage a slow surface relaxation dominates the dielectric properties. For the entirely filled channels the dielectric spectra are governed by two thermally-activated relaxation processes with considerably different relaxation rates: A slow relaxation in the interface layer next to the channel walls and a fast relaxation in the core region of the channel filling. The strengths and characteristic frequencies of both relaxation processes have been extracted and analysed as a function of temperature. Whereas the temperature dependence of the static capacitance reflects the effective (average) molecular ordering over the pore volume and is well described within a Landau-de Gennes theory, the extracted relaxation strengths of the slow and fast relaxation processes provide an access to distinct local molecular ordering mechanisms. The order parameter in the core region exhibits a bulk-like behaviour with a strong increase in the nematic ordering just below the paranematic-to-nematic transition temperature T_PN and subsequent saturation during cooling. By contrast, the surface ordering evolves continuously with a kink near T_PN. A comparison of the thermotropic behaviour of the monolayer with the complete filling reveals that the molecular order in the core region of the pore filling affects the order of the peripheral molecular layers at the wall.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft physics.chem-ph


title: Statistical depth meets computational geometry: a short survey

abstract: During the past two decades there has been a lot of interest in developing statistical depth notions that generalize the univariate concept of ranking to multivariate data. The notion of depth has also been extended to regression models and functional data. However, computing such depth functions as well as their contours and deepest points is not trivial. Techniques of computational geometry appear to be well-suited for the development of such algorithms. Both the statistical and the computational geometry communities have done much work in this direction, often in close collaboration. We give a short survey of this work, focusing mainly on depth and multivariate medians, and end by listing some other areas of statistics where computational geometry has been of great help in constructing efficient algorithms.


title: Spectrum and eigenfunctions of the lattice hyperbolic Ruijsenaars-Schneider system with exponential Morse term

abstract: We place the hyperbolic quantum Ruijsenaars-Schneider system with an exponential Morse term on a lattice and diagonalize the resulting $n$-particle model by means of multivariate continuous dual $q$-Hahn polynomials that arise as a parameter reduction of the Macdonald-Koornwinder polynomials. This allows to compute the $n$-particle scattering operator, to identify the bispectral dual system, and to confirm the quantum integrability in a Hilbert space set-up.


title: A local-global principle in the dynamics of quadratic polynomials

abstract: Let $K$ be a number field, $f\in K[x]$ a quadratic polynomial, and $n\in\{1,2,3\}$. We show that if $f$ has a point of period $n$ in every non-archimedean completion of $K$, then $f$ has a point of period $n$ in $K$. For $n\in\{4,5\}$ we show that there exist at most finitely many linear conjugacy classes of quadratic polynomials over $K$ for which this local-global principle fails. By considering a stronger form of this principle, we strengthen global results obtained by Morton and Flynn-Poonen-Schaefer in the case $K=\mathbf Q$. More precisely, we show that for every quadratic polynomial $f\in\mathbf Q[x]$ there exist infinitely many primes $p$ such that $f$ does not have a point of period 4 in the $p$-adic field $\mathbf Q_p$. Conditional on knowing all rational points on a particular curve of genus 11, the same result is proved for points of period 5.


title: Characterizing large cardinals in terms of layered posets

abstract: Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We show that weak compactness can be characterized by this property of partial orders by proving that an uncountable regular cardinal $\kappa$ is weakly compact if and only if every partial order satisfying the $\kappa$-chain condition is $\kappa$-stationarily layered. We prove a similar result for strongly inaccessible cardinals. Moreover, we show that the statement that all $\kappa$-Knaster partial orders are $\kappa$-stationarily layered implies that $\kappa$ is a Mahlo cardinal and every stationary subset of $\kappa$ reflects. This shows that this statement characterizes weak compactness in canonical inner models. In contrast, we show that it is also consistent that this statement holds at a non-weakly compact cardinal.


title: The minimum mass of a spherically symmetric object in $D$-dimensions, and its implications for the mass hierarchy problem

abstract: The existence of both a minimum mass and a minimum density in nature, in the presence of a positive cosmological constant, is one of the most intriguing results in classical general relativity. These results follow rigorously from the Buchdahl inequalities in four dimensional de Sitter space. In this work, we obtain the generalized Buchdahl inequalities in arbitrary space-time dimensions with $\Lambda \neq 0$ and consider both the de Sitter and anti-de Sitter cases. The dependence on $D$, the number of space-time dimensions, of the minimum and maximum masses for stable spherical objects is explicitly obtained. The analysis is then extended to the case of dark energy satisfying an arbitrary linear barotropic equation of state. The Jeans instability of barotropic dark energy is also investigated, for arbitrary $D$, in the framework of a simple Newtonian model with and without viscous dissipation, and we determine the dispersion relation describing the dark energy$-$matter condensation process, along with estimates of the corresponding Jeans mass (and radius). Finally, the quantum mechanical implications of mass limits are investigated, and we show that the existence of a minimum mass scale naturally leads to a model in which dark energy is composed of a `sea' of quantum particles, each with an effective mass proportional to $\Lambda^{1/4}$.


title: Large tilting sheaves over weighted noncommutative regular projective curves

abstract: Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all tilting sheaves which have a non-coherent torsion subsheaf. In case of nonnegative orbifold Euler characteristic we classify all large (that is, non-coherent) tilting sheaves and the corresponding resolving classes. In particular we show that in the elliptic and in the tubular cases every large tilting sheaf has a well-defined slope.


title: Differential Equations of Mathematical Physics

abstract: These lecture notes for the course APM 351 at the University of Toronto are aimed at mathematicians and physicists alike. It is not meant as an introductory course to PDEs, but rather gives an overview of how to view and solve differential equations that are common in physics. Among others, I cover Hamilton's equations, variations of the Schr\"odinger equation, the heat equation, the wave equation and Maxwells equations.


title: Distance mean-regular graphs

abstract: We introduce the concept of distance mean-regular graph, which can be seen as a generalization of both vertex-transitive and distance-regular graphs. Let $\Gamma$ be a graph with vertex set $V$, diameter $D$, adjacency matrix $A$, and adjacency algebra ${\cal A}$. Then, $\Gamma$ is $distance$ $mean$-$regular$ when, for a given $u\in V$, the averages of the intersection numbers $p_{ij}^h(u,v)=|\Gamma_i(u)\cap \Gamma_j(v)|$ (number of vertices at distance $i$ from $u$ and distance $j$ from $v$) computed over all vertices $v$ at a given distance $h\in \{0,1,\ldots,D\}$ from $u$, do not depend on $u$. In this work we study some properties and characterizations of these graphs. For instance, it is shown that a distance mean-regular graph is always distance degree-regular, and we give a condition for the converse to be also true. Some algebraic and spectral properties of distance mean-regular graphs are also investigated. We show that, for distance mean regular-graphs, the role of the distance matrices of distance-regular graphs is played for the so-called distance mean-regular matrices. These matrices are computed from a sequence of orthogonal polynomials evaluated at the adjacency matrix of $\Gamma$ and, hence, they generate a subalgebra of ${\cal A}$. Some other algebras associated to distance mean-regular graphs are also characterized.


title: Thermomagnetic Ettingshausen-Nernst effect in tachocline and axion mechanism of solar luminosity variations

abstract: It is shown that the hypothesis of the axion mechanism for solar luminosity variations suggesting that the solar axion particles are born in the core of the Sun and may be efficiently converted back into $\gamma$-quanta in the magnetic field of the solar overshoot tachocline is physically relevant. As a result, it is also shown that the intensity variations of the $\gamma$-quanta of axion origin, induced by the magnetic field variations in the tachocline via the thermomagnetic Ettingshausen-Nernst effect, directly cause the Sun luminosity variations and eventually characterize the active and quiet states of the Sun. Within the framework of this mechanism estimations of the strength of the axion coupling to a photon ($g_{a \gamma} = 4.4 \cdot 10^{-11} GeV^{-1}$) and the hadronic axion particle mass ($m_a \sim 3.2 \cdot 10^{-2} eV$) have been obtained. It is also shown that the claimed axion parameters do not contradict any known experimental and theoretical model-independent limitations.


title: Incorporating User Interaction into Imperative Languages

abstract: In this paper, we present two new forms of the $write$ statement: one of the form $write(x);G$ where $G$ is a statement and the other of the form $write(x);D$ where $D$ is a module. The former is a generalization of traditional $write$ statement and is quite useful. The latter is useful for implementing interactive modules.


title: Encoding TLA+ set theory into many-sorted first-order logic

abstract: We present an encoding of Zermelo-Fraenkel set theory into many-sorted first-order logic, the input language of state-of-the-art SMT solvers. This translation is the main component of a back-end prover based on SMT solvers in the TLA+ Proof System.


title: The FORS1 catalogue of stellar magnetic field measurements

abstract: The FORS1 instrument on the ESO Very Large Telescope was used to obtain low-resolution circular polarised spectra of nearly a thousand different stars, with the aim of measuring their mean longitudinal magnetic fields. A catalogue of FORS1 magnetic measurements would provide a valuable resource with which to better understand the strengths and limitations of this instrument and of similar low-dispersion, Cassegrain spectropolarimeters. However, FORS1 data reduction has been carried out by a number of different groups using a variety of reduction and analysis techniques. Our understanding of the instrument and our data reduction techniques have both improved over time. A full re-analysis of FORS1 archive data using a consistent and fully documented algorithm would optimise the accuracy and usefulness of a catalogue of field measurements. Based on the ESO FORS pipeline, we have developed a semi-automatic procedure for magnetic field determinations, which includes self-consistent checks for field detection reliability. We have applied our procedure to the full content of circular spectropolarimetric measurements of the FORS1 archive. We have produced a catalogue of spectro-polarimetric observations and magnetic field measurements for about 1400 observations of about 850 different objects. The spectral type of each object has been accurately classified. We have also been able to test different methods for data reduction is a systematic way. The resulting catalogue has been used to produce an estimator for an upper limit to the uncertainty in a field strength measurement of an early type star as a function of the signal-to-noise ratio of the observation. While FORS1 is not necessarily an optimal instrument for the discovery of weak magnetic fields, it is very useful for the systematic study of larger fields, such as those found in Ap/Bp stars and in white dwarfs.


title: 3D-Computer Animation for a Yoruba Native Folktale

abstract: Computer graphics has wide range of applications which are implemented into computer animation, computer modeling among others. Since the invention of computer graphics researchers have not paid much of attentions toward the possibility of converting oral tales otherwise known as folktales into possible cartoon animated videos. This paper is based on how to develop cartoons of local folktales that will be of huge benefits to Nigerians. The activities were divided into 5 stages; analysis, design, development, implementation and evaluation which involved various processes and use of various specialized software and hardware. After the implementation of this project, the video characteristics were evaluated using likert scale. Analysis of 30 user responses indicated that 17 users (56.7 percent) rated the image quality as excellent, the video and image synchronization was rated as excellent by 9 users (30 percent), the Background noise was rated excellent by 18 users (60 percent), the Character Impression was rated Excellent by 11 users (36.67 percent), the general assessment of the storyline was rated excellent by 17 users (56.7 percent), the video Impression was rated excellent by 11 users (36.67 percent) and the voice quality was rated by 10 users (33.33 percent) as excellent.


title: New Analytical Solutions of a Modified Black-Scholes Equation with the European Put Option

abstract: Using Maple, we compute some analytical solutions of a modified Black-Scholes equation, recently proposed, in the case of the European put option. We show that the modified Black-Scholes equation with the European put option is exactly solvable in terms of associated Laguerre polynomials. We make some numerical experiments with the analytical solutions and we compare our results with the results derived from numerical experiments using the standard Black-Scholes equation.


title: Convergence to Equilibrium of a Body Moving in a Kinetic Sea

abstract: We consider a continuum of particles that are acted upon by an external force $\mathbf{G}(t,\mathbf{x})$ and that collide with a rigid body. The body itself is subject to a constant force $E$ as well as to the collective force of interaction with the particles. We assume that the particles that collide with the body reflect probabilistically with some probablility distribution $K(v,u)$. Under certain conditions on $\mathbf{G}(t,\mathbf{x})$ and $K(v,u)$, we identify an equilibrium velocity $V_{\infty }$ of the body and we prove that this equilibrium is asymptotically stable.


title: The Gremlin Graph Traversal Machine and Language

abstract: Gremlin is a graph traversal machine and language designed, developed, and distributed by the Apache TinkerPop project. Gremlin, as a graph traversal machine, is composed of three interacting components: a graph $G$, a traversal $\Psi$, and a set of traversers $T$. The traversers move about the graph according to the instructions specified in the traversal, where the result of the computation is the ultimate locations of all halted traversers. A Gremlin machine can be executed over any supporting graph computing system such as an OLTP graph database and/or an OLAP graph processor. Gremlin, as a graph traversal language, is a functional language implemented in the user's native programming language and is used to define the $\Psi$ of a Gremlin machine. This article provides a mathematical description of Gremlin and details its automaton and functional properties. These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and multi-machine execution models, hybrid depth- and breadth-first evaluation, as well as the existence of a Universal Gremlin Machine and its respective entailments.


title: On normed semigroups

abstract: The paper begins by exploring the various definitions of norms on semigroups and then presents a new definition of a normed semigroup. The properties of normed semigroups in the new sense are investigated. The new definition of the norm is used to establish a general result on topological regular semigroups which is then used to prove the surprising result that the semigroup M_n(K) is not a topological regular semigroup.


title: Orientational ordering and phase behaviour of a binary mixture of hard spheres and hard spherocylinders

abstract: We study structure and fluid-phase behaviour of a binary mixture of hard spheres (HSs) and hard spherocylinders (HSCs) in isotropic and nematic states using the $NP_nAT$ ensemble Monte Carlo (MC) method in which a normal pressure tensor component is fixed in a system confined between two hard walls. The method allows one to estimate the location of the isotropic-nematic phase transition and to observe the asymmetry in the composition between the coexisting phases, with the expected increase of the HSC concentration in the nematic phase. This is in stark contrast with the previously reported MC simulations where a conventional isotropic $NPT$ ensemble was used. We further compare the simulation results with the theoretical predictions of two analytic theories that extend the original Parsons-Lee theory using the one-fluid and the many-fluid approximation [Malijevsk\'y {\it at al} J. Chem. Phys. \textbf{129}, 144504 (2008)]. In the one-fluid version of the theory the properties of the mixture are mapped on an effective one-component HS system while in the many-fluid theory the components of the mixtures are represented as separate effective HS particles. The comparison reveals that both the one- and the many-fluid approaches provide a reasonably accurate quantitative description of the mixture including the predictions of the isotropic-nematic phase boundary and degree of orientational order of the HSC-HS mixtures.


title: Schema Independent Relational Learning

abstract: Learning novel concepts and relations from relational databases is an important problem with many applications in database systems and machine learning. Relational learning algorithms learn the definition of a new relation in terms of existing relations in the database. Nevertheless, the same data set may be represented under different schemas for various reasons, such as efficiency, data quality, and usability. Unfortunately, the output of current relational learning algorithms tends to vary quite substantially over the choice of schema, both in terms of learning accuracy and efficiency. This variation complicates their off-the-shelf application. In this paper, we introduce and formalize the property of schema independence of relational learning algorithms, and study both the theoretical and empirical dependence of existing algorithms on the common class of (de) composition schema transformations. We study both sample-based learning algorithms, which learn from sets of labeled examples, and query-based algorithms, which learn by asking queries to an oracle. We prove that current relational learning algorithms are generally not schema independent. For query-based learning algorithms we show that the (de) composition transformations influence their query complexity. We propose Castor, a sample-based relational learning algorithm that achieves schema independence by leveraging data dependencies. We support the theoretical results with an empirical study that demonstrates the schema dependence/independence of several algorithms on existing benchmark and real-world datasets under (de) compositions.


title: Comparison and maximum principles for a class of flux-limited diffusions with external force fields

abstract: In this paper, we are interested in a general equation that has finite speed of propagation compatible with Einstein's theory of special relativity. This equation without external force fields has been derived recently by means of optimal transportation theory. We first provide an argument to incorporate the external force fields. Then we are concerned with comparison and maximum principles for this equation. We consider both stationary and evolutionary problems. We show that the former satisfies a comparison principle and a strong maximum principle. While the latter fulfils weaker ones. The key technique is a transformation that matches well with the gradient flow structure of the equation.


title: Observation of surface states on heavily indium doped SnTe(111), a superconducting topological crystalline insulator

abstract: The topological crystalline insulator tin telluride is known to host superconductivity when doped with indium (Sn$_{1-x}$In$_{x}$Te), and for low indium contents ($x=0.04$) it is known that the topological surface states are preserved. Here we present the growth, characterization and angle resolved photoemission spectroscopy analysis of samples with much heavier In doping (up to $x\approx0.4$), a regime where the superconducting temperature is increased nearly fourfold. We demonstrate that despite strong p-type doping, Dirac-like surface states persist.


title: A remark on {2,3}-groups with no elements of order six

abstract: We describe $\{2,3\}$-groups in which the order of a product of any two elements of orders at most $4$ does not exceed $9$ and the centralizer of every involution is a locally cyclic $2$-subgroup. In particular, we will prove that these groups are locally finite.


title: The IsoDAR High Intensity H$_2^+$ Transport and Injection Tests

abstract: This technical report reviews the tests performed at the Best Cyclotron Systems, Inc. facility in regards to developing a cost effective ion source, beam line transport system, and acceleration system capable of high H$_2^+$ current output for the IsoDAR (Isotope Decay At Rest) experiment. We begin by outlining the requirements for the IsoDAR experiment then provide overview of the Versatile Ion Source, Low Energy Beam Transport system, spiral inflector, and cyclotron. The experimental measurements are then discussed and the results are compared with a thorough set of simulation studies. Of particular importance we note that the Versatile Ion Source (VIS) proved to be a reliable ion source capable of generating a large amount of H$_2^+$ current. The results suggest that with further upgrades, the VIS could potentially be a suitable candidate for IsoDAR. The conclusion outlines the key results from our tests and introduces the forthcoming work this technical report has motivated.


title: Resonant-state expansion for a simple dispersive medium

abstract: The resonant-state expansion (RSE), a rigorous perturbative method developed in electrodynamics for non-dispersive optical systems is applied to media with an Ohm's law dispersion, in which the frequency dependent part of the permittivity scales inversely with the frequency, corresponding to a frequency-independent conductivity. This dispersion has only a single pole at zero frequency, which is already present in the non-dispersive RSE, allowing to maintain not only the linearity of the eigenvalue problem of the RSE but also its size. Media which can be described by this dispersion over the relevant frequency range, such as optical glass or doped semiconductors, can be treated in the RSE without additional complexity. Results are presented using analytically solvable homogeneous spheres, for doped silicon and BK7 glass, both for a perturbation of the system going from non-dispersive to dispersive media and the reverse, from dispersive to non-dispersive media.


title: Sufficient Dimension Reduction and Modeling Responses Conditioned on Covariates: An Integrated Approach via Convex Optimization

abstract: Given observations of a collection of covariates and responses $(Y, X) \in \mathbb{R}^p \times \mathbb{R}^q$, sufficient dimension reduction (SDR) techniques aim to identify a mapping $f: \mathbb{R}^q \rightarrow \mathbb{R}^k$ with $k \ll q$ such that $Y|f(X)$ is independent of $X$. The image $f(X)$ summarizes the relevant information in a potentially large number of covariates $X$ that influence the responses $Y$. In many contemporary settings, the number of responses $p$ is also quite large, in addition to a large number $q$ of covariates. This leads to the challenge of fitting a succinctly parameterized statistical model to $Y|f(X)$, which is a problem that is usually not addressed in a traditional SDR framework. In this paper, we present a computationally tractable convex relaxation based estimator for simultaneously (a) identifying a linear dimension reduction $f(X)$ of the covariates that is sufficient with respect to the responses, and (b) fitting several types of structured low-dimensional models -- factor models, graphical models, latent-variable graphical models -- to the conditional distribution of $Y|f(X)$. We analyze the consistency properties of our estimator in a high-dimensional scaling regime. We also illustrate the performance of our approach on a newsgroup dataset and on a dataset consisting of financial asset prices.


title: Transfer pricing manipulation, tax penalty cost and the impact of foreign profit taxation

abstract: This paper analizes the optimal level of transfer pricing manipulation when the expected tax penalty is a function of the tax enforcement and the market price parameter. The arm's length principle implies the existence of a range of acceptable prices shaped by market, and firms can manipulate transfer prices more freely if market price range is wide, or if its delimitations are difficult to determine. Home taxation of foreign profits can reduce income shifting incentive, depending on the portion of repatriation for tax purposes. We find that the limited tax credit rule tends to be a less efficient measure, nonetheless it is the most widely adopted rule by countries, so to spark the perspective of more powerful approaches for taxation of foreign profits.


title: Online Representation Learning in Recurrent Neural Language Models

abstract: We investigate an extension of continuous online learning in recurrent neural network language models. The model keeps a separate vector representation of the current unit of text being processed and adaptively adjusts it after each prediction. The initial experiments give promising results, indicating that the method is able to increase language modelling accuracy, while also decreasing the parameters needed to store the model along with the computation required at each step.


title: A Locking-Free Weak Galerkin Finite Element Method for Elasticity Problems in the Primal Formulation

abstract: This paper presents an arbitrary order locking-free numerical scheme for linear elasticity on general polygonal/polyhedral partitions by using weak Galerkin (WG) finite element methods. Like other WG methods, the key idea for the linear elasticity is to introduce discrete weak strain and stress tensors which are defined and computed by solving inexpensive local problems on each element. Such local problems are derived from weak formulations of the corresponding differential operators through integration by parts. Locking-free error estimates of optimal order are derived in a discrete $H^1$-norm and the usual $L^2$-norm for the approximate displacement when the exact solution is smooth. Numerical results are presented to demonstrate the efficiency, accuracy, and the locking-free property of the weak Galerkin finite element method.


title: Two-stage Cascaded Classifier for Purchase Prediction

abstract: In this paper we describe our machine learning solution for the RecSys Challenge, 2015. We have proposed a time efficient two-stage cascaded classifier for the prediction of buy sessions and purchased items within such sessions. Based on the model, several interesting features found, and formation of our own test bed, we have achieved a reasonable score. Usage of Random Forests helps us to cope with the effect of the multiplicity of good models depending on varying subsets of features in the purchased items prediction and, in its turn, boosting is used as a suitable technique to overcome severe class imbalance of the buy-session prediction.


title: Entropic descriptor based reconstruction of three-dimensional porous microstructures using a single cross-section

abstract: The simple entropic method to statistical reconstructing of heterogeneous three-dimensional media from a single two-dimensional image is briefly reported. We apply the entropic descriptor quantifying spatial inhomogeneity that depends on length scale. The multiscale reconstructing procedure is boosted when we start from the synthetic 3D configuration. It is randomly generated with the overlapping spheres of a radius depending on the structure considered. In our scenario, the simulated annealing terminates when all assigned temperature loops are completed. Thus, the quality of the results for different samples can be fairly compared. The reliable 3D reconstructions of porous sandstone, ceramics and carbonate samples are obtained. They suggest the entropic method is a promising approach, which offers a kind of compromise between the computational efficiency and the accuracy of the statistical reconstructions. Furthermore, this approach is versatile enough to be extended for any multiphase medium.


title: Generic Absence of Finite Blocking for Interior Points of Birkhoff Billiards

abstract: Let x and y be points in a billiard table M that is bounded by a curve sigma. We assume that sigma is a simple closed C^r curve with positive curvature, where r is at least 2. A subset B of M\{x,y} is called a blocking set for the pair (x,y) if every billiard path in M from x to y passes through a point in B. If a finite blocking set exists, the pair (x,y) is called secure in M; if not, it is called insecure. We show that for the generic (in the sense of Baire category) curve sigma, the generic pair of interior points is insecure.


title: The Computational Power of Beeps

abstract: In this paper, we study the quantity of computational resources (state machine states and/or probabilistic transition precision) needed to solve specific problems in a single hop network where nodes communicate using only beeps. We begin by focusing on randomized leader election. We prove a lower bound on the states required to solve this problem with a given error bound, probability precision, and (when relevant) network size lower bound. We then show the bound tight with a matching upper bound. Noting that our optimal upper bound is slow, we describe two faster algorithms that trade some state optimality to gain efficiency. We then turn our attention to more general classes of problems by proving that once you have enough states to solve leader election with a given error bound, you have (within constant factors) enough states to simulate correctly, with this same error bound, a logspace TM with a constant number of unary input tapes: allowing you to solve a large and expressive set of problems. These results identify a key simplicity threshold beyond which useful distributed computation is possible in the beeping model.


title: On methods of estimating cosmological bulk flows

abstract: We explore similarities and differences between several estimators of the cosmological bulk flow, $\bf B$, from the observed radial peculiar velocities of galaxies. A distinction is made between two theoretical definitions of $\bf B$ as a dipole moment of the velocity field weighted by a radial window function. One definition involves the three dimensional (3D) peculiar velocity, while the other is based on its radial component alone. Different methods attempt at inferring $\bf B$ for either of these definitions which coincide only for a constant velocity field. We focus on the Wiener Filtering (WF, Hoffman et al. 2015) and the Constrained Minimum Variance (CMV,Feldman et al. 2010) methodologies. Both methodologies require a prior expressed in terms of the radial velocity correlation function. Hoffman et al. compute $\bf B$ in Top-Hat windows from a WF realization of the 3D peculiar velocity field. Feldman et al. infer $\bf B$ directly from the observed velocities for the second definition of $\bf B$. The WF methodology could easily be adapted to the second definition, in which case it will be equivalent to the CMV with the exception of the imposed constraint. For a prior with vanishing correlations or very noisy data, CMV reproduces the standard Maximum Likelihood (ML, Kaiser 1988) estimation for $\bf B$ of the entire sample independent of the radial weighting function. Therefore, this estimator is likely more susceptible to observational biases that could be present in measurements of distant galaxies. Finally, two additional estimators are proposed.


title: 3D hydrodynamical and radiative transfer modeling of Eta Carinae's colliding winds

abstract: We present results of full 3D hydrodynamical and radiative transfer simulations of the colliding stellar winds in the massive binary system Eta Carinae. We accomplish this by applying the SimpleX algorithm for 3D radiative transfer on an unstructured Voronoi-Delaunay grid to recent 3D smoothed particle hydrodynamics (SPH) simulations of the binary colliding winds. We use SimpleX to obtain detailed ionization fractions of hydrogen and helium, in 3D, at the resolution of the original SPH simulations. We investigate several computational domain sizes and Luminous Blue Variable primary star mass-loss rates. We furthermore present new methods of visualizing and interacting with output from complex 3D numerical simulations, including 3D interactive graphics and 3D printing. While we initially focus on Eta Car, the methods employed can be applied to numerous other colliding wind (WR 140, WR 137, WR 19) and dusty 'pinwheel' (WR 104, WR 98a) binary systems. Coupled with 3D hydrodynamical simulations, SimpleX simulations have the potential to help determine the regions where various observed time-variable emission and absorption lines form in these unique objects.


title: Measurement of the charge asymmetry in top quark pair production in pp collisions at sqrt(s) = 8 TeV using a template method

abstract: The charge asymmetry in the production of top quark and antiquark pairs is measured in proton-proton collisions at a center-of-mass energy of 8 TeV. The data, corresponding to an integrated luminosity of 19.6 inverse femtobarns, were collected by the CMS experiment at the LHC. Events with a single isolated electron or muon, and four or more jets, at least one of which is likely to have originated from hadronization of a bottom quark, are selected. A template technique is used to measure the asymmetry in the distribution of differences in the top quark and antiquark absolute rapidities. The measured asymmetry is A[c,y] = [0.33 +/- 0.26 (stat) +/- 0.33 (syst)]%, which is the most precise result to date. The results are compared to calculations based on the standard model and on several beyond-the-standard-model scenarios.


title: Discrete Route/Trajectory Decision Making Problems

abstract: The paper focuses on composite multistage decision making problems which are targeted to design a route/trajectory from an initial decision situation (origin) to goal (destination) decision situation(s). Automobile routing problem is considered as a basic physical metaphor. The problems are based on a discrete (combinatorial) operations/states design/solving space (e.g., digraph). The described types of discrete decision making problems can be considered as intelligent design of a route (trajectory, strategy) and can be used in many domains: (a) education (planning of student educational trajectory), (b) medicine (medical treatment), (c) economics (trajectory of start-up development). Several types of the route decision making problems are described: (i) basic route decision making, (ii) multi-goal route decision making, (iii) multi-route decision making, (iv) multi-route decision making with route/trajectory change(s), (v) composite multi-route decision making (solution is a composition of several routes/trajectories at several corresponding domains), and (vi) composite multi-route decision making with coordinated routes/trajectories. In addition, problems of modeling and building the design spaces are considered. Numerical examples illustrate the suggested approach. Three applications are considered: educational trajectory (orienteering problem), plan of start-up company (modular three-stage design), and plan of medical treatment (planning over digraph with two-component vertices).


title: Modeling ballistic effects in frequency-dependent transient thermal transport using diffusion equations

abstract: Understanding ballistic phonon transport effects in transient thermoreflectance experiments and explaining the observed deviations from classical theory remains a challenge. Diffusion equations are simple and computationally efficient but are widely believed to break down when the characteristic length scale is similar or less than the phonon mean-free-path. Building on our prior work, we demonstrate how well-known diffusion equations, namely the hyperbolic heat equation and the Cattaneo equation, can be used to model ballistic phonon effects in frequency-dependent periodic steady-state thermal transport. Our analytical solutions are found to compare excellently to rigorous numerical results of the phonon Boltzmann transport equation. The correct physical boundary conditions can be different from those traditionally used and are paramount for accurately capturing ballistic effects. To illustrate the technique, we consider a simple model problem using two different, commonly-used heating conditions. We demonstrate how this framework can easily handle detailed material properties, by considering the case of bulk silicon using a full phonon dispersion and mean-free-path distribution. This physically transparent approach provides clear insights into the nonequilibrium physics of quasi-ballistic phonon transport and its impact on thermal transport properties.


title: Predicting Grades

abstract: To increase efficacy in traditional classroom courses as well as in Massive Open Online Courses (MOOCs), automated systems supporting the instructor are needed. One important problem is to automatically detect students that are going to do poorly in a course early enough to be able to take remedial actions. Existing grade prediction systems focus on maximizing the accuracy of the prediction while overseeing the importance of issuing timely and personalized predictions. This paper proposes an algorithm that predicts the final grade of each student in a class. It issues a prediction for each student individually, when the expected accuracy of the prediction is sufficient. The algorithm learns online what is the optimal prediction and time to issue a prediction based on past history of students' performance in a course. We derive a confidence estimate for the prediction accuracy and demonstrate the performance of our algorithm on a dataset obtained based on the performance of approximately 700 UCLA undergraduate students who have taken an introductory digital signal processing over the past 7 years. We demonstrate that for 85% of the students we can predict with 76% accuracy whether they are going do well or poorly in the class after the 4th course week. Using data obtained from a pilot course, our methodology suggests that it is effective to perform early in-class assessments such as quizzes, which result in timely performance prediction for each student, thereby enabling timely interventions by the instructor (at the student or class level) when necessary.


title: Ramsey equivalence of $K_n$ and $K_n+K_{n-1}$

abstract: We prove that, for $n\geq 4$, the graphs $K_n$ and $K_n+K_{n-1}$ are Ramsey equivalent. That is, if $G$ is such that any red-blue colouring of its edges creates a monochromatic $K_n$ then it must also possess a monochromatic $K_n+K_{n-1}$.


title: Stability of a tachyon braneworld

abstract: Within the braneworld paradigm the tachyonic scalar field has been used to generate models that attempt to solve some of the open problems that physics faces nowadays, both in cosmology and high energy physics as well. When these field configurations are produced by the interplay of higher dimensional warped gravity with some matter content, braneworld models must prove to be {\it stable} under the whole set of small fluctuations of the gravitational and matter fields background, among other consistency tests. Here we present a complete proof of the stability under scalar perturbations of tachyonic thick braneworlds with an embedded maximally symmetric 4D space-time, revealing its physical consistency. This family of models contains a recently reported tachyonic de Sitter thick braneworld which possesses a series of appealing properties. These features encompass complete regularity, asymptotic flatness (instead of being asymptotically dS or AdS) even when it contains a negative bulk cosmological constant, a relevant 3-brane with dS metric which naturally arises from the full set of field equations of the 5D background (it is not imposed), qualitatively describing the inflationary epochs of our Universe, and a graviton spectrum with a single zero mode bound state that accounts for the 4D graviton localised on the brane and is separated from the continuum of Kaluza-Klein massive graviton excitations by a mass gap. Gauge vector fields with a single massless bound state in its mass spectrum are also localised on this braneworld model a fact that allows us to recover the Coulomb's law of our 4D world. All these properties of the above referred tachyonic braneworld together with the positive stability analysis provided in this work, constitute a firm step towards the construction of realistic cosmological models within the braneworld paradigm.