title: Definable versions of Menger's conjecture

abstract: Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces are /sigma-compact, but Menger continuous images of co-analytic spaces need not be. The general co-analytic case is still open, but many special cases are undecidable, in particular, Menger topological groups. We also prove that if there is a Michael space, then productively Lindelof Cech-complete spaces are /sigma-compact. We also give numerous characterizations of proper K-Lusin spaces. Our methods include the Axiom of Co-analytic Determinacy, non-metrizable descriptive set theory, and Arhangel'skii's work on generalized metric spaces.


title: Perturbative approach to Dynamical Casimir effect in an interface of dielectric mediums

abstract: Electromagnetic field quantization in the presence of two semi-infinite dielectrics with moving interface is investigated in $1+1$-dimensional space-time. The moving interface is modeled for small displacements and the field equation is solved perturbatively. Input-output relations and spectral distribution of emitted photons are obtained and the effect of small transitions trough the interface discussed.


title: First Model-Independent Measurement of the Spin Triplet $p\Lambda$ Scattering Length from Final State Interaction in the $\vec{p}p \rightarrow pK^{+}\Lambda$ Reaction

abstract: The $\vec{p}p \rightarrow pK^{+}\Lambda$ reaction has been measured with the COSY-TOF detector at a beam momentum of $2.7\,\mathrm{GeV}/c$. The polarized proton beam enables the measurement of the beam analyzing power by the asymmetry of the produced kaon ($A_N^{K}$). This observable allows the $p\Lambda$ spin triplet scattering length to be extracted for the first time model independently from the final-state interaction in the reaction. The obtained value is $a_{t} = (-2.55 ^{+0.72}_{-1.39} {}_{\textrm{stat.}} \pm 0.6_{\textrm{syst.}} \pm 0.3_{\textrm{theo.}})\mathrm{fm}$. This value is compatible with theoretical predictions and results from model-dependent analyses.


title: Optical and ultraviolet spectroscopic analysis of SN 2011fe at late times

abstract: We present optical spectra of the nearby Type Ia supernova SN 2011fe at 100, 205, 311, 349, and 578 days post-maximum light, as well as an ultraviolet spectrum obtained with Hubble Space Telescope at 360 days post-maximum light. We compare these observations with synthetic spectra produced with the radiative transfer code PHOENIX. The day +100 spectrum can be well fit with models which neglect collisional and radiative data for forbidden lines. Curiously, including this data and recomputing the fit yields a quite similar spectrum, but with different combinations of lines forming some of the stronger features. At day +205 and later epochs, forbidden lines dominate much of the optical spectrum formation; however, our results indicate that recombination, not collisional excitation, is the most influential physical process driving spectrum formation at these late times. Consequently, our synthetic optical and UV spectra at all epochs presented here are formed almost exclusively through recombination-driven fluorescence. Furthermore, our models suggest that the ultraviolet spectrum even as late as day +360 is optically thick and consists of permitted lines from several iron-peak species. These results indicate that the transition to the "nebular" phase in Type Ia supernovae is complex and highly wavelength-dependent.


title: On the almost eigenvectors of random regular graphs

abstract: Let $d\geq 3$ be fixed and $G$ be a large random $d$-regular graph on $n$ vertices. We show that if $n$ is large enough then the entry distribution of every almost eigenvector $v$ of $G$ (with entry sum 0 and normalized to have length $\sqrt{n}$) is close to some Gaussian distribution $N(0,\sigma)$ in the weak topology where $0\leq\sigma\leq 1$. Our theorem holds even in the stronger sense when many entries are looked at simultaneously in small random neighborhoods of the graph. Furthermore, we also get the Gaussianity of the joint distribution of several almost eigenvectors if the corresponding eigenvalues are close. Our proof uses graph limits and information theory. Our results have consequences for factor of i.i.d.\ processes on the infinite regular tree.


title: Phase Transitions of the Multifractal Spectrum

abstract: We consider the multifractal analysis of the pointwise dimension for Gibbs measures on countable Markov shifts. Our paper analyses the set of non-analytic points or phase transitions of the multifractal spectrum. By Sarig's thermodynamic formalism for countable Markov shifts and Iommi's expression of the multifractal spectrum, we apply analyticity arguments on the pressure function for the countable shift. Finally, we apply our results about the phase transitions of the multifractal spectrum to the Gauss map.


title: Robust algorithms with polynomial loss for near-unanimity CSPs

abstract: An instance of the Constraint Satisfaction Problem (CSP) is given by a family of constraints on overlapping sets of variables, and the goal is to assign values from a fixed domain to the variables so that all constraints are satisfied. In the optimization version, the goal is to maximize the number of satisfied constraints. An approximation algorithm for CSP is called robust if it outputs an assignment satisfying a $(1-g(\varepsilon))$-fraction of constraints on any $(1-\varepsilon)$-satisfiable instance, where the loss function $g$ is such that $g(\varepsilon)\rightarrow 0$ as $\varepsilon\rightarrow 0$. We study how the robust approximability of CSPs depends on the set of constraint relations allowed in instances, the so-called constraint language. All constraint languages admitting a robust polynomial-time algorithm (with some $g$) have been characterised by Barto and Kozik, with the general bound on the loss $g$ being doubly exponential, specifically $g(\varepsilon)=O((\log\log(1/\varepsilon))/\log(1/\varepsilon))$. It is natural to ask when a better loss can be achieved: in particular, polynomial loss $g(\varepsilon)=O(\varepsilon^{1/k})$ for some constant $k$. In this paper, we consider CSPs with a constraint language having a near-unanimity polymorphism. We give two randomized robust algorithms with polynomial loss for such CSPs: one works for any near-unanimity polymorphism and the parameter $k$ in the loss depends on the size of the domain and the arity of the relations in $\Gamma$, while the other works for a special ternary near-unanimity operation called dual discriminator with $k=2$ for any domain size. In the latter case, the CSP is a common generalisation of Unique Games with a fixed domain and 2-SAT. In the former case, we use the algebraic approach to the CSP. Both cases use the standard semidefinite programming relaxation for CSP.


title: Fast and Bounded Probabilistic Collision Detection in Dynamic Environments for High-DOF Trajectory Planning

abstract: We present a novel approach to perform probabilistic collision detection between a high-DOF robot and high-DOF obstacles in dynamic, uncertain environments. In dynamic environments with a high-DOF robot and moving obstacles, our approach efficiently computes accurate collision probability between the robot and obstacles with upper error bounds. Furthermore, we describe a prediction algorithm for future obstacle position and motion that accounts for both spatial and temporal uncertainties. We present a trajectory optimization algorithm for high-DOF robots in dynamic, uncertain environments based on probabilistic collision detection. We highlight motion planning performance in challenging scenarios with robot arms operating in environments with dynamically moving human obstacles.


title: Sieving for closest lattice vectors (with preprocessing)

abstract: Lattice-based cryptography has recently emerged as a prime candidate for efficient and secure post-quantum cryptography. The two main hard problems underlying its security are the shortest vector problem (SVP) and the closest vector problem (CVP). Various algorithms have been studied for solving these problems, and for SVP, lattice sieving currently dominates in terms of the asymptotic time complexity: one can heuristically solve SVP in time $2^{0.292d}$ in high dimensions $d$ [BDGL'16]. Although several SVP algorithms can also be used to solve CVP, it is not clear whether this also holds for heuristic lattice sieving methods. The best time complexity for CVP is currently $2^{0.377d}$ [BGJ'14]. In this paper we revisit sieving algorithms for solving SVP, and study how these algorithms can be modified to solve CVP and its variants as well. Our first method is aimed at solving one problem instance and minimizes the overall time complexity for a single CVP instance with a time complexity of $2^{0.292d}$. Our second method minimizes the amortized time complexity for several instances on the same lattice, at the cost of a larger preprocessing cost. We can solve the closest vector problem with preprocessing (CVPP) with $2^{0.636d}$ space and preprocessing, in $2^{0.136d}$ time, while the query complexity can even be reduced to $2^{\epsilon d}$ at the cost of preprocessing time and memory complexities of $(1/\epsilon)^{O(d)}$. For easier variants of CVP, such as approximate CVP and bounded distance decoding (BDD), we further show how the preprocessing method achieves even better complexities. For instance, we can solve approximate CVPP with large approximation factors $k$ with polynomial-sized advice in polynomial time if $k = \Omega(\sqrt{d/\log d})$, heuristically closing the gap between the decision-CVPP result of [AR'04] and the search-CVPP result of [DRS'14].


title: Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

abstract: We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.


title: Relativistic Dynamics of Relative Motions (I): Post-Newtonian Extension of the Hill-Clohessy-Wiltshire Equations

abstract: With continuous advances in technologies related to deep space ranging and satellite gravity gradiometry, corrections from general relativity to the dynamics of relative orbital motions will certainly become important. In this work, we extend,in a systematic way, the Hill-Clohessy-Wiltshire Equations to include the complete first order post-Newtonian effects from general relativity. Within certain short time limit, post-Newtonian corrections to general periodic solutions of the Hill-Clohessy-Wiltshire Equations are also worked out.


title: Unconventional ratiometric-enhanced optical sensing of oxygen by mixed-phase TiO2

abstract: We show that mixed-phase titanium dioxide (TiO2) can be effectively employed as an unconventional, inorganic, dual-emitting and ratiometric optical sensor of O2. Simultaneous availability of rutile and anatase TiO2 PL and their peculiar anti-correlated PL responses to O2 allow using their ratio as measurement parameter associated to O2 concentration, leading to an experimental responsivity being by construction larger than the one obtainable for single-phase PL detection. A proof of this concept in given, showing a two-fold enhancement of the optical responsivity provided by the ratiometric approach. Besides the peculiar ratiometric-enhanced responsivity, other characteristics of mixed phase TiO2 can be envisaged as favorable for O2 optical probing, namely: a) low production costs, b) absence of heterogeneous components, c) self-supporting properties. These characteristics encourage experimenting its use for applications requiring high indicator quantities at competitive price, possibly also tackling the need to develop supporting matrixes that carry the luminescent probes and avoiding issues related to the use of different components for ratiometric sensing.


title: Learning to Decode Linear Codes Using Deep Learning

abstract: A novel deep learning method for improving the belief propagation algorithm is proposed. The method generalizes the standard belief propagation algorithm by assigning weights to the edges of the Tanner graph. These edges are then trained using deep learning techniques. A well-known property of the belief propagation algorithm is the independence of the performance on the transmitted codeword. A crucial property of our new method is that our decoder preserved this property. Furthermore, this property allows us to learn only a single codeword instead of exponential number of code-words. Improvements over the belief propagation algorithm are demonstrated for various high density parity check codes.


title: Detailed crystallographic analysis of the ice VI to ice XV hydrogen ordering phase transition

abstract: The D2O ice VI to ice XV hydrogen ordering phase transition at ambient pressure is investigated in detail with neutron diffraction. The lattice constants are found to be sensitive indicators for hydrogen ordering. The a and b lattice constants contract whereas a pronounced expansion in c is found upon hydrogen ordering. Overall, the hydrogen ordering transition goes along with a small increase in volume which explains why the phase transition is more difficult to observe upon cooling under pressure. Slow-cooling ice VI at 1.4 GPa gives essentially fully hydrogen-disordered ice VI. Consistent with earlier studies, the ice XV obtained after slow-cooling at ambient pressure is best described with P-1 space group symmetry. Using a new computational approach, we achieve the atomistic reconstruction of a supercell structure that is consistent with the average partially ordered structure derived from Rietveld refinements. This shows that C-type networks are most prevalent in ice XV but other structural motifs outside of the classifications of the fully hydrogen-ordered networks are identified as well. The recently proposed Pmmn structural model for ice XV is found to be incompatible with our diffraction data and we argue that only structural models that are capable of describing full hydrogen order should be used.


title: Superconducting State and Phase Transitions

abstract: From the days when superconductivity was discovered its science was entangled by the unresolved problem of the relationship between superconductive state, its crystal structure and its phase transitions. The problem was exacerbated by the adjacent scientific area - solid state phase transitions - that offered to divide phase transitions into first and second order. Adding to that the conclusion (turned out erroneous)on the structural identity of the superconductor and normal phases, the whole issue was uncertain and confusing. This article straights it out.


title: Objective Bayesian modelling of insurance risks with the skewed Student-t distribution

abstract: Insurance risks data typically exhibit skewed behaviour. In this paper, we propose a Bayesian approach to capture the main features of these datasets. This work extends the methodology introduced in Villa and Walker (2014a) by considering an extra parameter which captures the skewness of the data. In particular, a skewed Student-t distribution is considered. Two datasets are analysed: the Danish fire losses and the US indemnity loss. The analysis is carried with an objective Bayesian approach. For the discrete parameter representing the number of the degrees of freedom, we adopt a novel prior recently introduced in Villa and Walker (2014b).


title: Admissible Spaces for the Sturm-Liouville Equation

abstract: We consider the equation \begin{equation} -y''(x)+q(x)y(x)=f(x),\quad x\in \mathbb R \end{equation} where $ f \in L_p^{loc}(\mathbb R),$ $p \in [1,\infty) $ and $ 0 < q \in L_1^{loc}(\mathbb R).$ By a solution of this equation we mean any function $ y,$ absolutely continuous together with its derivative and satisfying the equation almost everywhere in $ \mathbb R.$ Let positive and continuous functions $ \mu(x) $ and $ \theta(x) $ for $ x \in \mathbb R $ be given. Let us introduce the spaces $ L_p(\mathbb R,\mu) = \{f \in L_p^{loc}(\mathbb R): ||f||_{L_p(\mathbb R,\mu)}^p =\int_{-\infty}^\infty|\mu(x)f(x)|^p dx < \infty\}, $ $ L_p(\mathbb R,\theta) = \{f\in L_p^{loc}(\mathbb R):||f||_{L_p(\mathbb R,\theta)}^p = \int_{-\infty}^\infty|\theta(x)f(x)|^p dx < \infty\}. $ In the present paper, we obtain requirements to the functions $\mu,\theta$ and $q$ under which 1) for every function $f \in L_p(\mathbb R,\theta) $ there exists a unique solution of the equation $y \in L_p(\mathbb R,\mu)$ ; 2) there is an absolute constant $ c(p) \in (0,\infty) $ such that regardless of he choice of a function $ f \in L_p(\mathbb R,\theta) $ the solution of the equation satisfies the inequality $$ \|y\|_{L_p(\mathbb R,\mu)} < c(p)\|f\|_{L_p(\mathbb R,\theta)}. $$


title: Distributed Localization of Tree-structured Scattered Sensor Networks

abstract: Many of the distributed localization algorithms are based on relaxed optimization formulations of the localization problem. These algorithms commonly rely on first-order optimization methods, and hence may require many iterations or communications among computational agents. Furthermore, some of these distributed algorithms put a considerable computational demand on the agents. In this paper, we show that for tree-structured scattered sensor networks, which are networks that their inter-sensor range measurement graphs have few edges (few range measurements among sensors) and can be represented using a tree, it is possible to devise an efficient distributed localization algorithm that solely relies on second-order methods. Particularly, we apply a state-of-the-art primal-dual interior-point method to a semidefinite relaxation of the maximum-likelihood formulation of the localization problem. We then show how it is possible to exploit the tree-structure in the network and use message-passing or dynamic programming over trees, to distribute computations among different computational agents. The resulting algorithm requires far fewer iterations and communications among agents to converge to an accurate estimate. Moreover, the number of required communications among agents, seems to be less sensitive and more robust to the number of sensors in the network, the number of available measurements and the quality of the measurements. This is in stark contrast to distributed algorithms that rely on first-order methods. We illustrate the performance of our algorithm using experiments based on simulated and real data.


title: The Shear Viscosity in an Anisotropic Unitary Fermi Gas

abstract: We consider a system consisting of a strongly interacting, ultracold unitary Fermi gas under harmonic confinement. Our analysis suggests the possibility of experimentally studying, in this system, an anisotropic shear viscosity tensor driven by the anisotropy in the trapping potential. In particular, we suggest that this experimental setup could mimic some features of anisotropic geometries that have recently been studied for strongly coupled field theories which have a gravitational dual. Results using the AdS/CFT correspondence in these theories show that in systems with a background linear potential, certain viscosity components can be made much smaller than the entropy density, parametrically violating the bound proposed by Kovtun, Son and Starinets (KSS). This intuition, along with results from a Boltzmann analysis that we perform, suggests that a violation of the KSS bound can perhaps occur in the unitary Fermi gas system when it is subjected to a suitable anisotropic trapping potential which may be approximated to be linear in a suitable range of parameters. We give a concrete proposal for an experimental setup where an anisotropic shear viscosity tensor may arise. In such situations, it may also be possible to observe a reduction in the spin one component of the shear viscosity from its lowest value observed so far in ultracold Fermi gases. In extreme anisotropic situations, the reduction may be enough to reduce the shear viscosity to entropy ratio below the proposed KSS bound, although this regime is difficult to analyze in a theoretically controlled manner.


title: Collision detection or nearest-neighbor search? On the computational bottleneck in sampling-based motion planning

abstract: The complexity of nearest-neighbor search dominates the asymptotic running time of many sampling-based motion-planning algorithms. However, collision detection is often considered to be the computational bottleneck in practice. Examining various asymptotically optimal planning algorithms, we characterize settings, which we call NN-sensitive, in which the practical computational role of nearest-neighbor search is far from being negligible, i.e., the portion of running time taken up by nearest-neighbor search is comparable, or sometimes even greater than the portion of time taken up by collision detection. This reinforces and substantiates the claim that motion-planning algorithms could significantly benefit from efficient and possibly specifically-tailored nearest-neighbor data structures. The asymptotic (near) optimality of these algorithms relies on a prescribed connection radius, defining a ball around a configuration $q$, such that $q$ needs to be connected to all other configurations in that ball. To facilitate our study, we show how to adapt this radius to non-Euclidean spaces, which are prevalent in motion planning. This technical result is of independent interest, as it enables to compare the radial-connection approach with the common alternative, namely, connecting each configuration to its $k$ nearest neighbors ($k$-NN). Indeed, as we demonstrate, there are scenarios where using the radial connection scheme, a solution path of a specific cost is produced ten-fold (and more) faster than with $k$-NN.


title: Complex symmetric composition operators with automorphic symbols

abstract: In this paper we show that a composition operator $C_\varphi$ cannot be complex symmetric on Hardy-Hilbert space $H^2(D)$ when $\varphi$ is an elliptic automorphism of order $3$ and not a rotation. This completes the project of finding all invertible composition operators which are complex symmetric $H^2(D)$.


title: Heat production and error probability relation in Landauer reset at effective temperature

abstract: The erasure of a classical bit of information is a dissipative process. The minimum heat produced during this operation has been theorized by Rolf Landauer in 1961 to be equal to $k_B T \ln 2$ and takes the name of Landauer limit, Landauer reset or Landauer principle. Despite its fundamental importance, the Landauer limit remained untested experimentally for more than fifty years until recently when it has been tested using colloidal particles and magnetic dots. Experimental measurements on different devices, like micro-mechanical systems or nano-electronic devices are still missing. Here we show the results obtained in performing the Landauer reset operation in a micro-mechanical system, operated at an effective temperature. The measured heat exchange is in accordance with the theory reaching values close to the expected limit. The data obtained for the heat production is then correlated to the probability of error in accomplishing the reset operation.


title: A combinatorial approach for small and strong formulations of disjunctive constraints

abstract: We present a framework for constructing strong mixed-integer programming formulations for logical disjunctive constraints. Our approach is a generalization of the logarithmically-sized formulations of Vielma and Nemhauser for SOS2 constraints, and we offer a complete characterization of its expressive power. We apply the framework to a variety of disjunctive constraints, producing novel small and strong formulations for outer approximations of multilinear terms, generalizations of special ordered sets, piecewise linear functions over a variety of domains, and obstacle avoidance constraints.


title: Source reconstruction using a bilevel optimisation method with a smooth weighted distance function

abstract: We consider a bilevel optimatisation method for inverse linear atmospheric dispersion problems where both linear and non-linear model parameters are to be determined. We propose that a smooth weighted Mahalanobis distance function is used and derive sufficient conditions for when the follower problem has local strict convexity. A few toy-models are presented where local strict convexity and ill-posedness of the inverse problem are explored, indeed the smooth distance function is compared and contrasted to linear and piecewise linear ones. The bilevel optimisation method is then applied to sensor data collected in wind tunnel experiments of a neutral gas release in urban environments (MODITIC).


title: Inferring solutions of differential equations using noisy multi-fidelity data

abstract: For more than two centuries, solutions of differential equations have been obtained either analytically or numerically based on typically well-behaved forcing and boundary conditions for well-posed problems. We are changing this paradigm in a fundamental way by establishing an interface between probabilistic machine learning and differential equations. We develop data-driven algorithms for general linear equations using Gaussian process priors tailored to the corresponding integro-differential operators. The only observables are scarce noisy multi-fidelity data for the forcing and solution that are not required to reside on the domain boundary. The resulting predictive posterior distributions quantify uncertainty and naturally lead to adaptive solution refinement via active learning. This general framework circumvents the tyranny of numerical discretization as well as the consistency and stability issues of time-integration, and is scalable to high-dimensions.


title: Spin- and orbital-Hall effect in cyclic group symmetric metasurface

abstract: Light possesses both spin and orbital angular momentum (AM). While spin AM is determined by helicity of circular-polarization, orbital AM is characterized by topological charge of vortex beam. Interaction of AM with optical beam orbit leads to optical spin Hall or orbital Hall effect, exhibited as spin-dependent or topological charge-dependent transverse shift of optical beam. Conservation of AM enables spin-to-orbital AM conversion, where circular-polarized Gaussian beam is converted to opposite-helicity circular-polarized vortex beam with topological charge $\pm 2$, an example of controlling spatial beam profiling by spin flip. However, the resultant vortex beam has the beam center of gravity unchanged, the same as that of incident Gaussian beam, meaning a null transverse shift. Here we introduce a cyclic group symmetric metasurface to demonstrate generation of vortex beam exhibiting spin-dependent transverse shift, namely, spin- and orbital-Hall effect, attributed to an alteration of dynamical phase of scattered beam according to the order $n$ of cyclic group while keeping geometric phase constant. Capability of spin-controlled spatial beam profiling with a transverse shift via spin- and orbital-Hall effect has important implications for spatial demultiplexing in optical communication utilizing orbital AM mode division multiplexing as well as for optical vortex tweezer and signal processing involving vortex beams.


title: Progress on a Conjecture Regarding the Triangular Distribution

abstract: Triangular distributions are a well-known class of distributions that are often used as an elementary example of a probability model. Maximum likelihood estimation of the mode parameter of the triangular distribution over the unit interval can be performed via an order statistics-based method. It had been conjectured that such a method can be conducted using only a constant number of likelihood function evaluations, on average, as the sample size becomes large. We prove two theorems that validate this conjecture. Graphical and numerical results are presented to supplement our proofs.


title: Fast Ewald summation for free-space Stokes potentials

abstract: We present a spectrally accurate method for the rapid evaluation of free-space Stokes potentials, i.e. sums involving a large number of free space Green's functions. We consider sums involving stokeslets, stresslets and rotlets that appear in boundary integral methods and potential methods for solving Stokes equations. The method combines the framework of the Spectral Ewald method for periodic problems, with a very recent approach to solving the free-space harmonic and biharmonic equations using fast Fourier transforms (FFTs) on a uniform grid. Convolution with a truncated Gaussian function is used to place point sources on a grid. With precomputation of a scalar grid quantity that does not depend on these sources, the amount of oversampling of the grids with Gaussians can be kept at a factor of two, the minimum for aperiodic convolutions by FFTs. The resulting algorithm has a computational complexity of O(N log N) for problems with N sources and targets. Comparison is made with a fast multipole method (FMM) to show that the performance of the new method is competitive.


title: Knowledge Representation on the Web revisited: Tools for Prototype Based Ontologies

abstract: In recent years RDF and OWL have become the most common knowledge representation languages in use on the Web, propelled by the recommendation of the W3C. In this paper we present a practical implementation of a different kind of knowledge representation based on Prototypes. In detail, we present a concrete syntax easily and effectively parsable by applications. We also present extensible implementations of a prototype knowledge base, specifically designed for storage of Prototypes. These implementations are written in Java and can be extended by using the implementation as a library. Alternatively, the software can be deployed as such. Further, results of benchmarks for both local and web deployment are presented. This paper augments a research paper, in which we describe the more theoretical aspects of our Prototype system.


title: Investigation of the Ground and Excited States of the 3H and 4He Nuclei by Using the Methods of Group Theory

abstract: The method of group theory is applied to investigate the ground and the excited states of the triton and helium nuclei by using the translation invariant shell model with basis functions corresponding to even number of quanta of excitations in the range 0 less than or equal to N less than or equal to 20. Accordingly, the ground and first excited state wave functions and energies, the S, P and D state probabilities, the root mean square radius and the magnetic dipole moment of triton have been investigated. Also, the energies and wave functions of the ground and the even parity excited states and the root mean square radius of helium have been investigated. Two residual two body interactions together with two three nucleon interactions have been used in the calculations. Moreover, the convergence of calculations has been examined by extrapolating the results with N less than or equals to 20 step by step to reach N equals to 30 for the two nuclei.


title: Cyber Attack Surface Analysis of Advanced Metering Infrastructure

abstract: Cyber attacks on critical infrastructure have been an issue of importance in industry over the past several years, as well as a focus of academic research. Cyber attacks of various types and magnitude have been on the rise targeted specifically at power grids. A successful attack on the power grid could result in significant impacts including grid shutdown, cascading failures, damage to the infrastructure, and potential harm to people. Power grid infrastructure are critical in nature, they enable operations for residential, commercial, industrial, and government users across critical infrastructure such as water, communication, banking, transportation, manufacturing, and more. The compromise of these operations introduces threats, which span from economic to public safety. The Advanced Metering Infrastructure (AMI) is now being rapidly deployed throughout the power grid, and is an enabling technology for smart grid. Identifying the attack surface is a necessary step in achieving cyber security in smart grids and AMI. The purpose of this paper is to quantify and examine the cyber attack surface of AMI in order to lay the foundation for mitigating approaches to AMI cyber security.


title: Coordinated Optimization at a Hydro Generating Plant by Software Agents

abstract: The architecture is developed for incorporating a software agent into the existing control system of a river-based hydro generating plant. The software agent will utilize a rule-based system for ease of integration. Optimization for increased power production is presented, initially for a single generating unit. An enhancement to facilitate the constraints of river level and flow by an external user as well as the goals of corporate dispatching is then developed through the existing SCADA system. Finally, expansion to coordinate multiple hydro units at a single location is presented.


title: Infinite families of 2-designs and 3-designs from linear codes

abstract: The interplay between coding theory and $t$-designs started many years ago. While every $t$-design yields a linear code over every finite field, the largest $t$ for which an infinite family of $t$-designs is derived directly from a linear or nonlinear code is $t=3$. Sporadic $4$-designs and $5$-designs were derived from some linear codes of certain parameters. The major objective of this paper is to construct many infinite families of $2$-designs and $3$-designs from linear codes. The parameters of some known $t$-designs are also derived. In addition, many conjectured infinite families of $2$-designs are also presented.


title: New Software Metrics for Evaluation and Comparison of Advanced Power Management Systems

abstract: A set of software metrics for the evaluation of power management systems (PMSs) is presented. Such systems for managing power need to be autonomous, scalable, low in complexity, and comprised of portable algorithms in order to be well applied across the varying implementations that utilize power systems. Although similar metrics exist for software in general, their definitions do not readily lend themselves to the unique characteristics of power management systems or systems of similar architecture.


title: Infinite families of $t$-designs from a type of five-weight codes

abstract: It has been known for a long time that $t$-designs can be employed to construct both linear and nonlinear codes and that the codewords of a fixed weight in a code may hold a $t$-design. While a lot of progress in the direction of constructing codes from $t$-designs has been made, only a small amount of work on the construction of $t$-designs from codes has been done. The objective of this paper is to construct infinite families of $2$-designs and $3$-designs from a type of binary linear codes with five-weights. The total number of $2$-designs and $3$-designs obtained in this paper are exponential in any odd $m$ and the block size of the designs varies in a huge range.


title: Microgrid Reference Methodology for Understanding Utility and Customer Interactions in Microgrid Projects

abstract: The purpose of this paper is to introduce a holistic and systematic approach, based in key concepts of systems thinking, systems of systems and management science; to completely represent, model and analyze microgrid systems. In this paper we propose a Microgrid Reference Methodology (MRM) that guides the cooperation and mutual benefits between electric utilities and industrial customers for microgrid projects. We sketch a four-level socio-technical system in which the {\delta} (business) level is added to the other three levels that are traditionally analyzed in microgrid design and planning. This MRM clearly specifies the steps and processes necessary for determining actors in the system, their interrelations, interests, goals and undesired effects. Finally, the MRM makes possible the evaluation of the impact of different alternatives on the objectives of both parties through the determination of criteria and factors. These factors can be influenced by the electric utility and customer; or they can be external, but still influenced by other actors such as regulators and government, to incentivize the implementation of microgrid projects.


title: Global Continuous Optimization with Error Bound and Fast Convergence

abstract: This paper considers global optimization with a black-box unknown objective function that can be non-convex and non-differentiable. Such a difficult optimization problem arises in many real-world applications, such as parameter tuning in machine learning, engineering design problem, and planning with a complex physics simulator. This paper proposes a new global optimization algorithm, called Locally Oriented Global Optimization (LOGO), to aim for both fast convergence in practice and finite-time error bound in theory. The advantage and usage of the new algorithm are illustrated via theoretical analysis and an experiment conducted with 11 benchmark test functions. Further, we modify the LOGO algorithm to specifically solve a planning problem via policy search with continuous state/action space and long time horizon while maintaining its finite-time error bound. We apply the proposed planning method to accident management of a nuclear power plant. The result of the application study demonstrates the practical utility of our method.


title: Asynchronous Parallel Algorithms for Nonconvex Optimization

abstract: We propose a new asynchronous parallel block-descent algorithmic framework for the minimization of the sum of a smooth nonconvex function and a nonsmooth convex one, subject to both convex and nonconvex constraints. The proposed framework hinges on successive convex approximation techniques and a novel probabilistic model that captures key elements of modern computational architectures and asynchronous implementations in a more faithful way than current state-of-the-art models. Other key features of the framework are: i) it covers in a unified way several specific solution methods; ii) it accommodates a variety of possible parallel computing architectures; and iii) it can deal with nonconvex constraints. Almost sure convergence to stationary solutions is proved, and theoretical complexity results are provided, showing nearly ideal linear speedup when the number of workers is not too large.


title: A Faster Algorithm for Asymptotic Communication for Omniscience

abstract: We propose a modified decomposition algorithm (MDA) to solve the asymptotic communication for omniscience (CO) problem where the communication rates could be real or fractional. By starting with a lower estimation of the minimum sum-rate, the MDA algorithm iteratively updates the estimation by the optimizer of a Dilworth truncation problem until the minimum is reached with a corresponding optimal rate vector. We also propose a fusion method implementation of the coordinate-wise saturation capacity algorithm (CoordSatCapFus) for solving the Dilworth truncation problem, where the minimization is done over a fused user set with a cardinality smaller than the original one. We show that the MDA algorithm is less complex than the existing ones. In addition, we show that the non-asymptotic CO problem, where the communication rates are integral, can be solved by one more call of the CoordSatCapfus algorithm. By choosing a proper linear ordering of the user indices in the MDA algorithm, the optimal rate vector is also the one with the minimum weighted sum-rate.


title: A note on Atiyah's $\Gamma$-index theorem in Heisenberg calculus

abstract: In this note, we prove an index theorem on Galois covering for Heisenberg elliptic differential operators, which is not elliptic, analogous to Atiyah's $\Gamma$-index theorem. This note also contains an example of Heisenberg differential operators with non-trivial $\Gamma$-index.


title: Dirac equation in 2-dimensional curved spacetime, particle creation, and coupled waveguide arrays

abstract: When quantum fields are coupled to gravitational fields, spontaneous particle creation may occur similarly to when they are coupled to external electromagnetic fields. Gravitational fields can be incorporated as background spacetime if the back-action of matter on it can be neglected, yielding modified Dirac or Klein-Gordon equations for elementary fermions and bosons respectively. The semi-classical description predicts particle creation in many scenarios including expanding universe, near the event horizon of a black hole (the Hawking effect), and an accelerating observer in flat spacetime (the Unruh effect). In this work, we give a pedagogical introduction to the Dirac equation in a general 2D spacetime and show examples of spinor wave packet dynamics in some background spacetimes. In particular, we cover the phenomenon of particle creation in a time-dependent metric. Photonic analogs of these effects are then proposed, where classical light propagating in an array of coupled waveguides provides a visualisation of the Dirac spinor propagating in curved 2D spacetime. The extent to which such a single-particle description can be said to mimic particle creation is discussed.


title: HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

abstract: Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the challenges comes from the intricacies and rich features of query languages, which makes reasoning about rewrite rules difficult. In this paper, we propose a machine-checkable denotational semantics for SQL, the de facto language for relational database, for rigorously validating rewrite rules. Unlike previously proposed semantics that are either non-mechanized or only cover a small amount of SQL language features, our semantics covers all major features of SQL, including bags, correlated subqueries, aggregation, and indexes. Our mechanized semantics, called HoTTSQL, is based on K-Relations and homotopy type theory, where we denote relations as mathematical functions from tuples to univalent types. We have implemented HoTTSQL in Coq, which takes only fewer than 300 lines of code and have proved a wide range of SQL rewrite rules, including those from database research literature (e.g., magic set rewrites) and real-world query optimizers (e.g., subquery elimination). Several of these rewrite rules have never been previously proven correct. In addition, while query equivalence is generally undecidable, we have implemented an automated decision procedure using HoTTSQL for conjunctive queries: a well-studied decidable fragment of SQL that encompasses many real-world queries.


title: Realizing Giant Magneto-Optical Effects in 3D Topological Insulators Without Magnetic Fields

abstract: Topological insulators display unusual light-matter interactions due to the helical nature of surface electronic states. We study the near-field interaction of light propagating in an optical fiber with crystals of Sb2Te3, a 3D topological insulator (TI), and observe a large apparent Faraday rotation. The origin of this unexpected polarization rotation in the optical fiber is attributed to a magneto-optical Kerr effect at the TI-fiber interface. We show that the combined effects of time-reversal symmetry breaking, which arises from Zeeman coupling of the electromagnetic field with the surface electrons of the TI, and inversion symmetry breaking of optical excitations, which arises from the exponential decay of the evanescent light across the TI crystal, are central to realizing this giant polarization rotation. Our work demonstrates a facile approach for realizing large magneto-optical effects without any magnetic fields by exploiting the unique physics of light-matter interactions at TI surfaces.


title: On Properties of Geometric Preduals of ${\mathbf C^{k,\omega}}$ Spaces

abstract: Let $C_b^{k,\omega}(\mathbb R^n)$ be the Banach space of $C^k$ functions on $\mathbb R^n$ bounded together with all derivatives of order $\le k$ and with derivatives of order $k$ having moduli of continuity majorated by $c\cdot\omega$, $c\in\mathbb R_+$, for some $\omega\in C(\mathbb R_+)$. Let $C_b^{k,\omega}(S):=C_b^{k,\omega}(\mathbb R^n)|_S$ be the trace space to a closed subset $S\subset\mathbb R^n$. The geometric predual $G_b^{k,\omega}(S)$ of $C_b^{k,\omega}(S)$ is the minimal closed subspace of the dual $\bigl(C_b^{k,\omega}(\mathbb R^n)\bigr)^*$ containing evaluation functionals of points in $S$. We study geometric properties of spaces $G_b^{k,\omega}(S)$ and their relations to the classical Whitney problems on the characterization of trace spaces of $C^k$ functions on $\mathbb R^n$.


title: New Results on CGR/CUR Approximation of a Matrix

abstract: CUR and low-rank approximations are among most fundamental subjects of numerical linear algebra, with a wide range of applications to a variety of highly important areas of modern computing, which range from the machine learning theory and neural networks to data mining and analysis. We first dramatically accelerate computation of such approximations for the average input matrix, then show some narrow classes of hard inputs for our algorithms, and finally point out a tentative direction to narrowing such classes further by means of pre-processing with quasi Gaussian structured multipliers. Our extensive numerical tests with a variety of real world inputs for regularization from Singular Matrix Database have consistently produced reasonably close CUR approximations at a low computational cost. There is a variety of efficient applications of our results and our techniques to important subjects of matrix computations. Our study provides new insights and enable design of faster algorithms for low-rank approximation by means of sampling and oversampling, for Gaussian elimination with no pivoting and block Gaussian elimination, and for the approximation of railing singular spaces associated with the $\nu$ smallest singular values of a matrix having numerical nullity. We conclude the paper with novel extensions of our acceleration to the Fast Multipole Method and the Conjugate Gradient Algorithms. (This report is an outline of our paper in arXiv:1611.01391.)


title: Regular and limiting normal cones for the subdifferential mapping graph of nuclear norm

abstract: This paper focuses on the characterization for the regular and limiting normal cones to the graph of the subdifferential mapping of the nuclear norm, which is essential to derive optimality conditions for the equivalent MPEC (mathematical program with equilibrium constraints) reformulation of rank minimization problems.


title: Forced acoustical response of an open cavity coupled with a semi-infinite space

abstract: This paper presents a study of the forced acoustical response of an open cavity from the perspective of modal expansion. Based on the coupled mode theory, it is shown that the sound pressure distribution of an open cavity excited by a point source placed within the cavity can be expanded by a set of frequency-dependent eigenmodes, which are derived from the coupling between the cavity and a semi-infinite space. The calculation of the acoustical responses for baffled and unbaffled open cavities indicates that the proposed modal expansion converges with only a few frequency-dependent eigenmodes in the frequency range of interest. The results of this study eliminate the ambiguity involving the selection of appropriate basis functions, in modal expansion for the forced response problem in open cavities.


title: Using 21-cm absorption surveys to measure the average HI spin temperature in distant galaxies

abstract: We present a statistical method for measuring the average HI spin temperature in distant galaxies using the expected detection yields from future wide-field 21cm absorption surveys. As a demonstrative case study we consider a simulated all-southern-sky survey of 2-h per pointing with the Australian Square Kilometre Array Pathfinder for intervening HI absorbers at intermediate cosmological redshifts between $z = 0.4$ and $1$. For example, if such a survey yielded $1000$ absorbers we would infer a harmonic-mean spin temperature of $\overline{T}_\mathrm{spin} \sim 100$K for the population of damped Lyman $\alpha$ (DLAs) absorbers at these redshifts, indicating that more than $50$ per cent of the neutral gas in these systems is in a cold neutral medium (CNM). Conversely, a lower yield of only 100 detections would imply $\overline{T}_\mathrm{spin} \sim 1000$K and a CNM fraction less than $10$ per cent. We propose that this method can be used to provide independent verification of the spin temperature evolution reported in recent 21cm surveys of known DLAs at high redshift and for measuring the spin temperature at intermediate redshifts below $z \approx 1.7$, where the Lyman-$\alpha$ line is inaccessible using ground-based observatories. Increasingly more sensitive and larger surveys with the Square Kilometre Array should provide stronger statistical constraints on the average spin temperature. However, these will ultimately be limited by the accuracy to which we can determine the HI column density frequency distribution, the covering factor and the redshift distribution of the background radio source population.


title: Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)

abstract: This paper presents the plnauty~library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that is commonly used in logic programming and constraint solving, with the ability to reduce symmetries while reasoning over graph objects. Moreover, it enables the integration of nauty in existing tool-chains, such as SAT-solvers or finite domain constraints compilers which exist for Prolog. The implementation consists of two components: plnauty, an interface connecting \nauty's C library with Prolog, and plgtools, a Prolog framework integrating the software component of nauty, called gtools, with Prolog. The complete tool is available as a SWI-Prolog module. We provide a series of usage examples including two that apply to generate Ramsey graphs. This paper is under consideration for publication in TPLP.


title: Topological complexity of subgroups of Artin's braid groups

abstract: We consider the topological complexity of subgroups of Artin's braid group consisting of braids whose associated permutations lie in some specified subgroup of the symmetric group. We give upper and lower bounds for the topological complexity of such mixed braid groups. In particular we show that the topological complexity of any subgroup of the n-strand braid group which fixes any two strands is 2n-3, extending a result of Farber and Yuzvinsky in the pure braid case. In addition, we generalise our results to the setting of higher topological complexity.


title: A transition in the spectral statistics of quantum optical model by different electromagnetic fields

abstract: The effects of the quantized electromagnetic fields on the spectral statistics of two-level atoms are considered. We have used the Berry- Robnik distribution and Maximum Likelihood estimation technique to analyze the effect of mean photon and two level atoms numbers and also the quantum number of considered states. Results suggest the intensity of electromagnetic fields as control parameter which the spectral statistics change due to its variation in the 0-1200 region. Also, we observed the universality in the spectral statistics of considered systems when the number of two level atoms is approached to unrealistic limits and there are some suggestions about the effect of the quantum number of selected levels and the atom-field coupling constant on level statistics.


title: Phases of kinky holographic nuclear matter

abstract: Holographic QCD at finite baryon number density and zero temperature is studied within the five-dimensional Sakai-Sugimoto model. We introduce a new approximation that models a smeared crystal of solitonic baryons by assuming spatial homogeneity to obtain an effective kink theory in the holographic direction. The kink theory correctly reproduces a first order phase transition to lightly bound nuclear matter. As the density is further increased the kink splits into a pair of half-kink constituents, providing a concrete realization of the previously suggested dyonic salt phase, where the bulk soliton splits into constituents at high density. The kink model also captures the phenomenon of baryonic popcorn, in which a first order phase transition generates an additional soliton layer in the holographic direction. We find that this popcorn transition takes place at a density below the dyonic salt phase, making the latter energetically unfavourable. However, the kink model predicts only one pop, rather than the sequence of pops suggested by previous approximations. In the kink model the two layers produced by the single pop form the surface of a soliton bag that increases in size as the baryon chemical potential is increased. The interior of the bag is filled with abelian electric potential and the instanton charge density is localized on the surface of the bag. The soliton bag may provide a holographic description of a quarkyonic phase.


title: Belief propagation decoding of quantum channels by passing quantum messages

abstract: Belief propagation is a powerful tool in statistical physics, machine learning, and modern coding theory. As a decoding method, it is ubiquitous in classical error correction and has also been applied to stabilizer-based quantum error correction. The algorithm works by passing messages between nodes of the factor graph associated with the code and enables efficient decoding, in some cases even up to the Shannon capacity of the channel. Here we construct a belief propagation algorithm which passes quantum messages on the factor graph and is capable of decoding the classical-quantum channel with pure state outputs. This gives explicit decoding circuits whose number of gates is quadratic in the blocklength of the code. We also show that this decoder can be modified to work with polar codes for the pure state channel and as part of a polar decoder for transmitting quantum information over the amplitude damping channel. These represent the first explicit capacity-achieving decoders for non-Pauli channels.


title: On non-existence of full exceptional collections on some relative flags

abstract: In this paper we show that certain relative flags cannot have full exceptional collections. We also prove that some of these flags are categorical representable in dimension zero if and only if they admit a full exceptional collection. As a consequence, these flags are categorical representable in dimension zero if and only if they have $k$-rational points if and only if they are $k$-rational. Moreover, we calculate the categorical representability dimension for the flags under consideration.


title: Generalized Aubry-Andr\'e-Harper model with p-wave superconducting pairing

abstract: We investigate a generalized Aubry-Andr\'e-Harper (AAH) model with p-wave superconducting pairing. Both the hopping amplitudes between the nearest neighboring lattice sites and the on-site potentials in this system are modulated by a cosine function with a periodicity of $1/\alpha$. In the incommensurate case [$\alpha=(\sqrt{5}-1)/2$], due to the modulations on the hopping amplitudes, the critical region of this quasiperiodic system is significantly reduced and the system becomes more easily to be turned from extended states to localized states. In the commensurate case ($\alpha = 1/2$), we find that this model shows three different phases when we tune the system parameters: Su-Schrieffer-Heeger (SSH)-like trivial, SSH-like topological, and Kitaev-like topological phases. The phase diagrams and the topological quantum numbers for these phases are presented in this work. This generalized AAH model combined with superconducting pairing provides us with a useful testfield for studying the phase transitions from extended states to Anderson localized states and the transitions between different topological phases.


title: Can Bioinformatics Be Considered as an Experimental Biological Science?

abstract: The objective of this short report is to reconsider the subject of bioinformatics as just being a tool of experimental biological science. To do that, we introduce three examples to show how bioinformatics could be considered as an experimental science. These examples show how the development of theoretical biological models generates experimentally verifiable computer hypotheses, which necessarily must be validated by experiments in vitro or in vivo.


title: New physics in neutral $\textbf{D}\rightarrow\textbf{VV}$ modes

abstract: We show that it is possible to construct observables to test the existence of new physics in a model independent way for the $D^0\rightarrow VV$ modes using a time-dependent analysis of the neutral $D$ meson. We show that it is possible to identify whether the NP is due to decay, mixing or a combination of both. We also provide numerical estimates for the polarization amplitudes for the $D^0\rightarrow\overline{K^{*0}}\rho^0$ mode and show that our analysis is consistent with the present data.


title: Budding Transition of Asymmetric Two-component Lipid Domains

abstract: We propose a model that accounts for the budding transition of asymmetric two-component lipid domains, where the two monolayers (leaflets) have different average compositions controlled by independent chemical potentials. Assuming a coupling between the local curvature and local lipid composition in each of the leaflets, we discuss the morphology and thermodynamic behavior of asymmetric lipid domains. The membrane free-energy contains three contributions: the bending energy, the line tension, and a Landau free-energy for a lateral phase separation. Within a mean-field treatment, we obtain various phase diagrams containing fully budded, dimpled, and flat states as a function of the two leaflet compositions. The global phase behavior is analyzed, and depending on system parameters, the phase diagrams include one-phase, two-phase and three-phase regions. In particular, we predict various phase coexistence regions between different morphologies of domains, which may be observed in multi-component membranes or vesicles.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Vacuum energy of the Bukhvostov-Lipatov model

abstract: Bukhvostov and Lipatov have shown that weakly interacting instantons and anti-instantons in the $O(3)$ non-linear sigma model in two dimensions are described by an exactly soluble model containing two coupled Dirac fermions. We propose an exact formula for the vacuum energy of the model for twisted boundary conditions, expressing it through a special solution of the classical sinh-Gordon equation. The formula perfectly matches predictions of the standard renormalized perturbation theory at weak couplings as well as the conformal perturbation theory at short distances. Our results also agree with the Bethe ansatz solution of the model. A complete proof the proposed expression for the vacuum energy based on a combination of the Bethe ansatz techniques and the classical inverse scattering transform method is presented in the second part of this work [40].


title: Reanalysis of the $X(3915)$, $X(4500)$ and $X(4700)$ with QCD sum rules

abstract: In this article, we study the $C\gamma_5\otimes \gamma_5C$ type and $C\otimes C$ type scalar $cs\bar{c}\bar{s}$ tetraquark states with the QCD sum rules by calculating the contributions of the vacuum condensates up to dimension 10 in a consistent way. The ground state masses $M_{C\gamma_5\otimes \gamma_5C}=3.89\pm 0.05\,\rm{GeV}$ and $M_{C\otimes C}=5.48\pm0.10\,\rm{GeV}$ support assigning the $X(3915)$ to be the ground state $C\gamma_5\otimes \gamma_5C$ type tetraquark state with $J^{PC}=0^{++}$, but do not support assigning the $X(4700)$ to be the ground state $C\otimes C$ type $cs\bar{c}\bar{s}$ tetraquark state with $J^{PC}=0^{++}$. Then we tentatively assign the $X(3915)$ and $X(4500)$ to be the 1S and 2S $C\gamma_5\otimes \gamma_5C$ type scalar $cs\bar{c}\bar{s}$ tetraquark states respectively, and obtain the 1S mass $M_{\rm 1S}=3.85^{+0.18}_{-0.17}\,\rm{GeV}$ and 2S mass $M_{\rm 2S}=4.35^{+0.10}_{-0.11}\,\rm{GeV}$ from the QCD sum rules, which support assigning the $X(3915)$ to be the 1S $C\gamma_5\otimes \gamma_5C$ type tetraquark state, but do not support assigning the $X(4500)$ to be the 2S $C\gamma_5\otimes \gamma_5C$ type tetraquark state.


title: Kauffman type invariants for tied links

abstract: We define two new invariants for tied links. One of them can be thought as an extension of the Kauffman polynomial and the other one as an extension of the Jones polynomial which is constructed via a bracket polynomial for tied links. These invariants are more powerful than both the Kauffman and the bracket polynomials when evaluated on classical links. Further, the extension of the Kauffman polynomial is more powerful of the Homflypt polynomial, as well as of certain new invariants introduced recently. Also we propose a new algebra which plays in the case of tied links the same role as the BMW algebra for the Kauffman polynomial in the classical case. Moreover, we prove that the Markov trace on this new algebra can be recovered from the extension of the Kauffman polynomial defined here.


title: The Minrank of Random Graphs

abstract: The minrank of a graph $G$ is the minimum rank of a matrix $M$ that can be obtained from the adjacency matrix of $G$ by switching some ones to zeros (i.e., deleting edges) and then setting all diagonal entries to one. This quantity is closely related to the fundamental information-theoretic problems of (linear) index coding (Bar-Yossef et al., FOCS'06), network coding and distributed storage, and to Valiant's approach for proving superlinear circuit lower bounds (Valiant, Boolean Function Complexity '92). We prove tight bounds on the minrank of random Erd\H{o}s-R\'enyi graphs $G(n,p)$ for all regimes of $p\in[0,1]$. In particular, for any constant $p$, we show that $\mathsf{minrk}(G) = \Theta(n/\log n)$ with high probability, where $G$ is chosen from $G(n,p)$. This bound gives a near quadratic improvement over the previous best lower bound of $\Omega(\sqrt{n})$ (Haviv and Langberg, ISIT'12), and partially settles an open problem raised by Lubetzky and Stav (FOCS '07). Our lower bound matches the well-known upper bound obtained by the "clique covering" solution, and settles the linear index coding problem for random graphs. Finally, our result suggests a new avenue of attack, via derandomization, on Valiant's approach for proving superlinear lower bounds for logarithmic-depth semilinear circuits.


title: Influence of electron-neutral elastic collisions on the instability of an ion-contaminated cylindrical electron cloud: 2D3V PIC-with-MCC simulations

abstract: This paper is a simulation based investigation of the effect of elastic collisions and effectively elastic-like excitation collisions between electrons and background neutrals on the dynamics of a cylindrically trapped electron cloud that also has an ion contaminant mixed in it. Effects of the collisions on the instability are evident from alteration in the growth rate and energetics of the ion resonance instability caused by the presence of background neutrals as compared to a vacuum background. Further in order to understand if the non-ionizing collisions can independently be a cause of destabilization of an electron cloud, a second set of numerical experiments were performed with pure electron plasmas making non-ionizing collisions with different densities of background neutrals. These experiments reveal that the nature of potential energy extraction from the electron cloud by the non-ionizing collisions is not similar to the potential energy extraction of other destabilizing processes \textit{e.g.} a resistive wall instability. This difference in the energy extraction process renders these non-ionizing collisions incapable of independently triggering an instability of the cloud.


title: Molecular beam brightening by shock-wave suppression

abstract: Supersonic beams are a prevalent source of cold molecules utilized in the study of chemical reactions, atom interferometry, gas-surface interactions, precision spectroscopy, molecular cooling and more. The triumph of this method emanates from the high densities produced in relation to other methods, however beam density remains fundamentally limited by interference with shock waves reflected from collimating surfaces. Here we show experimentally that this shock interaction can be reduced or even eliminated by cryo-cooling the interacting surface. An increase in beam density of nearly an order of magnitude was measured at the lowest surface temperature, with no further fundamental limitation reached. Visualization of the shock waves by plasma discharge and reproduction with direct simulation Monte Carlo calculations both indicate that the suppression of the shock structure is partially caused by lowering the momentum flux of reflected particles, and significantly enhanced by the adsorption of particles to the surface. We observe that the scaling of beam density with source pressure is recovered, paving the way to order of magnitude brighter cold molecular beams.

categories: physics.atom-ph physics.atm-clus physics.chem-ph quant-ph


title: Magnetic fields and chiral asymmetry in the early hot universe

abstract: In this paper, we study analytically the process of external generation and subsequent free evolution of the lepton chiral asymmetry and helical magnetic fields in the early hot universe. This process is known to be affected by the Abelian anomaly of the electroweak gauge interactions. As a consequence, chiral asymmetry in the fermion distribution generates magnetic fields of non-zero helicity, and vice versa. We take into account the presence of thermal bath, which serves as a seed for the development of instability in magnetic field in the presence of externally generated lepton chiral asymmetry. The developed helical magnetic field and lepton chiral asymmetry support each other, considerably prolonging their mutual existence, in the process of `inverse cascade' transferring magnetic-field power from small to large spatial scales. For cosmologically interesting initial conditions, the chiral asymmetry and the energy density of helical magnetic field are shown to evolve by scaling laws, effectively depending on a single combined variable. In this case, the late-time asymptotics of the conformal chiral chemical potential reproduces the universal scaling law previously found in the literature for the system under consideration. This regime is terminated at lower temperatures because of scattering of electrons with chirality change, which exponentially washes out chiral asymmetry. We derive an expression for the termination temperature as a function of the chiral asymmetry and energy density of helical magnetic field.


title: Dimer Metadynamics

abstract: Sampling complex potential energies is one of the most pressing challenges of contemporary computational science. Inspired by recent efforts that use quantum effects and discretized Feynman's path integrals to overcome large barriers we propose a replica exchange method. In each replica two copies of the same system with halved potential strengths interact via inelastic springs. The strength of the spring is varied in the different replicas so as to bridge the gap between the infinitely strong spring, that corresponds to the Boltzmann replica and the less tight ones. We enhance the spring length fluctuations using Metadynamics. We test the method on simple yet challenging problems.


title: Designs for 24-vertex snarks

abstract: The design spectrum problem is solved for the thirty-eight 24-vertex non-trivial snarks.


title: A note on the asymptotic normality of sums of extreme values

abstract: Let $X_1$, $X_2$,... be a sequence of independent random variables with common distribution function $F$ in the domain of attraction of a Gumbel extreme value distribution and for each integer $n\geq 1$, let $X_{1,n} \leq ... X_{n,n}$ denote the order statistics based on the first $n$ of these random variables. Along with related results it is shown that for any sequence of positive integers $k_n \rightarrow +\infty$ and $k_{n}/n \rightarrow 0$ as $n \rightarrow 0$ the sum of the upper $k_n$ extreme values $X_{n-k_{n},n}+...+X_{n,n}$, when properly centered and normalized, converges in distribution to a standard normal random variable $N(0, 1)$. These results constitute an extension of results by S. Cs\"{o}rg\H{o} and D.M. Mason (1985).


title: Secure Group Testing

abstract: The principal goal of Group Testing (GT) is to identify a small subset of "defective" items from a large population, by grouping items into as few test pools as possible. The test outcome of a pool is positive if it contains at least one defective item, and is negative otherwise. GT algorithms are utilized in numerous applications, and in many of them maintaining the privacy of the tested items, namely, keeping secret whether they are defective or not, is critical. In this paper, we consider a scenario where there is an eavesdropper (Eve) who is able to observe a subset of the GT outcomes (pools). We propose a new non-adaptive Secure Group Testing (SGT) scheme based on information-theoretic principles. The new proposed test design keeps the eavesdropper ignorant regarding the items' status. Specifically, when the fraction of tests observed by Eve is $0 \leq \delta <1$, we prove that with the naive Maximum Likelihood (ML) decoding algorithm the number of tests required for both correct reconstruction at the legitimate user (with high probability) and negligible information leakage to Eve is $\frac{1}{1-\delta}$ times the number of tests required with no secrecy constraint for the fixed $K$ regime. By a matching converse, we completely characterize the Secure GT capacity. Moreover, we consider the Definitely Non-Defective (DND) computationally efficient decoding algorithm, proposed in the literature for non-secure GT. We prove that with the new secure test design, for $\delta < 1/2$, the number of tests required, without any constraint on $K$, is at most $\frac{1}{1/2-\delta}$ times the number of tests required with no secrecy constraint.


title: Identities involving (doubly) symmetric polynomials and integrals over Grassmannians

abstract: We obtain identities involving symmetric and doubly symmetric polynomials. These identities provide a way of handling expressions appearing in the Atiyah-Bott-Berline-Vergne formula for Grassmannians. As corollaries, we obtain formulas for integrals over Grassmannians of characteristic classes of the tautological bundles. Moreover, we provide a valid proof of the Martin formula for the classical Grassmannian.


title: Covariant representations of subproduct systems: Invariant subspaces and curvature

abstract: Let $X=(X(n))_{n \in \mathbb{Z_+}}$ be a standard subproduct system of $C^*$-correspondences over a $C^*$-algebra $\mathcal M.$ Assume $T=(T_n)_{n \in \mathbb{Z_+}}$ to be a pure completely contractive, covariant representation of $X$ on a Hilbert space $\mathcal H,$ and $\mathcal S$ to be a non-trivial closed subspace of $\mathcal H.$ Then $\mathcal{S}$ is invariant for $T$ if and only if there exist a Hilbert space $\mathcal{D},$ a representation $\pi$ of $\mathcal M$ on $\mathcal D,$ and a partial isometry $\Pi: \mathcal{F}_X\bigotimes_{\pi}\mathcal{D}\to \mathcal{H} $ such that $$\Pi (S_n(\zeta)\otimes I_{\mathcal{D}})=T_n(\zeta)\Pi~\mbox{whenever}~\zeta\in X(n), ~n\in \mathbb{Z_+},~\mbox{and}$$ $\mathcal S$ is the range of $\Pi,$ or equivalently, $P_{\mathcal S}=\Pi\Pi^*.$ This result leads us to many important consequences including Beurling type theorem and other general observations on wandering subspaces. We extend the notion of curvature for completely contractive, covariant representations and analyze it in terms of the above results.


title: p-adic Generalized Hypergeometric Equations from the Viewpoint of Arithmetic D-modules

abstract: We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters have a structure of overconvergent $F$-isocrystals.


title: An Empirical Evaluation of various Deep Learning Architectures for Bi-Sequence Classification Tasks

abstract: Several tasks in argumentation mining and debating, question-answering, and natural language inference involve classifying a sequence in the context of another sequence (referred as bi-sequence classification). For several single sequence classification tasks, the current state-of-the-art approaches are based on recurrent and convolutional neural networks. On the other hand, for bi-sequence classification problems, there is not much understanding as to the best deep learning architecture. In this paper, we attempt to get an understanding of this category of problems by extensive empirical evaluation of 19 different deep learning architectures (specifically on different ways of handling context) for various problems originating in natural language processing like debating, textual entailment and question-answering. Following the empirical evaluation, we offer our insights and conclusions regarding the architectures we have considered. We also establish the first deep learning baselines for three argumentation mining tasks.


title: Bohmian mechanics in the exact factorization of electron-nuclear wavefunction

abstract: The exact factorization of an electron-nuclear wavefunction [A. Abedi, N. T. Maitra, and E. K. U. Gross, Phys. Rev. Lett. 105, 123002 (2010)] allows us to define the rigorous nuclear time-dependent Schr\"{o}dinger equation (TDSE) with a time-dependent potential-energy surface (TDPES) that fully accounts for the coupling to the electronic motion and drives the nuclear wavepacket dynamics. Here, we study whether the propagation of multiple classical trajectories can reproduce the quantum nuclear motion in strong-field processes when their motions are governed by the quantum Hamilton-Jacobi equation derived by applying Bohmian mechanics to this exact nuclear TDSE. We demonstrate that multiple classical trajectories propagated by the force from the gradient of the exact TDPES plus the Bohmian quantum potential can reproduce the strong-field dissociation dynamics of a one-dimensional model of the H$_2^+$ molecule. Our results show that the force from the Bohmian quantum potential plays a non-negligible role in yielding quantum nuclear dynamics in the strong-field process studied here, where ionization and/or splitting of nuclear probability density occurs.


title: Minimal generating systems and properties of Sylow 2-subgroups of alternating group

abstract: The background of this paper is the following: search of the minimal systems of generators for this class of group which still was not founded also problem of representation for this class of group, exploration of systems of generators for Sylow 2-subgroups $Syl_2{A_{2^k}}$ and $Syl_2{A_{n}}$ of alternating group, finding structure these subgroups. The aim of this paper is to research the structure of Sylow 2-subgroups and to construct a minimal generating system for such subgroups. In other words, the problem is not simply in the proof of existence of a generating set with elements for Sylow 2-subgroup of alternating group of degree $2^k $ and its constructive proof and proof its minimality. For the construction of minimal generating set we used the representation of elements of group by automorphisms of portraits for binary tree. The main result is the proof of minimality of this generating set of the above described subgroups and also the description of their structure. Key words: minimal system of generators, wreath product, Sylow subgroups, group, semidirect product.


title: Exciton formation assisted by longitudinal optical phonons in monolayer transition metal dichalcogenides

abstract: We examine a mechanism by which excitons are generated via the LO (longitudinal optical) phonon-assisted scattering process after optical excitation of monolayer transition metal dichalcogenides. The exciton formation time is computed as a function of the exciton center-of-mass wavevector, electron and hole temperatures, and carrier densities for known values of the Fr\"ohlich coupling constant, LO phonon energy, lattice temperature, and the exciton binding energy in layered structures. For the monolayer MoS$_2$, we obtain ultrafast exciton formation times on the sub-picosecond time scale at charge densities of 5 $\times$ 10$^{11}$ cm$^{-2}$ and carrier temperatures less than 300 K, in good agreement with recent experimental findings ($\approx$ 0.3 ps). While excitons are dominantly created at zero center-of-mass wavevectors at low charge carrier temperatures ($\approx$ 30 K), the exciton formation time is most rapid at non-zero wavevectors at higher temperatures ($\ge $ 120 K) of charge carriers. The results show the inverse square-law dependence of the exciton formation times on the carrier density, consistent with a square-law dependence of photoluminescence on the excitation density. Our results show that excitons are formed more rapidly in exemplary monolayer selenide-based dichalcogenides (MoSe$_2$ and WSe$_2$) than sulphide-based dichalcogenides (MoS$_2$ and WS$_2$).


title: Explanation of $B \to K^{(*)} \ell^+ \ell^-$ and muon $g-2$, and implications at the LHC

abstract: More than $3\sigma$ deviations from the standard model are observed in the angular observable $P'_5$ of $B\to K^* \mu^+ \mu^-$ and muon $g-2$. To resolve these anomalies, we extend the standard model by adding two leptoquarks. It is found that the signal strength of the diphoton Higgs decay can exhibit a significant deviation from unity and is within the data errors. Although $\ell_i \to \ell_j \gamma$ puts severe bounds on some couplings, it is found that the excesses of $P'_5$ and muon $g-2$ can still be explained and can be accommodated to the measurement of $B_s\to \mu^+ \mu^-$ in this model. In addition, the leptoquark effects can also explain the LHCb measurement of $R_K = BR(B^+ \to K^+ \mu^+\mu^-)/BR(B^+ \to K^+ e^+e^-)=0.745^{+0.090}_{-0.074} \pm 0.036$, which shows a $2.6\sigma$ deviation from the standard model prediction.


title: Chemical Reaction Rates from Ring Polymer Molecular Dynamics: Theory and Practical Applications

abstract: This Feature Article presents an overview of the current status of Ring Polymer Molecular Dynamics (RPMD) rate theory. We first analyze the RPMD approach and its connection to quantum transition-state theory. We then focus on its practical applications to prototypical chemical reactions in the gas phase, which demonstrate how accurate and reliable RPMD is for calculating thermal chemical reaction rate coefficients in multifarious cases. This review serves as an important checkpoint in RPMD rate theory development, which shows that RPMD is shifting from being just one of recent novel ideas to a well-established and validated alternative to conventional techniques for calculating thermal chemical rate coefficients. We also hope it will motivate further applications of RPMD to various chemical reactions.


title: First Passage Time Densities through H\"older curves

abstract: We prove that for a standard Brownian motion, there exists a first-passage-time density function through a locally H\"older continuous curve with exponent greater than 1/2. By using a property of local time of a standard Brownian motion and the theories of partial differential equations in Cannon [2], we find a sufficient condition for existence of the density function. We also show that this density function is proportional to the space derivative of the Green function of the heat equation with Dirichlet boundary condition at the moving boundary.


title: Intersection multiplicity, Milnor number and Bernstein's theorem

abstract: We explicitly characterize when the Milnor number at the origin of a polynomial or power series (over an algebraically closed field k of arbitrary characteristic) is the minimum of all polynomials with the same Newton diagram, which completes works of Kushnirenko (Invent. Math., 1976) and Wall (J. Reine Angew. Math., 1999). Given a fixed collection of n convex integral polytopes in R^n, we also give an explicit characterization of systems of n polynomials supported at these polytopes which have the maximum number (counted with multiplicity) of isolated zeroes on k^n, or more generally, on a union of torus orbits on k^n; this completes the program (undertaken by many authors including Khovanskii (Funkcional. Anal. i Prilozen, 1978), Huber and Sturmfels (Discrete Comput. Geom., 1997), Rojas (J. Pure Appl. Algebra, 1999)) of the extension to k^n of Bernstein's theorem (Funkcional. Anal. i Prilozen, 1975) on number of solutions of n polynomials on (k^*)^n. Our solutions to these two problems are connected by the computation of the intersection multiplicity at the origin of n hypersurfaces determined by n generic polynomials.


title: Cutkosky Rules from Outer Space

abstract: We overview recent results on the mathematical foundations of Cutkosky rules. We emphasize that the two operations of shrinking an internal edge or putting internal lines on the mass-shell are natural operation on the cubical chain complex studied in the context of geometric group theory. This together with Cutkosky's theorem regarded as a theorem which informs us about variations connected to the monodromy of Feynman amplitudes allows for a systematic approach to normal and anomalous thresholds, dispersion relations and the optical theorem. In this report we follow [1] closely.


title: On the average volume of sections of convex bodies

abstract: The average section functional ${\rm as}(K)$ of a centered convex body in ${\mathbb R}^n$ is the average volume of central hyperplane sections of $K$: \begin{equation*}{\rm as}(K)=\int_{S^{n-1}}|K\cap \xi^{\perp }|\,d\sigma (\xi ).\end{equation*} We study the question if there exists an absolute constant $C>0$ such that for every $n$, for every centered convex body $K$ in ${\mathbb R}^n$ and for every 0<k<n, $${\rm as}(K)\ls C^k|K|^{\frac{k}{n}}\,\max_{E\in {\rm Gr}_{n-k}}{\rm as}(K\cap E).$$ We observe that the case $k=1$ is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces $C$ by $CL_K$ or $Cd_{\rm ovr}(K,{\cal{BP}}_k^n)$, where $L_K$ is the isotropic constant of $K$ and $d_{\rm ovr}(K,{\cal{BP}}_k^n)$ is the outer volume ratio distance from $K$ to the class ${\cal{BP}}_k^n$ of generalized $k$-intersection bodies. We also compare ${\rm as}(K)$ to the average of ${\rm as}(K\cap E)$ over all $k$-codimensional sections of $K$. We examine separately the dependence of the constants on the dimension in the case where $K$ is in some of the classical positions as well as the natural lower dimensional analogue of the average section functional.


title: An experimental review on elliptic flow of strange and multi-strange hadrons in relativistic heavy ion collisions

abstract: Strange hadrons, especially multi-strange hadrons are good probes for the early partonic stage of heavy ion collisions due to their small hadronic cross sections. In this paper, I give a brief review on the elliptic flow measurements of strange and multi-strange hadrons in relativistic heavy ion collisions at Relativistic Heavy Ion Collider (RHIC) and Large Hadron Collider (LHC).


title: Thermodynamic limit for directed polymers and stationary solutions of the Burgers equation

abstract: The first goal of this paper is to prove multiple asymptotic results for a time-discrete and space-continuous polymer model of a random walk in a random potential. These results include: existence of deterministic free energy density in the infinite volume limit for every fixed asymptotic slope; concentration inequalities for free energy implying a bound on its fluctuation exponent; straightness estimates implying a bound on the transversal fluctuation exponent. The culmination of this program is almost sure existence and uniqueness of polymer measures on one-sided infinite paths with given endpoint and slope, and interpretation of these infinite-volume Gibbs measures as thermodynamic limits. Moreover, we prove that marginals of polymer measures with the same slope and different endpoints are asymptotic to each other. The second goal of the paper is to develop ergodic theory of the Burgers equation with positive viscosity and random kick forcing on the real line without any compactness assumptions. Namely, we prove a One Force -- One Solution principle, using the infinite volume polymer measures to construct a family of stationary global solutions for this system, and proving that each of those solutions is a one-point pullback attractor on the initial conditions with the same spatial average. This provides a natural extension of the same program realized for the inviscid Burgers equation with the help of action minimizers that can be viewed as zero temperature limits of polymer measures.


title: Quest for magicity in hypernuclei

abstract: In present study, we search the lambda magic number in hypernuclei within the framework of relativistic mean field theory (RMF) with inclusion of hyperon-nucleon and hyperon-hyperon potentials. Based on one- and two-lambda separation energy and two-lambda shell gap, 2, 8, 14, 18, 20, 28, 34, 40, 50, 58, 68, 70 and 82 are suggested to be the $\Lambda$ magic number within the present approach. The weakening strength of $\Lambda$ spin-orbit interaction is responsible for emerging the new lambda shell closure other than the model scheme. The predicted $\Lambda$ magic numbers are in remarkable agreement with earlier predictions and hypernuclear magicity quite resembles with nuclear magicity. %Our results also support the nuclear magicity, Our results are supported by nuclear magicity, where neutron number N = 34 is experimentally observed as a magic which is one of the $\Lambda$ closed shell in our predictions. In addition, the stability of hypernuclei is also examined by calculating the binding energy per particle, where Ni hypernucleus is found to be most tightly bound triply magic system in considered hypernuclei. Nucleon and lambda density distributions are observed and it is found that introduced $\Lambda$'s have significant impact on total density and reduces the central depression of the core nucleus. Nucleon and lambda mean field potentials and spin-orbit interaction potentials are also observed for predicted triply magic hypernuclei and the addition of $\Lambda$'s affect the both the potentials to a large extent. The single-particle energy levels are also analyzed to explain the shell gaps for triply magic multi-$\Lambda$ hypernuclei.


title: Materials Pushing the Application Limits of Wire Grid Polarizers further into the Deep Ultraviolet Spectral Range

abstract: Wire grid polarizers (WGPs), periodic nano-optical meta-surfaces, are convenient polarizing elements for many optical applications. However, they are still inadequate in the deep ultraviolet spectral range. We show that to achieve high performance ultraviolet WGPs a material with large absolute value of the complex permittivity and extinction coefficient at the wavelength of interest has to be utilized. This requirement is compared to refractive index models considering intraband and interband absorption processes. We elucidate why the extinction ratio of metallic WGPs intrinsically humble in the deep ultraviolet, whereas wide bandgap semiconductors are superior material candidates in this spectral range. To demonstrate this, we present the design, fabrication and optical characterization of a titanium dioxide WGP. At a wavelength of 193 nm an unprecedented extinction ratio of 384 and a transmittance of 10 % is achieved.


title: Robust Automated Human Activity Recognition and its Application to Sleep Research

abstract: Human Activity Recognition (HAR) is a powerful tool for understanding human behaviour. Applying HAR to wearable sensors can provide new insights by enriching the feature set in health studies, and enhance the personalisation and effectiveness of health, wellness, and fitness applications. Wearable devices provide an unobtrusive platform for user monitoring, and due to their increasing market penetration, feel intrinsic to the wearer. The integration of these devices in daily life provide a unique opportunity for understanding human health and wellbeing. This is referred to as the "quantified self" movement. The analyses of complex health behaviours such as sleep, traditionally require a time-consuming manual interpretation by experts. This manual work is necessary due to the erratic periodicity and persistent noisiness of human behaviour. In this paper, we present a robust automated human activity recognition algorithm, which we call RAHAR. We test our algorithm in the application area of sleep research by providing a novel framework for evaluating sleep quality and examining the correlation between the aforementioned and an individual's physical activity. Our results improve the state-of-the-art procedure in sleep research by 15 percent for area under ROC and by 30 percent for F1 score on average. However, application of RAHAR is not limited to sleep analysis and can be used for understanding other health problems such as obesity, diabetes, and cardiac diseases.


title: Vectors of matroids over tracts

abstract: We enrich Baker and Bowler's theory of matroids over tracts with notions of vectors and covectors. In the case of oriented matroids, these $F$-vectors and $F$-covectors coincide with the usual signed vectors and signed covectors. In the case of matroids over a field $F$, the $F$-covector set resp. $F$-vector set of an $F$-matroid is a linear subspace of $F^E$ resp. its orthogonal complement.


title: A quantum version of the algebra of distributions of $\operatorname{SL}_2$

abstract: Let $\lambda$ be a primitive root of unity of order $\ell$. We introduce a family of finite-dimensional algebras $\{\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)\}_{N\in\mathbb{N}_0}$ over the complex numbers, such that $\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$ is a subalgebra of $\mathcal{D}_{\lambda,M}(\mathfrak{sl}_2)$ if $N<M$, and $\mathcal{D}_{\lambda,N-1}(\mathfrak{sl}_2)\subset \mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$ is a $\mathfrak{u}_{\lambda}(\mathfrak{sl}_2)$-cleft extension. The simple $\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$-modules $(\mathcal{L}_{N}(p))_{0\le p<\ell^{N+1}}$ are highest weight modules, which admit a tensor product decomposition: the first factor is a simple $\mathfrak{u}_{\lambda}(\mathfrak{sl}_2)$-module and the second factor is a simple $\mathcal{D}_{\lambda,N-1}(\mathfrak{sl}_2)$-module. This factorization resembles the corresponding Steinberg decomposition, and the family of algebras resembles the presentation of algebra of distributions of $\operatorname{SL}_2$ as a filtration by finite-dimensional subalgebras.


title: Weakly globular Tamsamani N-categories and their rigidification

abstract: We introduce a new class of higher categorical structures called weakly globular Tamsamani n-categories. These generalize the Tamsamani-Simpson model of higher categories by using the new paradigm of weak globularity to weaken higher categorical structures. We prove this new structure is suitably equivalent to a simpler one previously introduced by the author, called weakly globular n-fold categories.


title: Self dual reflexive simplices with Eulerian polynomials

abstract: A lattice polytope $\mathcal{P}$ is called reflexive if its dual $\mathcal{P}^\vee$ is a lattice polytope. The property that $\mathcal{P}$ is unimodularly equivalent to $\mathcal{P}^\vee$ does not hold in general, and in fact there are few examples of such polytopes. In this note, we introduce a new reflexive simplex $Q_n$ which has this property. Additionally, we show that $\delta$-polynomalial of $Q_n$ is the Eulerian polynomial and show the existence of a regular, flag, unimodular triangulation.


title: Cell averaging two-scale convergence: Applications to periodic homogenization

abstract: The aim of the paper is to introduce an alternative notion of two-scale convergence which gives a more natural modeling approach to the homogenization of partial differential equations with periodically oscillating coefficients: while removing the bother of the admissibility of test functions, it nevertheless simplifies the proof of all the standard compactness results which made classical two-scale convergence very worthy of interest: bounded sequences in $L^2_{\sharp}[Y,L^2(\Omega)]$ and $L^2_{\sharp}[Y,H^1(\Omega)]$ are proven to be relatively compact with respect to this new type of convergence. The strengths of the notion are highlighted on the classical homogenization problem of linear second-order elliptic equations for which first order boundary corrector-type results are also established. Eventually, possible weaknesses of the method are pointed out on a nonlinear problem: the weak two-scale compactness result for $\mathbb{S}^2$-valued stationary harmonic maps.


title: Uniform determinantal representations

abstract: The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this last area, we introduce the notion of a uniform determinantal representation, not of a single polynomial but rather of all polynomials in a given number of variables and of a given maximal degree. We derive a lower bound on the size of the matrix, and present a construction achieving that lower bound up to a constant factor as the number of variables is fixed and the degree grows. This construction marks an improvement upon a recent construction due to Plestenjak-Hochstenbach, and we investigate the performance of new representations in their root-finding technique for bivariate systems. Furthermore, we relate uniform determinantal representations to vector spaces of singular matrices, and we conclude with a number of future research directions.


title: Cosmological implications of modified gravity induced by quantum metric fluctuations

abstract: We investigate the cosmological implications of modified gravities induced by the quantum fluctuations of the gravitational metric. If the metric can be decomposed as the sum of the classical and of a fluctuating part, of quantum origin, then the corresponding Einstein quantum gravity generates at the classical level modified gravity models with a nonminimal coupling between geometry and matter. As a first step in our study, after assuming that the expectation value of the quantum correction can be generally expressed in terms of an arbitrary second order tensor constructed from the metric and from the thermodynamic quantities characterizing the matter content of the Universe, we derive the (classical) gravitational field equations in their general form. We analyze in detail the cosmological models obtained by assuming that the quantum correction tensor is given by the coupling of a scalar field and of a scalar function to the metric tensor, and by a term proportional to the matter energy-momentum tensor. For each considered model we obtain the gravitational field equations, and the generalized Friedmann equations for the case of a flat homogeneous and isotropic geometry. In some of these models the divergence of the matter energy-momentum tensor is non-zero, indicating a process of matter creation, which corresponds to an irreversible energy flow from the gravitational field to the matter fluid, and which is direct consequence of the nonminimal curvature-matter coupling. The cosmological evolution equations of these modified gravity models induced by the quantum fluctuations of the metric are investigated in detail by using both analytical and numerical methods, and it is shown that a large variety of cosmological models can be constructed, which, depending on the numerical values of the model parameters, can exhibit both accelerating and decelerating behaviors.


title: A Hierarchical Allometric Scaling Analysis of Chinese Cities: 1991-2014

abstract: The law of allometric scaling based on Zipf distributions can be employed to research hierarchies of cities in a geographical region. However, the allometric patterns are easily influenced by random disturbance from the noises in observational data. In theory, both the allometric growth law and Zipf's law are related to the hierarchical scaling laws associated with fractal structure. In this paper, the scaling laws of hierarchies with cascade structure are used to study Chinese cities, and the method of R/S analysis is applied to analyzing the change trend of the allometric scaling exponents. The results show that the hierarchical scaling relations of Chinese cities became clearer and clearer from 1991 to 2014 year; the global allometric scaling exponent values fluctuated around 0.85, and the local scaling exponent approached to 0.85. The Hurst exponent of the allometric parameter change is greater than 0.5, indicating persistence and a long-term memory of urban evolution. The main conclusions can be reached as follows: the allometric scaling law of cities represents an evolutionary order rather than an invariable rule, which emerges from self-organized process of urbanization, and the ideas from allometry and fractals can be combined to optimize spatial and hierarchical structure of urban systems in future city planning.