title: Report on the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4)

abstract: This report records and discusses the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). The report includes a description of the keynote presentation of the workshop, the mission and vision statements that were drafted at the workshop and finalized shortly after it, a set of idea papers, position papers, experience papers, demos, and lightning talks, and a panel discussion. The main part of the report covers the set of working groups that formed during the meeting, and for each, discusses the participants, the objective and goal, and how the objective can be reached, along with contact information for readers who may want to join the group. Finally, we present results from a survey of the workshop attendees.


title: Multiparty Quantum Telecommunication Using Quantum Fourier Transforms

abstract: Consider the problem: Alice wishes to send the same key to $n-1$ users (Bob, Carol,. . . , Nathan), while preventing eavesdropper Eve from acquiring information without being detected. The problem has no solution in the classical cryptography but in quantum telecommunication there are some codes to solve the problem. In the paper \cite{zengetall}, Guo-Jyun Zeng, Kuan-Hung Chen, Zhe-Hua Chang, Yu-Shan Yang, and Yao-Hsin Chou from one side and Cabello in \cite{cabello} from other side, used Hadamard gates, Pauli gates in providing the quantum communication code for two-partity telecommunication with 3 persons and then generalized it to the case of arbitrary number of participants, indicating the position of measurements of participants. We remark that the Hadamard gate with precising the position of measurement is the same as Fourier transform for two qubits and hence use the general Fourier transform for $n$ entangled qubits, in place of Hadamard gates. The result is more natural for arbitrary $n$ qudits.


title: Emptiness Problems for Distributed Automata

abstract: We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata, where the nodes see the messages received from their neighbors but cannot remember their own state. When restricted to the appropriate families of graphs, these forgetful automata are equivalent to classical finite word automata, but strictly more expressive than finite tree automata. On the other hand, we also show that the emptiness problem is undecidable in general. This already holds for two heavily restricted classes of distributed automata: those that reject immediately if they receive more than one message per round, and those whose state diagram must be acyclic except for self-loops.


title: Static Timing Model Extraction for Combinational Circuits

abstract: For large circuits, static timing analysis (STA) needs to be performed in a hierarchical manner to achieve higher performance in arrival time propagation. In hierarchical STA, efficient and accurate timing models of sub-modules need to be created. We propose a timing model extraction method that significantly reduces the size of timing models without losing any accuracy by removing redundant timing information. Circuit components which do not contribute to the delay of any input to output pair are removed. The proposed method is deterministic. Compared to the original models, the numbers of edges and vertices of the resulting timing models are reduced by 84% and 85% on average, respectively, which are significantly more than the results achieved by other methods.


title: Universal theories and compactly expandable models

abstract: Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.


title: Some Remarks about the Complexity of Epidemics Management

abstract: Recent outbreaks of Ebola, H1N1 and other infectious diseases have shown that the assumptions underlying the established theory of epidemics management are too idealistic. For an improvement of procedures and organizations involved in fighting epidemics, extended models of epidemics management are required. The necessary extensions consist in a representation of the management loop and the potential frictions influencing the loop. The effects of the non-deterministic frictions can be taken into account by including the measures of robustness and risk in the assessment of management options. Thus, besides of the increased structural complexity resulting from the model extensions, the computational complexity of the task of epidemics management - interpreted as an optimization problem - is increased as well. This is a serious obstacle for analyzing the model and may require an additional pre-processing enabling a simplification of the analysis process. The paper closes with an outlook discussing some forthcoming problems.


title: Incremental DFS algorithms: a theoretical and experimental study

abstract: Depth First Search (DFS) tree is a fundamental data structure for solving graph problems. The DFS tree of a graph $G$ with $n$ vertices and $m$ edges can be built in $O(m+n)$ time. Till date, only a few algorithms have been designed for maintaining incremental DFS. For undirected graphs, the two algorithms, namely, ADFS1 and ADFS2 [ICALP14] achieve total $O(n^{3/2}\sqrt{m})$ and $O(n^2)$ time respectively. For DAGs, the only non-trivial algorithm, namely, FDFS [IPL97] requires total $O(mn)$ time. In this paper, we carry out extensive experimental and theoretical evaluation of existing incremental DFS algorithms in random and real graphs, and derive the following results. 1- For insertion of uniformly random sequence of $n \choose 2$ edges, ADFS1, ADFS2 and FDFS perform equally well and are found to take $\Theta(n^2)$ time experimentally. This is quite surprising because the worst case bounds of ADFS1 and FDFS are greater than $\Theta(n^2)$ by a factor of $\sqrt{m/n}$ and $m/n$ respectively. We complement this result by probabilistic analysis of these algorithms proving $\tilde{O}(n^2)$ bound on the update time. Here, we derive results about the structure of a DFS tree in random graphs, which are of independent interest. 2- These insights led us to design an extremely simple incremental DFS algorithm for both undirected and directed graphs. This algorithm theoretically matches and experimentally outperforms the state-of-the-art in dense random graphs. It can also be used as a single-pass semi-streaming algorithm for incremental DFS and strong connectivity in random graphs. 3- Even for real graphs, both ADFS1 and FDFS perform much better than their theoretical bounds. Here again, we present two simple algorithms for incremental DFS for directed and undirected real graphs. In fact, our algorithm for directed graphs almost always matches the performance of FDFS.


title: Effective field theory search for high-energy nuclear recoils using the XENON100 dark matter detector

abstract: We report on WIMP search results in the XENON100 detector using a non-relativistic effective field theory approach. The data from science run II (34 kg $\times$ 224.6 live days) was re-analyzed, with an increased recoil energy interval compared to previous analyses, ranging from $(6.6 - 240)~\mathrm{keV_\mathrm{nr}}$. The data is found to be compatible with the background-only hypothesis. We present 90% confidence level exclusion limits on the coupling constants of WIMP-nucleon effective operators using a binned profile likelihood method. We also consider the case of inelastic WIMP scattering, where incident WIMPs may up-scatter to a higher mass state, and set exclusion limits on this model as well.


title: Growth mechanisms of perturbations in boundary layers over a compliant wall

abstract: The temporal modal and nonmodal growth of three-dimensional perturbations in the boundary-layer flow over an infinite compliant flat wall is considered. Using a wall-normal velocity/wall-normal vorticity formalism, the dynamic boundary condition at the compliant wall admits a linear dependence on the eigenvalue parameter, as compared to a quadratic one in the canonical formulation of the problem. This greatly simplifies the accurate calculation of the continuous spectrum by means of a spectral method, thereby yielding a very effective filtering of the pseudospectra as well as a clear identification of instability regions. The regime of global instability is found to be matching the regime of the favorable phase of the forcing by the flow on the compliant wall so as to enhance the amplitude of the wall. An energy-budget analysis for the least-decaying hydroelastic (static-divergence, traveling-wave-flutter and near-stationary transitional) and Tollmien--Schlichting modes in the parameter space reveals the primary routes of energy flow. Moreover, the flow exhibits a slower transient growth for the maximum growth rate of a superposition of streamwise-independent modes due to a complex dependence of the wall-boundary condition with the Reynolds number. The initial and optimal perturbations are compared with the boundary-layer flow over a solid wall; differences and similarities are discussed. Unlike the solid-wall case, viscosity plays a pivotal role in the transient growth. A slowdown of the maximum growth rate with the Reynolds number is uncovered and found to originate in the transition of the fluid-solid interaction from a two-way to a one-way coupling. Finally, a term-by-term energy budget analysis is performed to identify the key contributors to the transient growth mechanism.


title: Hausdorff dimension of limsup sets of random rectangles in products of regular spaces

abstract: The almost sure Hausdorff dimension of the limsup set of randomly distributed rectangles in a product of Ahlfors regular metric spaces is computed in terms of the singular value function of the rectangles.


title: Perturbation, Non-Gaussianity and Reheating in a GB-$\alpha$-Attractor Model

abstract: Motivated by $\alpha$-attractor models, in this paper we consider a Gauss-Bonnet inflation with E-model type of potential. We consider the Gauss-Bonnet coupling function to be the same as the E-model potential. In the small $\alpha$ limit we obtain an attractor at $r=0$ as expected, and in the large $\alpha$ limit we recover the Gauss-Bonnet model with potential and coupling function of the form $\phi^{2n}$. We study perturbations and non-Gaussianity in this setup and we find some constraints on the model's parameters in comparison with PLANCK datasets. We study also the reheating epoch after inflation in this setup. For this purpose, we seek the number of e-folds and temperature during reheating epoch. These quantities depend on the model's parameter and the effective equation of state of the dominating energy density in the reheating era. We find some observational constraints on these parameters.


title: Reduction of binary forms via the hyperbolic center of mass

abstract: In this paper we provide an alternative reduction theory for real, binary forms with no real roots. Our approach is completely geometric, making use of the notion of hyperbolic center of mass in the upper half-plane. It appears that our model compares favorably with existing reduction theories, at least in certain aspects related to the field of definition. Various tools and features of hyperbolic geometry that are interesting in themselves, but also relevant for our and various other reduction theories papers (\cite{julia} and \cite{SC}), are also treated in detail and in a self-contained way here.


title: Interaction of solitons and the formation of bound states in the generalized Lugiato-Lefever equation

abstract: Bound states, also called soliton molecules, can form as a result of the interaction between individual solitons. This interaction is mediated through the tails of each soliton that overlap with one another. When such soliton tails have spatial oscillations, locking or pinning between two solitons can occur at fixed distances related with the wavelength of these oscillations, thus forming a bound state. In this work, we study the formation and stability of various types of bound states in the Lugiato-Lefever equation by computing their interaction potential and by analyzing the properties of the oscillatory tails. Moreover, we study the effect of higher order dispersion and noise in the pump intensity on the dynamics of bound states. In doing so, we reveal that perturbations to the Lugiato-Lefever equation that maintain reversibility, such as fourth order dispersion, lead to bound states that tend to separate from one another in time when noise is added. This separation force is determined by the shape of the envelope of the interaction potential, as well as an additional Brownian ratchet effect. In systems with broken reversibility, such as third order dispersion, this ratchet effect continues to push solitons within a bound state apart. However, the force generated by the envelope of the potential is now such that it pushes the solitons towards each other, leading to a null net drift of the solitons.


title: A New Medical Diagnosis Method Based on Z-Numbers

abstract: How to handle uncertainty in medical diagnosis is an open issue. In this paper, a new decision making methodology based on Z-numbers is presented. Firstly, the experts' opinions are represented by Z-numbers. Z-number is an ordered pair of fuzzy numbers denoted as Z = (A, B). Then, a new method for ranking fuzzy numbers is proposed. And based on the proposed fuzzy number ranking method, a novel method is presented to transform the Z-numbers into Basic Probability Assignment (BPA). As a result, the information from different sources is combined by the Dempster' combination rule. The final decision making is more reasonable due to the advantage of information fusion. Finally, two experiments, risk analysis and medical diagnosis, are illustrated to show the efficiency of the proposed methodology.


title: New parameterization of the effective field theory motivated relativistic mean field model

abstract: A new parameter set is generated for finite and infinite nuclear system within the effective field theory motivated relativistic mean field (ERMF) formalism. The isovector part of the ERMF model employed in the present study includes the coupling of nucleons to the {\delta} and \r{ho} mesons and the cross-coupling of \r{ho} mesons to the {\sigma} and {\omega} mesons. The results for the finite and infinite nuclear systems obtained using our parameter set are in harmony with the available experimental data. We find the maximum mass of the neutron star to be 2.03M\odot? and yet a relatively smaller radius at the canonical mass, 12.69 km, as required by the available data.


title: Connected and/or topological group pd-examples

abstract: The pinning down number $pd(X)$ of a topological space $X$ is the smallest cardinal $\kappa$ such that for every neighborhood assignment $\mathcal{U}$ on $X$ there is a set of size $\kappa$ that meets every member of $\mathcal{U}$. Clearly, $pd(X) \le d(X)$ and we call $X$ a pd-example if $pd(X) < d(X)$. We denote by $\mathbf{S}$ the class of all singular cardinals that are not strong limit. It was proved in a paper of Juh\'asz,Soukup and Szentmikl\'ossy (arXiv:1506.00206}) that TFAE: (1) $\mathbf{S} \ne \emptyset$; (2) there is a 0-dimensional $T_2$ pd-example; (3) there is a $T_2$ pd-example. The aim of this paper is to produce pd-examples with further interesting topological properties like connectivity or being a topological group by presenting several constructions that transform given pd-examples into ones with these additional properties. We show that $\mathbf{S} \ne \emptyset$ is also equivalent to the existence of a connected and locally connected $T_3$ pd-example, as well as to the existence of an abelian $T_2$ topological group pd-example. However, $\mathbf{S} \ne \emptyset$ in itself is not sufficient to imply the existence of a connected $T_{3.5}$ pd-example. But if there is $\mu \in \mathbf{S}$ with $\mu \ge \mathfrak{c}$ then there is an abelian $T_2$ topological group (hence $T_{3.5}$) pd-example which is also arcwise connected and locally arcwise connected. Finally, the same assumption $\,\mathbf{S} \setminus \mathfrak{c} \ne \emptyset\,$ even implies that there is a locally convex topological vector space pd-example.


title: Amenable crossed product Banach algebras associated with a class of $\mathrm{C}^\ast$-dynamical systems. II

abstract: We prove that the crossed product Banach algebra $\ell^1(G,A;\alpha)$ that is associated with a ${\mathrm C}^\ast$-dynamical system $(A,G,\alpha)$ is amenable if $G$ is a discrete amenable group and $A$ is a strongly amenable ${\mathrm C}^\ast$-algebra. This is a consequence of the combination of a more general result with Paterson's characterisation of strongly amenable unital $\mathrm{C}^\ast$-algebras in terms of invariant means for their unitary groups.


title: State assignment problem in systems biology and medicine: on the importance of state interaction network topology

abstract: A fundamental problem in medicine and biology is to assign states, e.g. healthy or diseased, to cells, organs or individuals. State assignment or making a diagnosis is often a nontrivial and challenging process and, with the advent of omics technologies, the diagnostic challenge is becoming more and more serious. The challenge lies not only in the increasing number of measured properties and dynamics of the system (e.g. cell or human body) but also in the co-evolution of multiple states and overlapping properties, and degeneracy of states. We develop, from first principles, a generic rational framework for state assignment in cell biology and medicine, and demonstrate its applicability with a few simple theoretical case studies from medical diagnostics. We show how disease-related statistical information can be used to build a comprehensive model that includes the relevant dependencies between clinical and laboratory findings (signs) and diseases. In particular, we include disease-disease and sign-sign interactions. We then study how one can infer the probability of a disease in a patient with given signs. We perform comparative analysis with simple benchmark models to check the performances of our models. This first principles approach, as we show, enables the construction of consensus diagnostic flow charts and facilitates the early diagnosis of disease. Additionally, we envision that our approach will find applications in systems biology, and in particular, in characterizing the phenome via the metabolome, the proteome, the transcriptome, and the genome.

categories: physics.bio-ph cond-mat.dis-nn cond-mat.stat-mech physics.med-ph


title: Strongly extreme points and approximation properties

abstract: We show that if $x$ is a strongly extreme point of a bounded closed convex subset of a Banach space and the identity has a geometrically and topologically good enough local approximation at $x$, then $x$ is already a denting point. It turns out that such an approximation of the identity exists at any strongly extreme point of the unit ball of a Banach space with the unconditional compact approximation property. We also prove that every Banach space with a Schauder basis can be equivalently renormed to satisfy the sufficient conditions mentioned. In contrast to the above results we also construct a non-symmetric norm on $c_0$ for which all points on the unit sphere are strongly extreme, but none of these points are denting.


title: Hydrodynamic mobility of a solid particle nearby a spherical elastic membrane. II. Asymmetric motion

abstract: In this paper, we derive analytical expressions for the leading-order hydrodynamic mobility of a small solid particle undergoing motion tangential to a nearby large spherical capsule whose membrane possesses resistance towards shearing and bending. Together with the results obtained in the first part (Daddi-Moussa-Ider and Gekle, Phys. Rev. E {\bfseries 95}, 013108 (2017)) where the axisymmetric motion perpendicular to the capsule membrane is considered, the solution of the general mobility problem is thus determined. We find that shearing resistance induces a low-frequency peak in the particle self-mobility, resulting from the membrane normal displacement in the same way, although less pronounced, to what has been observed for the axisymmetric motion. In the zero frequency limit, the self-mobility correction near a hard sphere is recovered only if the membrane has a non-vanishing resistance towards shearing. We further compute the particle in-plane mean-square displacement of a nearby diffusing particle, finding that the membrane induces a long-lasting subdiffusive regime. Considering capsule motion, we find that the correction to the pair-mobility function is solely determined by membrane shearing properties. Our analytical calculations are compared and validated with fully resolved boundary integral simulations where a very good agreement is obtained.


title: Learning of Gaussian Processes in Distributed and Communication Limited Systems

abstract: It is of fundamental importance to find algorithms obtaining optimal performance for learning of statistical models in distributed and communication limited systems. Aiming at characterizing the optimal strategies, we consider learning of Gaussian Processes (GPs) in distributed systems as a pivotal example. We first address a very basic problem: how many bits are required to estimate the inner-products of Gaussian vectors across distributed machines? Using information theoretic bounds, we obtain an optimal solution for the problem which is based on vector quantization. Two suboptimal and more practical schemes are also presented as substitute for the vector quantization scheme. In particular, it is shown that the performance of one of the practical schemes which is called per-symbol quantization is very close to the optimal one. Schemes provided for the inner-product calculations are incorporated into our proposed distributed learning methods for GPs. Experimental results show that with spending few bits per symbol in our communication scheme, our proposed methods outperform previous zero rate distributed GP learning schemes such as Bayesian Committee Model (BCM) and Product of experts (PoE).


title: Measurement of the triple-differential dijet cross section in proton-proton collisions at sqrt(s) = 8 TeV and constraints on parton distribution functions

abstract: A measurement is presented of the triple-differential dijet cross section at a centre-of-mass energy of 8 TeV using 19.7 inverse femtobarns of data collected with the CMS detector in proton-proton collisions at the LHC. The cross section is measured as a function of the average transverse momentum, half the rapidity separation, and the boost of the two leading jets in the event. The cross section is corrected for detector effects and compared to calculations in perturbative quantum chromodynamics at next-to-leading order accuracy, complemented with electroweak and nonperturbative corrections. New constraints on parton distribution functions are obtained and the inferred value of the strong coupling constant is alpha[S](M[Z]) = 0.1199 +/- 0.0015 (exp) -0.0020 +0.0031 (theo), where M[Z] is the mass of the Z boson.


title: Testing the accuracy of clustering redshift with simulations

abstract: We explore the accuracy of the clustering-based redshift inference within the MICE2 simulation. This method uses the spatial clustering of galaxies between a spectroscopic reference sample and an unknown sample. The goal of this study is to give a preview of the redshift accuracy one can reach with this method. To do so, we first highlight the requirements of this technique in term of number of objects in both the reference and unknown samples. We also confirm that this method does not require a representative spectroscopic sample for calibration. We estimate that a density of spectroscopic objects of $10^{-5}$ arcmin$^{-2}$ per redshift bin of width $\delta z = 0.01$ over $9000 \ \text{deg}^{2}$ allows to reach 0.1 \% accuracy in the mean redshift for a galaxy density compatible with next generation of cosmological surveys. This number is compatible with the density of the Quasi Stellar Objects in BOSS. Second we demonstrate our ability to measure individual redshifts for galaxies independently from the photometric redshifts procedure. The resulting individual clustering redshifts have a bias=$-0.001$, an outlier fraction of $\eta=3.57\%$ and a scatter of $\sigma=0.027$ to $i<25$. The advantage of this procedure is threefold: i) it allows the use of clustering redshifts for any field in astronomy, ii) it allows the possibility to combine photometric and clustering based redshifts to get an improved redshift estimation, iii) it allows the use of cluster-$z$ to define tomographic bins for weak lensing. Finally we explore this last option and build 5 clustering redshift selected tomographic bins from redshift 0.2 to 1. We found a bias on the mean redshift estimate of $0.002$ per bin.


title: Quantum capacitance of double-layer graphene

abstract: We study the ground-state properties of a double layer graphene system with the Coulomb interlayer electron-electron interaction modeled within the random phase approximation. We first obtain an expression of the quantum capacitance of a two layer system. In addition, we calculate the many-body exchange-correlation energy and quantum capacitance of the hybrid double layer graphene system at zero-temperature. We show an enhancement of the majority density layer thermodynamic density-of-states owing to an increasing interlayer interaction between two layers near the Dirac point. The quantum capacitance near the neutrality point behaves like square root of the total density, $\alpha \sqrt{n}$, where the coefficient $\alpha$ decreases by increasing the charge density imbalance between two layers. Furthermore, we show that the quantum capacitance changes linearly by the gate voltage. Our results can be verified by current experiments.


title: Semi-direct products of Lie algebras and covariants

abstract: The coadjoint representation of a connected algebraic group $Q$ with Lie algebra $\mathfrak q$ is a thrilling and fascinating object. Symmetric invariants of $\mathfrak q$ (= $\mathfrak q$-invariants in the symmetric algebra $S(\mathfrak q)$) can be considered as a first approximation to the understanding of the coadjoint action $(Q:\mathfrak q^*)$ and coadjoint orbits. In this article, we study a class of non-reductive Lie algebras, where the description of the symmetric invariants is possible and the coadjoint representation has a number of nice invariant-theoretic properties. If $G$ is a semisimple group with Lie algebra $\mathfrak g$ and $V$ is $G$-module, then we define $\mathfrak q$ to be the semi-direct product of $\mathfrak g$ and $V$. Then we are interested in the case, where the generic isotropy group for the $G$-action on $V$ is reductive and commutative. It turns out that in this case symmetric invariants of $\mathfrak q$ can be constructed via certain $G$-equivariant maps from $\mathfrak g$ to $V$ ("covariants").


title: Weighted $L_{p,q}$-estimates for higher order elliptic and parabolic systems with $\mathrm{BMO}_x$ coefficients on Reifenberg flat domains

abstract: We prove weighted $L_{p,q}$-estimates for divergence type higher order elliptic and parabolic systems with irregular coefficients on Reifenberg flat domains. In particular, in the parabolic case the coefficients do not have any regularity assumptions in the time variable. As functions of the spatial variables, the leading coefficients are permitted to have small mean oscillations. The weights are in the class of Muckenhoupt weights $A_p$. We also prove the solvability of the systems in weighted Sobolev spaces.


title: Approximating the effective tensor as a function of the component tensors in two-dimensional composites of two anisotropic phases

abstract: A conducting two-dimensional periodic composite of two anisotropic phases with anisotropic, not necessarily symmetric, conductivity tensors is considered. By finding approximate representations for the relevant operators, an approximation formula is derived for the effective matrix valued conductivity as a function of the two matrix valued conductivity tensors of the phases. This approximation should converge to the exact effective conductivity function as the number of basis fields tends to infinity. Using the approximations for the relevant operators one can also directly obtain approximations, with the same geometry, for the effective tensors of coupled field problems, including elasticity, piezoelectricity, and thermoelectricity. To avoid technical complications we assume that the phase geometry is symmetric under reflection about one of the centerlines of the unit cell.


title: Phonon thermal transport in 2H, 4H and 6H silicon carbide from first principles

abstract: Silicon carbide (SiC) is a wide band gap semiconductor with a variety of industrial applications. Among its many useful properties is its high thermal conductivity, which makes it advantageous for thermal management applications. In this paper we present \textit{ab initio} calculations of the in-plane and cross-plane thermal conductivities, $\kappa_{\text{in}}$ and $\kappa_{\text{out}}$, of three common hexagonal polytypes of SiC: 2H, 4H and 6H. The phonon Boltzmann transport equation is solved iteratively using as input interatomic force constants determined from density functional theory. Both $\kappa_{\text{in}}$ and $\kappa_{\text{out}}$ decrease with increasing $n$ in $n$H SiC because of additional low-lying optic phonon branches. These optic branches are characterized by low phonon group velocities, and they increase the phase space for phonon-phonon scattering of acoustic modes. Also, for all $n$, $\kappa_{\text{in}}$ is found to be larger than $\kappa_{\text{out}}$ in the temperature range considered. At electron concentrations present in experimental samples, scattering of phonons by electrons is shown to be negligible except well below room temperature where it can lead to a significant reduction of the lattice thermal conductivity. This work highlights the power of \textit{ab initio} approaches in giving quantitative, predictive descriptions of thermal transport in materials. It helps explain the qualitative disagreement that exists among different sets of measured thermal conductivity data and provides information of the relative quality of samples from which measured data was obtained.


title: Generation of bright laser-like coherent emissions from nitrogen molecular ions in intense infrared laser fields: A unique quantum system for extreme nonlinear optics

abstract: We report on an investigation of simultaneous generation of several narrow-bandwidth laser-like coherent emissions from nitrogen molecular ions ( ) produced in intense mid-infrared laser fields. With systematic examinations on the dependences of coherent emissions on gas pressure as well as several laser parameters including laser intensity, polarization and wavelength of the pump laser pulses, we reveal that the multiple coherent emission lines generated in originate from a series of nonlinear processes beginning with four-wave mixing, followed with stimulated Raman scattering. Our analyses further show that the observed nonlinear processes are greatly enhanced at the resonant wavelengths, giving rise to high conversion efficiencies from the infrared pump laser pulses to the coherent emission lines near the transition wavelengths between the different vibrational energy levels of ground X and that of the excited B states.


title: TrajectoryNet: An Embedded GPS Trajectory Representation for Point-based Classification Using Recurrent Neural Networks

abstract: Understanding and discovering knowledge from GPS (Global Positioning System) traces of human activities is an essential topic in mobility-based urban computing. We propose TrajectoryNet-a neural network architecture for point-based trajectory classification to infer real world human transportation modes from GPS traces. To overcome the challenge of capturing the underlying latent factors in the low-dimensional and heterogeneous feature space imposed by GPS data, we develop a novel representation that embeds the original feature space into another space that can be understood as a form of basis expansion. We also enrich the feature space via segment-based information and use Maxout activations to improve the predictive power of Recurrent Neural Networks (RNNs). We achieve over 98% classification accuracy when detecting four types of transportation modes, outperforming existing models without additional sensory data or location-based prior knowledge.


title: Diphoton Higgs signal strength in universal extra dimensions

abstract: The signal strength of the $gg \to H \to \gamma \gamma$ reaction in $pp$ collisions at the LHC is studied within the context of the SM with UED. The impact of an arbitrary number $n$ of UED on both the $gg\to H$ and $H\to \gamma \gamma$ subprocesses is studied. The 1-loop contributions of Kaluza-Klein excitations to these subprocesses are proportional to discrete and continuous sums, which can diverge. By implementing dimensional regularization, it is shown that discrete regularized sums can naturally be expressed as multidimensional Epstein functions, and that divergences, if exist, emerge through the poles of these functions. It is found that continuous sums converge, but the discrete ones diverge, with the exception of the $n=1$ case, in which the 1-dimensional Epstein function converges. It is argued that divergences that arise from discrete sums for $n\geq 2$ are genuine UV divergences, since they correspond to short-distance effects in the compact manifold. Then, the amplitudes are renormalized in a modern sense by incorporating interactions of canonical dimension higher than four that allow us to generate the required counterterms, which are determined using a $\overline{\rm MS}$-like renormalization scheme. We find that the $gg\to H$ subprocess is quite sensitive to both the size and the dimension of the compact manifold, but the SM prediction for $H\to \gamma \gamma$ subprocess is practically unchanged. In the $n=1$ case, it is found that the experimental constraint on the compactification scale $R^{-1}\geq 1.5$ TeV allow us to reproduce the experimental limit on the signal strength $1.01\leq \mu^{(1)}_{\gamma \gamma}\leq 1.2$. In the $n\geq 2$ cases, it is found that the experimental limit on $\mu^{(n)}_{\gamma \gamma}$ leads to stronger lower bounds for the compactification scale given by $R^{-1}\geq 1.55, 2.45, 3.57, 5.10, 7.25$ TeVs for $n=2, 4, 6, 8, 10$, respectively.


title: On the exactness of ordinary parts over a local field of characteristic $p$

abstract: Let $G$ be a connected reductive group over a non-archimedean local field $F$ of residue characteristic $p$, $P$ be a parabolic subgroup of $G$, and $R$ be a commutative ring. When $R$ is artinian, $p$ is nilpotent in $R$, and $\mathrm{char}(F)=p$, we prove that the ordinary part functor $\mathrm{Ord}_P$ is exact on the category of admissible smooth $R$-representations of $G$. We derive some results on Yoneda extensions between admissible smooth $R$-representations of $G$.


title: Codes for Graph Erasures

abstract: Motivated by systems where the information is represented by a graph, such as neural networks, associative memories, and distributed systems, we present in this work a new class of codes, called codes over graphs. Under this paradigm, the information is stored on the edges of an undirected graph, and a code over graphs is a set of graphs. A node failure is the event where all edges in the neighborhood of the failed node have been erased. We say that a code over graphs can tolerate $\rho$ node failures if it can correct the erased edges of any $\rho$ failed nodes in the graph. While the construction of such codes can be easily accomplished by MDS codes, their field size has to be at least $O(n^2)$, when $n$ is the number of nodes in the graph. In this work we present several constructions of codes over graphs with smaller field size. In particular, we present optimal codes over graphs correcting two node failures over the binary field, when the number of nodes in the graph is a prime number. We also present a construction of codes over graphs correcting $\rho$ node failures for all $\rho$ over a field of size at least $(n+1)/2-1$, and show how to improve this construction for optimal codes when $\rho=2,3$.


title: Measurement of branching fraction and direct $CP$ asymmetry in charmless $B^+ \to K^+K^- \pi^+$ decays at Belle

abstract: We report a study of the charmless hadronic decay of the charged $B$ meson to the three-body final state $K^+ K^- \pi^+$. The results are based on a data sample that contains $772\times10^6$ $B \bar{B}$ pairs collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. The measured inclusive branching fraction and the direct $CP$ asymmetry are $(5.38\pm0.40\pm0.35)\times 10^{-6}$ and $-0.170\pm0.073\pm0.017$, respectively, where the first uncertainties are statistical and the second are systematic. The $K^{+}K^{-}$ invariant mass distribution of the signal candidates shows an excess in the region below $1.5$ GeV/$c^2$, which is consistent with the previous studies from BaBar and LHCb. In addition, strong evidence of a large direct $CP$ asymmetry is found in the $K^{+}K^{-}$ low-invariant-mass region.


title: Forks, Noodles and the Burau representation for $n=4$

abstract: \begin{abstract} The reduced Burau representation is a natural action of the braid group $B_n$ on the first homology group $H_1({\tilde{D}}_n;\mathbb{Z})$ of a suitable infinite cyclic covering space ${\tilde{D}}_n$ of the $n$--punctured disc $D_n$. It is known that the Burau representation is faithful for $n\le 3$ and that it is not faithful for $n\ge 5$. We use forks and noodles homological techniques and Bokut--Vesnin generators to analyze the problem for $n=4$. We present a Conjecture implying faithfulness and a Lemma explaining the implication. We give some arguments suggesting why we expect the Conjecture to be true. Also, we give some geometrically calculated examples and information about data gathered using a C\texttt{++} program.


title: Weak quadrupole moments

abstract: Collective effects in deformed atomic nuclei present possible avenues of study on the non-spherical distribution of neutrons and the violation of the local Lorentz invariance. We introduce the weak quadrupole moment of nuclei, related to the quadrupole distribution of the weak charge in the nucleus. The weak quadrupole moment produces tensor weak interaction between the nucleus and electrons and can be observed in atomic and molecular experiments measuring parity nonconservation. The dominating contribution to the weak quadrupole is given by the quadrupole moment of the neutron distribution, therefore, corresponding experiments should allow one to measure the neutron quadrupoles. Using the deformed oscillator model and the Schmidt model we calculate the quadrupole distributions of neutrons, $Q_{n}$, the weak quadrupole moments ,$Q_{W}^{(2)}$, and the Lorentz Innvariance violating energy shifts in $^{9}$Be, $^{21}$Ne , $^{27}$Al, $^{131}$Xe, $^{133}$Cs, $^{151}$Eu, $^{153}$Eu, $^{163}$Dy, $^{167}$Er, $^{173}$Yb, $^{177}$Hf, $^{179}$Hf, $^{181}$Ta, $^{201}$Hg and $^{229}$Th.


title: DropIn: Making Reservoir Computing Neural Networks Robust to Missing Inputs by Dropout

abstract: The paper presents a novel, principled approach to train recurrent neural networks from the Reservoir Computing family that are robust to missing part of the input features at prediction time. By building on the ensembling properties of Dropout regularization, we propose a methodology, named DropIn, which efficiently trains a neural model as a committee machine of subnetworks, each capable of predicting with a subset of the original input features. We discuss the application of the DropIn methodology in the context of Reservoir Computing models and targeting applications characterized by input sources that are unreliable or prone to be disconnected, such as in pervasive wireless sensor networks and ambient intelligence. We provide an experimental assessment using real-world data from such application domains, showing how the Dropin methodology allows to maintain predictive performances comparable to those of a model without missing features, even when 20\%-50\% of the inputs are not available.


title: Fixed-point property for affine actions on a Hilbert space

abstract: Gromov showed that for fixed, arbitrarily large C, any uniformly C-Lipschitz affine action of a random group in his graph model on a Hilbert space has a fixed point. We announce a theorem stating that more general affine actions of the same random group on a Hilbert space have a fixed point. We discuss some aspects of the proof.


title: Solvent-Dependent Critical Properties of Polymer Adsorption

abstract: Advanced chain-growth computer simulation methodologies have been employed for a systematic statistical analysis of the critical behavior of a polymer adsorbing at a substrate. We use finitesize scaling techniques to investigate the solvent-quality dependence of critical exponents, critical temperature, and the structure of the phase diagram. Our study covers all solvent effects from the limit of super-self-avoiding walks, characterized by effective monomer-monomer repulsion, to poor solvent conditions that enable the formation of compact polymer structures. The results significantly benefit from taking into account corrections to scaling.


title: QM2017: Status and Key open Questions in Ultra-Relativistic Heavy-Ion Physics

abstract: Almost exactly 3 decades ago, in the fall of 1986, the era of experimental ultra-relativistic (\emph{E/m $\gg 1$}) heavy ion physics started simultaneously at the SPS at CERN and the AGS at Brookhaven with first beams of light Oxygen ions at fixed target energies of 200 GeV/A and 14.6 GeV/A, respectively. The event was announced by CERN \cite{cernpress1,cernpress2} with the usual superlatives "Break new ground.., World Record Energy ..", but also with the information that "up to 400 particles were created per collision" and that "over 300 physicists .. analyzing the data .. [try] to find out whether the famous quark-gluon plasma really has been achieved". One would have thought that with almost one physicist per particle, this would have been figured out rather quickly. However, as we know today, 30 years and 21 Quark Matter conferences later, the study of dense and hot matter, of the strong interaction in the non-perturbative regime, has been a long and winding road. The journey was much more difficult and time consuming, but also much more interesting and rewarding, than anyone could have anticipated, with many twists, some dead ends, and a never-ending string of surprises. This $30^{th}$ anniversary of heavy ion physics, and the start of the 26$^{th}$ Quark Matter in Chicago, is a good opportunity to look back and mention a few of the major results from each of the three eras (fixed target/RHIC/LHC), along with some of the answers they have provided us and some of the key questions which remain to be solved.


title: Long time behavior of solutions to the 3D Hall-magneto-hydrodynamics system with one diffusion

abstract: This paper studies the asymptotic behavior of smooth solutions to the generalized Hall-magneto-hydrodynamics system (1.1) with one single diffusion on the whole space $\mathbb R^3$. We establish that, in the inviscid resistive case, the energy $\|b(t)\|_2^2$ vanishes and $\|u(t)\|_2^2$ converges to a constant as time tends to infinity provided the velocity is bounded in $W^{1-\alpha,\frac3\alpha}(\mathbb R^3)$; in the viscous non-resistive case, the energy $\|u(t)\|_2^2$ vanishes and $\|b(t)\|_2^2$ converges to a constant provided the magnetic field is bounded in $W^{1-\beta,\infty}(\mathbb R^3)$. In summary, one single diffusion, being as weak as $(-\Delta)^\alpha b$ or $(-\Delta)^\beta u$ with small enough $\alpha, \beta$, is sufficient to prevent asymptotic energy oscillations for certain smooth solutions to the system.


title: The growing ratios of hyperbolic regular mosaics with bounded cells

abstract: In 3- and 4-dimensional hyperbolic spaces there are four, respectively five, regular mosaics with bounded cells. A belt can be created around an arbitrary base vertex of a mosaic. The construction can be iterated and a growing ratio can be determined by using the number of the cells of the considered belts. In this article we determine these growing ratios for each mosaic in a generalized way.


title: The role of the most luminous, obscured AGN in galaxy assembly at z~2

abstract: We present HST WFC3 F160W imaging and infrared spectral energy distributions for twelve extremely luminous, obscured AGN at $1.8<z<2.7$, selected via "Hot, Dust Obscured" mid-infrared colors. Their infrared luminosities span $2-15\times10^{13}$L$_{\odot}$, making them among the most luminous objects in the Universe at $z\sim2$. In all cases the infrared emission is consistent with arising at least in most part from AGN activity. The AGN fractional luminosities are higher than those in either sub-millimeter galaxies, or AGN selected via other mid-infrared criteria. Adopting the $G$, M$_{20}$ and $A$ morphological parameters, together with traditional classification boundaries, infers that three quarters of the sample as mergers. Our sample do not, however, show any correlation between the considered morphological parameters and either infrared luminosity or AGN fractional luminosity. Moreover, their asymmetries and effective radii are distributed identically to those of massive galaxies at $z\sim2$. We conclude that our sample is not preferentially associated with mergers, though a significant merger fraction is still plausible. Instead, we propose that our sample are examples of the massive galaxy population at $z\sim2$ that harbor a briefly luminous, "flickering" AGN, and in which the $G$ and M$_{20}$ values have been perturbed, due to either the AGN, and/or the earliest formation stages of a bulge in an inside-out manner. Furthermore, we find that the mass assembly of the central black holes in our sample leads the mass assembly of any bulge component. Finally, we speculate that our sample represent a small fraction of the immediate antecedents of compact star-forming galaxies at $z\sim2$.


title: Relaxation dynamics in the merging of $N$ independent condensates

abstract: Controlled quantum systems such as ultracold atoms can provide powerful platforms to study non-equilibrium dynamics of closed many-body quantum systems, especially since a complete theoretical description is generally challenging. In this Letter, we present a detailed study of the rich out-of-equilibrium dynamics of an adjustable number $N$ of uncorrelated condensates after connecting them in a ring-shaped optical trap. We observe the formation of long-lived supercurrents and confirm the scaling of their winding number with $N$ in agreement with the geodesic rule. Moreover, we provide insight into the microscopic mechanism that underlies the smoothening of the phase profile.


title: Topological Bounds for Fourier Coefficients and Applications to Torsion

abstract: Let $\Omega \subset \mathbb{R}^2$ be a bounded convex domain in the plane and consider \begin{align*} -\Delta u &=1 \qquad \mbox{in}~\Omega \\ u &= 0 \qquad \mbox{on}~\partial \Omega. \end{align*} If $u$ assumes its maximum in $x_0 \in \Omega$, then the eccentricity of level sets close to the maximum is determined by the Hessian $D^2u(x_0)$. We prove that $D^2u(x_0)$ is negative definite and give a quantitative bound on the spectral gap $$ \lambda_{\max}\left(D^2u(x_0)\right) \leq - c_1\exp\left( -c_2\frac{diam(\Omega)}{inrad(\Omega)} \right)$$ for universal $c_1, c_2$ This is sharp up to constants. The proof is based on a new lower bound for Fourier coefficients whose proof has a topological component: if $f:\mathbb{T} \rightarrow \mathbb{R}$ is continuous and has $n$ sign changes, then $$ \sum_{k=0}^{n/2}{ \left| \left\langle f, \sin{kx} \right\rangle \right| + \left| \left\langle f, \cos{kx} \right\rangle \right| } \gtrsim_n \frac{ | f\|^{n+1}_{L^1(\mathbb{T})}}{ \| f\|^{n }_{L^{\infty}(\mathbb{T})}}.$$ This statement immediately implies estimates on higher derivatives of harmonic functions $u$ in the unit ball: if $u$ is very flat in the origin, then the boundary function $u(\cos{t}, \sin{t}):\mathbb{T} \rightarrow \mathbb{R}$ has to have either large amplitude or many roots. It also implies that the solution of the heat equation starting with $f:\mathbb{T} \rightarrow \mathbb{R}$ cannot decay faster than $\sim\exp(-(\# \mbox{sign changes})^2 t/4)$.


title: A Combined Compton and Coded-aperture Telescope for Medium-energy Gamma-ray Astrophysics

abstract: A future mission in medium-energy gamma-ray astrophysics would allow for many scientific advancements, e.g. a possible explanation for the excess positron emission from the Galactic Center, a better understanding of nucleosynthesis and explosion mechanisms in Type Ia supernovae, and a look at the physical forces at play in compact objects such as black holes and neutron stars. Additionally, further observation in this energy regime would significantly extend the search parameter space for low-mass dark matter. In order to achieve these objectives, an instrument with good energy resolution, good angular resolution, and high sensitivity is required. In this paper we present the design and simulation of a Compton telescope consisting of cubic-centimeter Cadmium Zinc Telluride (CdZnTe) detectors as absorbers behind a silicon tracker with the addition of a passive coded mask. The goal of the design was to create a very sensitive instrument that is capable of high angular resolution. The simulated telescope showed achievable energy resolutions of 1.68$\%$ FWHM at 511 keV and 1.11$\%$ at 1809 keV, on-axis angular resolutions in Compton mode of 2.63$^{\circ}$ FWHM at 511 keV and 1.30$^{\circ}$ FWHM at 1809 keV, and is capable of resolving sources to at least 0.2$^{\circ}$ at lower energies with the use of the coded mask. An initial assessment of the instrument in Compton imaging mode yields an effective area of 183 cm$^{2}$ at 511 keV and an anticipated all-sky sensitivity of 3.6 x 10$^{-6}$ photons cm$^{-2}$ s$^{-1}$ for a broadened 511 keV source over a 2-year observation time. Additionally, combining a coded mask with a Compton imager to improve point source localization for positron detection has been demonstrated.


title: Towards Applying the OPRA Theory to Shape Similarity

abstract: The motivation for using qualitative shape descriptions is as follows: qualitative shape descriptions can implicitly act as a schema for measuring the similarity of shapes, which has the potential to be cognitively adequate. Then, shapes which are similar to each other would also be similar for a pattern recognition algorithm. There is substantial work in pattern recognition and computer vision dealing with shape similarity. Here with our approach to qualitative shape descriptions and shape similarity, the focus is on achieving a representation using only simple predicates that a human could even apply without computer support.


title: Magnetohydrodynamic motion of a two-fluid plasma

abstract: The two-fluid Maxwell system couples frictionless electron and ion fluids via Maxwell's equations. When the frequencies of light waves, Langmuir waves, and single-particle cyclotron motion are scaled to be asymptotically large, the two-fluid Maxwell system becomes a fast-slow dynamical system. This fast-slow system admits a formally-exact single-fluid closure that may be computed systematically with any desired order of accuracy through the use of a functional partial differential equation. In the leading order approximation, the closure reproduces magnetohydrodynamics (MHD). Higher order truncations of the closure give an infinite hierarchy of extended MHD models that allow for arbitrary mass ratio, as well as perturbative deviations from charge neutrality. The closure is interpreted geometrically as an invariant slow manifold in the infinite-dimensional two-fluid phase space, on which two-fluid motions are free of high-frequency oscillations. This perspective shows that the full closure inherits a Hamiltonian structure from two-fluid theory. By employing infinite-dimensional Lie transforms, the Poisson bracket for the all-orders closure may be obtained in closed form. Thus, conservative truncations of the single-fluid closure may be obtained by simply truncating the single-fluid Hamiltonian. Moreover, the closed-form expression for the all-orders bracket gives explicit expressions for a number of the full closure's conservation laws. Notably, the full closure, as well as any of its Hamiltonian truncations, admits a pair of independent circulation invariants.


title: Longitudinal Double-Spin Asymmetries for Forward Di-jet Production in Polarized $pp$ Collisions at $\sqrt{s}$ = 200 GeV

abstract: One of the primary goals of the STAR spin program is to determine the contribution of the gluon spin ($\Delta G$) to that of the proton. Recent measurements of the longitudinal double-helicity asymmetry, $A_{LL}$, from inclusive jets place strong constraints on the spin-dependent gluon distribution $\Delta g(x)$ and, for the first time, find evidence for non-zero gluon polarization values for partonic momentum fraction $x$ greater than 0.05. In contrast to inclusive jets, di-jet correlation measurements provide access to partonic kinematics, at leading order, and thus give tighter constraints on the behavior of $\Delta g$ as a function of gluon momentum fraction. Furthermore, di-jet measurements at forward rapidity probe the lower $x$ values where $\Delta g(x)$ is poorly constrained. Preliminary $A_{LL}$ results for di-jets with $-0.8 < \eta_1 < 0.8$ and $0.8 < \eta_2 < 1.8$, from polarized $pp$ collisions at $\sqrt{s}$ = 200 GeV, are presented.


title: Properties of the Secondary Hochschild Homology

abstract: In this paper we study properties of the secondary Hochschild homology of the triple $(A,B,\varepsilon)$ with coefficients in $M$. We establish a type of Morita equivalence between two triples and show that $H_\bullet((A,B,\varepsilon);M)$ is invariant under this equivalence. We also prove the existence of an exact sequence which connects the usual and the secondary Hochschild homologies in low dimension, allowing one to perform easy computations. The functoriality of $H_\bullet((A,B,\varepsilon);M)$ is also discussed.


title: Completing the physical representation of quantum algorithms provides a quantitative explanation of their computational speedup

abstract: The usual representation of quantum algorithms, limited to the process of solving the problem, is physically incomplete. We complete it in three steps: (i) extending the representation to the process of setting the problem, (ii) relativizing the extended representation to the problem solver to whom the problem setting must be concealed, and (iii) symmetrizing the relativized representation for time reversal to represent the reversibility of the underlying physical process. The third steps projects the input state of the relativized representation, where the problem solver is completely ignorant of the setting and thus the solution of the problem, on one where she knows half solution (half of the information specifying it when the solution is an unstructured bit string). Completing the physical representation shows that the number of computation steps (oracle queries) required to solve any oracle problem in an optimal quantum way should be that of a classical algorithm endowed with the advanced knowledge of half solution. This fits the major quantum algorithms known today and would solve the quantum query complexity problem.


title: Singular rational curves with points of nearly-maximal weight

abstract: In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which they lie, and their gonality.


title: Mass modelling of superthin galaxies: IC5249, UGC7321 and IC2233

abstract: Superthin galaxies are low surface brightness disc galaxies, characterised by optical discs with strikingly high values of planar-to-vertical axes ratios ($>$ 10), the physical origin and evolution of which continue to be a puzzle. We present mass models for three superthin galaxies: IC5249, UGC7321 and IC2233. We use high resolution rotation curves and gas surface density distributions obtained from HI 21 cm radio-synthesis observations, in combination with their two-dimensional structural surface brightness decompositions at Spitzer 3.6 $\mu$m band, all of which were available in the literature. We find that while models with the pseudo-isothermal (PIS) and the Navarro-Frenk-White (NFW) dark matter density profiles fit the observed rotation curves of IC5249 and UGC7321 equally well, those with the NFW profile does not comply with the slowly-rising rotation curve of IC2233. Interestingly, for all of our sample galaxies, the best-fitting mass models with a PIS dark matter density profile indicate a {\it compact} dark matter halo i.e., $R_c/R_D$ $<$ 2 where $R_c$ is the core radius of the PIS dark matter halo, and $R_D$ is the radial scale-length of the exponential stellar disc. The compact dark matter halo may be fundamentally responsible for the superthin nature of the stellar disc, and therefore our results may have important implications for the formation and evolution models of superthin galaxies in the universe.


title: DiSH Simulator: Capturing Dynamics of Cellular Signaling with Heterogeneous Knowledge

abstract: We present DiSH-Sim, a simulator for large discrete models of biological signal transduction pathways, capable of simulating networks with multi-valued elements in both deterministic and stochastic manner. We focus on order of update and thus incorporate information about timing, taking into account that biological processes are not synchronized and certain biochemical changes occur slower than others. Another feature of our simulator is the use of grouped rules to model multi-valued elements and delays. The DiSH-Sim is publicly available and is being used to validate discrete cancer microenvironment and infectious disease models. It is also incorporated within a large architecture that includes natural language processing tools that read biological literature to assemble logical models. This paper demonstrates the functionalities and ease of use of DiSH-Sim, making it a very useful tool for discrete modeling.


title: Interactions of Hydrogen Molecules with Halogen-Containing Diatomics from Ab Initio Calculations: Spherical-Harmonics Representation and Characterization of the Intermolecular Potentials

abstract: For the prototypical diatomic-molecule - diatomic molecule interactions H2-HX and H2-X2, where X = F, Cl, Br, quantum-chemical ab initio calculations are carried out on grids of the configuration space, which permit a spherical-harmonics representation of the potential energy surfaces (PESs). Dimer geometries are considered for sets of representative leading configurations, and the PESs are analyzed in terms of isotropic and anisotropic contributions. The leading configurations are individuated by selecting a minimal set of mutual orientations of molecules needed to build the spherical-harmonic expansion on geometrical and symmetry grounds. The terms of the PESs corresponding to repulsive and bonding dimer geometries and the averaged isotropic term, for each pair of interacting molecules, are compared with representations in terms of a potential function proposed by Pirani et al. (see Chem. Phys. Lett. 2004, 394, 37-44 and references therein). Connections of the involved parameters with molecular properties provide insight into the nature of the interactions.


title: Detection loss tolerant supersensitive phase measurement with an SU(1,1) interferometer

abstract: In an unseeded SU(1,1) interferometer composed of two cascaded degenerate parametric amplifiers, with direct detection at the output, we demonstrate a phase sensitivity overcoming the shot noise limit by 2.3 dB. The interferometer is strongly unbalanced, with the parametric gain of the second amplifier exceeding the gain of the first one by a factor of 2, which makes the scheme extremely tolerant to detection losses. We show that by increasing the gain of the second amplifier, the phase supersensitivity of the interferometer can be preserved even with detection losses as high as 80%. This finding can considerably improve the state-of-the-art interferometry, enable sub-shot-noise phase sensitivity in spectral ranges with inefficient detection, and allow extension to quantum imaging.


title: SOS for bounded rationality

abstract: In the gambling foundation of probability theory, rationality requires that a subject should always (never) find desirable all nonnegative (negative) gambles, because no matter the result of the experiment the subject never (always) decreases her money. Evaluating the nonnegativity of a gamble in infinite spaces is a difficult task. In fact, even if we restrict the gambles to be polynomials in R^n , the problem of determining nonnegativity is NP-hard. The aim of this paper is to develop a computable theory of desirable gambles. Instead of requiring the subject to accept all nonnegative gambles, we only require her to accept gambles for which she can efficiently determine the nonnegativity (in particular SOS polynomials). We refer to this new criterion as bounded rationality.


title: Anderson and Gorenstein duality

abstract: The paper relates the Gorenstein duality statements studied by the first author to the Anderson duality statements studied by the second author, and explains how to use local cohomology and invariant theory to understand the numerology of shifts in simple cases.


title: Homomesy in products of three chains and multidimensional recombination

abstract: J. Propp and T. Roby isolated a phenomenon in which a statistic on a set has the same average value over any orbit as its global average, naming it homomesy. They proved that the cardinality statistic on order ideals of the product of two chains poset under rowmotion exhibits homomesy. In this paper, we prove an analogous result in the case of the product of three chains where one chain has two elements. In order to prove this result, we generalize from two to $n$ dimensions the recombination technique that D. Einstein and Propp developed to study homomesy. We see that our main homomesy result does not fully generalize to an arbitrary product of three chains, nor to larger products of chains; however, we have a partial generalization to an arbitrary product of three chains. Additional corollaries include refined homomesy results in the product of three chains and a new result on increasing tableaux. We conclude with a generalization of recombination to any ranked poset and a homomesy result for the Type B minuscule poset cross a two element chain.


title: Harmonic Spinors on a Family of Einstein Manifolds

abstract: The purpose of this paper is to study harmonic spinors defined on a 1-parameter family of Einstein manifolds which includes Taub-NUT, Eguchi-Hanson and $P^2(C)$ with the Fubini-Study metric as particular cases. We discuss the existence of and explicitly solve for spinors harmonic with respect to the Dirac operator twisted by a geometrically preferred connection. The metrics examined are defined, for generic values of the parameter, on a non-compact manifold with the topology of $C^2$ and extend to $P^2(C)$ as edge-cone metrics. As a consequence, the subtle boundary conditions of the Atiyah-Patodi-Singer index theorem need to be carefully considered in order to show agreement between the index of the twisted Dirac operator and the result obtained by counting the explicit solutions.


title: People on Media: Jointly Identifying Credible News and Trustworthy Citizen Journalists in Online Communities

abstract: Media seems to have become more partisan, often providing a biased coverage of news catering to the interest of specific groups. It is therefore essential to identify credible information content that provides an objective narrative of an event. News communities such as digg, reddit, or newstrust offer recommendations, reviews, quality ratings, and further insights on journalistic works. However, there is a complex interaction between different factors in such online communities: fairness and style of reporting, language clarity and objectivity, topical perspectives (like political viewpoint), expertise and bias of community members, and more. This paper presents a model to systematically analyze the different interactions in a news community between users, news, and sources. We develop a probabilistic graphical model that leverages this joint interaction to identify 1) highly credible news articles, 2) trustworthy news sources, and 3) expert users who perform the role of "citizen journalists" in the community. Our method extends CRF models to incorporate real-valued ratings, as some communities have very fine-grained scales that cannot be easily discretized without losing information. To the best of our knowledge, this paper is the first full-fledged analysis of credibility, trust, and expertise in news communities.


title: Credible Review Detection with Limited Information using Consistency Analysis

abstract: Online reviews provide viewpoints on the strengths and shortcomings of products/services, influencing potential customers' purchasing decisions. However, the proliferation of non-credible reviews -- either fake (promoting/ demoting an item), incompetent (involving irrelevant aspects), or biased -- entails the problem of identifying credible reviews. Prior works involve classifiers harnessing rich information about items/users -- which might not be readily available in several domains -- that provide only limited interpretability as to why a review is deemed non-credible. This paper presents a novel approach to address the above issues. We utilize latent topic models leveraging review texts, item ratings, and timestamps to derive consistency features without relying on item/user histories, unavailable for "long-tail" items/users. We develop models, for computing review credibility scores to provide interpretable evidence for non-credible reviews, that are also transferable to other domains -- addressing the scarcity of labeled data. Experiments on real-world datasets demonstrate improvements over state-of-the-art baselines.


title: Item Recommendation with Continuous Experience Evolution of Users using Brownian Motion

abstract: Online review communities are dynamic as users join and leave, adopt new vocabulary, and adapt to evolving trends. Recent work has shown that recommender systems benefit from explicit consideration of user experience. However, prior work assumes a fixed number of discrete experience levels, whereas in reality users gain experience and mature continuously over time. This paper presents a new model that captures the continuous evolution of user experience, and the resulting language model in reviews and other posts. Our model is unsupervised and combines principles of Geometric Brownian Motion, Brownian Motion, and Latent Dirichlet Allocation to trace a smooth temporal progression of user experience and language model respectively. We develop practical algorithms for estimating the model parameters from data and for inference with our model (e.g., to recommend items). Extensive experiments with five real-world datasets show that our model not only fits data better than discrete-model baselines, but also outperforms state-of-the-art methods for predicting item ratings.


title: Metacontrol for Adaptive Imagination-Based Optimization

abstract: Many machine learning systems are built to solve the hardest examples of a particular task, which often makes them large and expensive to run---especially with respect to the easier examples, which might require much less computation. For an agent with a limited computational budget, this "one-size-fits-all" approach may result in the agent wasting valuable computation on easy examples, while not spending enough on hard examples. Rather than learning a single, fixed policy for solving all instances of a task, we introduce a metacontroller which learns to optimize a sequence of "imagined" internal simulations over predictive models of the world in order to construct a more informed, and more economical, solution. The metacontroller component is a model-free reinforcement learning agent, which decides both how many iterations of the optimization procedure to run, as well as which model to consult on each iteration. The models (which we call "experts") can be state transition models, action-value functions, or any other mechanism that provides information useful for solving the task, and can be learned on-policy or off-policy in parallel with the metacontroller. When the metacontroller, controller, and experts were trained with "interaction networks" (Battaglia et al., 2016) as expert models, our approach was able to solve a challenging decision-making problem under complex non-linear dynamics. The metacontroller learned to adapt the amount of computation it performed to the difficulty of the task, and learned how to choose which experts to consult by factoring in both their reliability and individual computational resource costs. This allowed the metacontroller to achieve a lower overall cost (task loss plus computational cost) than more traditional fixed policy approaches. These results demonstrate that our approach is a powerful framework for using rich forward models for efficient model-based reinforcement learning.


title: Lightweight Robust Framework for Workload Scheduling in Clouds

abstract: Reliability, security and stability of cloud services without sacrificing too much resources have become a desired feature in the area of workload management in clouds. The paper proposes and evaluates a lightweight framework for scheduling a workload which part could be unreliable. This unreliability could be caused by various types of failures or attacks. Our framework for robust workload scheduling efficiently combines classic fault-tolerant and security tools, such as packet/job scanning, with workload scheduling, and it does not use any heavy resource-consuming tools, e.g., cryptography or non-linear optimization. More specifically, the framework uses a novel objective function to allocate jobs to servers and constantly decides which job to scan based on a formula associated with the objective function. We show how to set up the objective function and the corresponding scanning procedure to make the system provably stable, provided it satisfies a specific stability condition. As a result, we show that our framework assures cloud stability even if naive scanning-all and scanning-none strategies are not stable. We extend the framework to decentralized scheduling and evaluate it under several popular routing procedures.


title: Scalar curvature on compact complex manifolds

abstract: In this paper, we prove that, a compact complex manifold $X$ admits a smooth Hermitian metric with positive (resp. negative) scalar curvature if and only if $K_X$ (resp. $K_X^{-1}$) is not pseudo-effective. On the contrary, we also show that on an arbitrary compact complex manifold $X$ with complex dimension $\geq 2$, there exist smooth Hermitian metrics with positive total scalar curvature and one of the key ingredients in the proof relies on a recent solution to the Gauduchon conjecture by G. Sz\'{e}kelyhidi, V. Tosatti and B. Weinkove.


title: Identifying the social signals that drive online discussions: A case study of Reddit communities

abstract: Increasingly people form opinions based on information they consume on online social media. As a result, it is crucial to understand what type of content attracts people's attention on social media and drive discussions. In this paper we focus on online discussions. Can we predict which comments and what content gets the highest attention in an online discussion? How does this content differ from community to community? To accomplish this, we undertake a unique study of Reddit involving a large sample comments from 11 popular subreddits with different properties. We introduce a large number of sentiment, relevance, content analysis features including some novel features customized to reddit. Through a comparative analysis of the chosen subreddits, we show that our models are correctly able to retrieve top replies under a post with great precision. In addition, we explain our findings with a detailed analysis of what distinguishes high scoring posts in different communities that differ along the dimensions of the specificity of topic and style, audience and level of moderation.


title: Tent--Shaped Surface Morphologies of Silicon: Texturization by Metal Induced Etching

abstract: Nano--metal/semiconductor junction dependent porosification of silicon (Si) has been studied here. The silicon (Si) nanostructures (NS) have been textured on n-- and p-- type silicon wafers using Ag and Au metal nano particles induced chemical etching. The combinations of n--Si/Ag and p--Si/Au form ohmic contact and result in the same texturization on the Si surface on porosification where tent--shaped morphology has been observed consistently with n-- and p--type Si. Whereas, porosification result in different surface texturization for other two combinations (p--Si/Ag and n--Si/Au) where Schottkey contacts are formed. Quantitative analysis have been done using ImageJ to process the SEM images of SiNS, which confirms that the tent like SiNS are formed when etching of silicon wafer is done by AgNPs and AuNPs on n and p type Si wafer respectively. These easily prepared sharp tent--shaped Si NSs can be used for enhanced field emission applications.


title: Interstellar Gas-phase Element Depletions in the Small Magellanic Cloud: A Guide to Correcting for Dust in QSO Absorption Line Systems

abstract: We present data on the gas phase abundances for 9 different elements in the interstellar medium of the Small Magellanic Cloud (SMC), based on the strengths of ultraviolet absorption features over relevant velocities in the spectra of 18 stars within the SMC. From this information and the total abundances defined by the element fractions in young stars in the SMC, we construct a general interpretation on how these elements condense into solid form onto dust grains. As a group, the elements Si, S, Cr, Fe, Ni, and Zn exhibit depletion sequences similar to those in the local part of our Galaxy defined by Jenkins (2009). The elements Mg and Ti deplete less rapidly in the SMC than in the Milky Way, and Mn depletes more rapidly. We speculate that these differences might be explained by the different chemical affinities to different existing grain substrates. For instance, there is evidence that the mass fractions of polycyclic aromatic hydrocarbons (PAHs) in the SMC are significantly lower than those in the Milky Way. We propose that the depletion sequences that we observed for the SMC may provide a better model for interpreting the element abundances in low metallicity Damped Lyman Alpha (DLA) and sub-DLA absorption systems that are recorded in the spectra of distant quasars and gamma ray burst afterglows.


title: Low-loss Broadband Negative Refractive Index due to Nonresonant 2D Helical Chiral Metamaterial

abstract: We demonstrated a 2D helical chiral metamaterial that exhibits broadband strong optical activity resulting nonresonant Drude-like response. The strong chirality leads to broadband negative refractive index with high figure of merit (>90) and extremely low loss (<2% per layer). The optical activity are insensitive to the angles of incident electromagnetic waves, thereby enabling more flexibility in polarization manipulation applicaitons.


title: Applications of some special numbers obtained from a difference equation of degree three

abstract: In this paper we present applications of some special numbers obtained from a difference equation of degree three, especially in the Coding Theory. As a particular case, we obtain the generalized Pell-Fibonacci-Lucas numbers, which were extended to the generalized quaternions.


title: Large scale digital prostate pathology image analysis combining feature extraction and deep neural network

abstract: Histopathological assessments, including surgical resection and core needle biopsy, are the standard procedures in the diagnosis of the prostate cancer. Current interpretation of the histopathology images includes the determination of the tumor area, Gleason grading, and identification of certain prognosis-critical features. Such a process is not only tedious, but also prune to intra/inter-observe variabilities. Recently, FDA cleared the marketing of the first whole slide imaging system for digital pathology. This opens a new era for the computer aided prostate image analysis and feature extraction based on the digital histopathology images. In this work, we present an analysis pipeline that includes localization of the cancer region, grading, area ratio of different Gleason grades, and cytological/architectural feature extraction. The proposed algorithm combines the human engineered feature extraction as well as those learned by the deep neural network. Moreover, the entire pipeline is implemented to directly operate on the whole slide images produced by the digital scanners and is therefore potentially easy to translate into clinical practices. The algorithm is tested on 368 whole slide images from the TCGA data set and achieves an overall accuracy of 75% in differentiating Gleason 3+4 with 4+3 slides.


title: Nonasymptotic estimation and support recovery for high dimensional sparse covariance matrices

abstract: We propose a general framework for nonasymptotic covariance matrix estimation making use of concentration inequality-based confidence sets. We specify this framework for the estimation of large sparse covariance matrices through incorporation of past thresholding estimators with key emphasis on support recovery. This technique goes beyond past results for thresholding estimators by allowing for a wide range of distributional assumptions beyond merely sub-Gaussian tails. This methodology can furthermore be adapted to a wide range of other estimators and settings. The usage of nonasymptotic dimension-free confidence sets yields good theoretical performance. Through extensive simulations, it is demonstrated to have superior performance when compared with other such methods. In the context of support recovery, we are able to specify a false positive rate and optimize to maximize the true recoveries.


title: Handwritten Bangla Digit Recognition Using Deep Learning

abstract: In spite of the advances in pattern recognition technology, Handwritten Bangla Character Recognition (HBCR) (such as alpha-numeric and special characters) remains largely unsolved due to the presence of many perplexing characters and excessive cursive in Bangla handwriting. Even the best existing recognizers do not lead to satisfactory performance for practical applications. To improve the performance of Handwritten Bangla Digit Recognition (HBDR), we herein present a new approach based on deep neural networks which have recently shown excellent performance in many pattern recognition and machine learning applications, but has not been throughly attempted for HBDR. We introduce Bangla digit recognition techniques based on Deep Belief Network (DBN), Convolutional Neural Networks (CNN), CNN with dropout, CNN with dropout and Gaussian filters, and CNN with dropout and Gabor filters. These networks have the advantage of extracting and using feature information, improving the recognition of two dimensional shapes with a high degree of invariance to translation, scaling and other pattern distortions. We systematically evaluated the performance of our method on publicly available Bangla numeral image database named CMATERdb 3.1.1. From experiments, we achieved 98.78% recognition rate using the proposed method: CNN with Gabor features and dropout, which outperforms the state-of-the-art algorithms for HDBR.


title: Metamaterial Perfect Absorber Analyzed by a Meta-cavity Model Consisting of Multilayer Metasurfaces

abstract: We demonstrate that the metamaterial perfect absorber behaves as a meta-cavity bounded between a resonant metasurface and a metallic thin-film reflector. The perfect absorption is achieved by the Fabry-Perot cavity resonance via multiple reflections between the "quasi-open" boundary of resonator and the "closed" boundary of reflector. The characteristic features including angle independence, ultra-thin thickness and strong field localization can be well explained by this model. With this model, metamaterial perfect absorber can be redefined as a meta-cavity exhibiting high Q-factor, strong field enhancement and extremely high photonic density of states, thereby promising novel applications for high performance sensor, infrared photodetector and cavity quantum electrodynamics devices.


title: Measuring the Rydberg Constant Using Circular Rydberg Atoms in an Intensity-Modulated Optical Lattice

abstract: A method for performing a precision measurement of the Rydberg constant, $R_{\infty}$, using cold circular Rydberg atoms is proposed. These states have long lifetimes, as well as negligible quantum-electrodynamics (QED) and no nuclear-overlap corrections. Due to these advantages, the measurement can help solve the "proton radius puzzle" [Bernauer, Pohl, Sci. Am. 310, 32 (2014)]. The atoms are trapped using a Rydberg-atom optical lattice, and transitions are driven using a recently-demonstrated lattice-modulation technique to perform Doppler-free spectroscopy. The circular-state transition frequency yields $R_{\infty}$. Laser wavelengths and beam geometries are selected such that the lattice-induced transition shift is minimized. The selected transitions have no first-order Zeeman and Stark corrections, leaving only manageable second-order Zeeman and Stark shifts. For Rb, the projected relative uncertainty of $R_{\infty}$ in a measurement under the presence of the Earth's gravity is $10^{-11}$, with the main contribution coming from the residual lattice shift. This could be reduced in a future micro-gravity implementation. The next-important systematic arises from the Rb$^+$ polarizability (relative-uncertainty contribution of $\approx 3 \times10^{-12}$).


title: Computational physics approaches to light transmission through a twisted nematic liquid crystal slab

abstract: We consider light propagation through a twisted nematic liquid crystal. At first, an expression for light transmission is obtained using a rather intuitive approach. Secondly, an accurate solution for light transmission based on Maxwell's equations is derived and compared with the previous one. Both approaches show that when changes in the orientation of the liquid crystal optical axis are small on the scale defined by the optical wavelength (Mauguin limit), the polarization of light approximately follows the optical axis. At the same time, even in this limit, the simple formula for the light transmittance mentioned in some monographs on liquid crystal displays is not necessary accurate. Conditions under which the two approaches give the same expression for the light transmission are found. In addition, two numerical methods for finding the light transmittance are considered. It is demonstrated that the Gauss-Seidel method has much faster convergence rate than the Euler method.


title: The peculiar Na-O anticorrelation of the bulge globular cluster NGC 6440

abstract: Context. Galactic Globular Clusters (GCs) are essential tools to understand the earliest epoch of the Milky Way, since they are among the oldest objects in the Universe and can be used to trace its formation and evolution. Current studies using high resolution spectroscopy for many stars in each of a large sample of GCs allow us to develop a detailed observational picture about their formation and their relation with the Galaxy. However, it is necessary to complete this picture by including GCs that belong to all major Galactic components, including the Bulge. Aims. Our aim is to perform a detailed chemical analyses of the bulge GC NGC 6440 in order to determine if this object has Multiple Populations (MPs) and investigate its relation with the Bulge of the Milky Way and with the other Galactic GCs, especially those associated with the Bulge, which are largely poorly studied. Methods. We determined the stellar parameters and the chemical abundances of light elements (Na, Al), iron-peak elements (Fe, Sc, Mn, Co, Ni), $\alpha$-elements (O, Mg, Si, Ca, Ti) and heavy elements (Ba, Eu) in seven red giant members of NGC 6440 using high resolution spectroscopy from FLAMES@UVES. Results. We found a mean iron content of [Fe/H]=-0.50$\pm$0.03 dex in agreement with other studies. We found no internal iron spread. On the other hand, Na and Al show a significant intrinsic spread, but the cluster has no significant O-Na anticorrelation nor exhibits a Mg-Al anticorrelation. The $\alpha$-elements show good agreement with the Bulge field star trend, although they are at the high alpha end and are also higher than those of other GCs of comparable metallicity. The heavy elements are dominated by the r-process, indicating a strong contribution by SNeII. The chemical analysis suggests an origin similar to that of the Bulge field stars.


title: Conformal Anomaly and Off-Shell Extensions of Gravity

abstract: The gauge dependence of the conformal anomaly for spin 3/2 and spin 2 fields in non-conformal supergravities has been a long standing puzzle. In this Letter we argue that the `correct' gauge choice is the one that follows from requiring all terms that would imply a violation of the Wess-Zumino consistency condition to be absent in the counterterm, because otherwise the usual link between the anomaly and the one-loop divergence becomes invalid. Remarkably, the `good' choice of gauge is the one that confirms our previous result that a complete cancellation of conformal anomalies in D=4 can only be achieved for N-extended (Poincar\'e) supergravities with $N\geq 5$.


title: Experimental apparatus for overlapping a ground-state cooled ion with ultracold atoms

abstract: Experimental realizations of charged ions and neutral atoms in overlapping traps are gaining increasing interest due to their wide research application ranging from chemistry at the quantum level to quantum simulations of solid-state systems. Here, we describe a system in which we overlap a single ground-state cooled ion trapped in a linear Paul trap with a cloud of ultracold atoms such that both constituents are in the $\mu$K regime. Excess micromotion (EMM) currently limits atom-ion interaction energy to the mK energy scale and above. We demonstrate spectroscopy methods and compensation techniques which characterize and reduce the ion's parasitic EMM energy to the $\mu$K regime even for ion crystals of several ions. We give a substantial review on the non-equilibrium dynamics which governs atom-ion systems. The non-equilibrium dynamics is manifested by a power-law distribution of the ion's energy. We overview the coherent and non-coherent thermometry tools which we used to characterize the ion's energy distribution after single to many atom-ion collisions.


title: Finding Bottlenecks: Predicting Student Attrition with Unsupervised Classifier

abstract: With pressure to increase graduation rates and reduce time to degree in higher education, it is important to identify at-risk students early. Automated early warning systems are therefore highly desirable. In this paper, we use unsupervised clustering techniques to predict the graduation status of declared majors in five departments at California State University Northridge (CSUN), based on a minimal number of lower division courses in each major. In addition, we use the detected clusters to identify hidden bottleneck courses.


title: Koszul properties of the moment map of some classical representations

abstract: This work concerns the moment map $\mu$ associated with the standard representation of a classical Lie algebra. For applications to deformation quantization it is desirable that $S/(\mu)$, the coordinate algebra of the zero fibre of $\mu$, be Koszul. The main result is that this algebra is not Koszul for the standard representation of $\mathfrak{sl}_{n}$, and of $\mathfrak{sp}_{n}$. This is deduced from a computation of the Betti numbers of $S/(\mu)$ as an $S$-module, which are of interest also from the point of view of commutative algebra.


title: AirDraw: Leveraging Smart Watch Motion Sensors for Mobile Human Computer Interactions

abstract: Wearable computing is one of the fastest growing technologies today. Smart watches are poised to take over at least of half the wearable devices market in the near future. Smart watch screen size, however, is a limiting factor for growth, as it restricts practical text input. On the other hand, wearable devices have some features, such as consistent user interaction and hands-free, heads-up operations, which pave the way for gesture recognition methods of text entry. This paper proposes a new text input method for smart watches, which utilizes motion sensor data and machine learning approaches to detect letters written in the air by a user. This method is less computationally intensive and less expensive when compared to computer vision approaches. It is also not affected by lighting factors, which limit computer vision solutions. The AirDraw system prototype developed to test this approach is presented. Additionally, experimental results close to 71% accuracy are presented.


title: Gaps in full homomorphism order

abstract: We characterise gaps in the full homomorphism order of graphs.


title: A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts

abstract: Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.


title: Effective Radii of Young, Massive Star Clusters in Two LEGUS Galaxies

abstract: We present a study of the effective (half-light) radii and other structural properties of a systematically selected sample of young, massive star clusters (YMCs, $\geq$$5\times10^3$ M$_{\odot}$ and $\leq$200 Myr) in two nearby spiral galaxies, NGC 628 and NGC 1313. We use Hubble Space Telescope WFC3/UVIS and archival ACS/WFC data obtained by the Legacy Extragalactic UV Survey (LEGUS), an HST Treasury Program. We measure effective radii with GALFIT, a two-dimensional image-fitting package, and with a new technique to estimate effective radii from the concentration index (CI) of observed clusters. The distribution of effective radii from both techniques spans $\sim$0.5-10 pc and peaks at 2-3 pc for both galaxies. We find slight positive correlations between effective radius and cluster age in both galaxies, but no significant relationship between effective radius and galactocentric distance. Clusters in NGC 1313 display a mild increase in effective radius with cluster mass, but the trend disappears when the sample is divided into age bins. We show that the vast majority of the clusters in both galaxies are much older than their dynamical times, suggesting they are gravitationally bound objects. We find that about half of the clusters in NGC 628 are underfilling their Roche lobes, based on their Jacobi radii. Our results suggest that the young, massive clusters in NGC 628 and NGC 1313 are expanding due to stellar mass loss or two-body relaxation and are not significantly influenced by the tidal fields of their host galaxies.


title: Status of New Physics searches with $b \to s \ell^{+}\ell^{-}$ transitions @ LHCb

abstract: Rare decays of heavy-flavoured particles provide an ideal laboratory to look for deviations from the Standard Model, and explore energy regimes beyond the LHC reach. Decays proceeding via electroweak penguin diagrams are excellent probes to search for New Physics, and $b \to s \ell^{+}\ell^{-}$ processes are particularly interesting since they give access to many observables such as branching fractions, asymmetries and angular observables. Recent results from the LHCb experiment are reviewed.


title: Multimodal Affect Analysis for Product Feedback Assessment

abstract: Consumers often react expressively to products such as food samples, perfume, jewelry, sunglasses, and clothing accessories. This research discusses a multimodal affect recognition system developed to classify whether a consumer likes or dislikes a product tested at a counter or kiosk, by analyzing the consumer's facial expression, body posture, hand gestures, and voice after testing the product. A depth-capable camera and microphone system - Kinect for Windows - is utilized. An emotion identification engine has been developed to analyze the images and voice to determine affective state of the customer. The image is segmented using skin color and adaptive threshold. Face, body and hands are detected using the Haar cascade classifier. Canny edges are identified and the lip, body and hand contours are extracted using spatial filtering. Edge count and orientation around the mouth, cheeks, eyes, shoulders, fingers and the location of the edges are used as features. Classification is done by an emotion template mapping algorithm and training a classifier using support vector machines. The real-time performance, accuracy and feasibility for multimodal affect recognition in feedback assessment are evaluated.


title: Magneto-optical conductivity of double Weyl semimetals

abstract: We investigate the magneto-optical response of double Weyl semimetals whose energy dispersion is intrinsically anisotropic. We find that in the presence of a magnetic field, the most salient feature of the optical conductivity is a series of resonant peaks with the corresponding frequencies scaling linearly with the strength of the magnetic field. In addition, the optical conductivity is found to be anisotropic, with two of the three longitudinal components residing at a linear background and the remaining one at a constant background. The effects of chemical potential, temperature, impurity scattering, and particle-hole symmetry breaking on the optical conductivity are also studied.


title: Proving genuine multiparticle entanglement from separable nearest-neighbor marginals

abstract: We address the question of whether or not global entanglement of a quantum state can be inferred from local properties. Specifically, we are interested in genuinely multiparticle entangled states whose two-body marginals are all separable, but where the entanglement can be proven using knowledge of a subset of the marginals only. Using an iteration of semidefinite programs we prove that for any possible marginal configuration up to six particles multiqubit states with the desired properties can be found. We then present a method to construct states with the same properties for more particles in higher dimensions.


title: A relationship between 2-primal modules and modules that satisfy the radical formula

abstract: The coincidence of the set of all nilpotent elements of a ring with its prime radical has a module analogue which occurs when the zero submodule satisfies the radical formula. A ring $R$ is 2-primal if the set of all nilpotent elements of $R$ coincides with its prime radical. This fact motivates our study in this paper, namely, to compare 2-primal submodules and submodules that satisfy the radical formula. A demonstration of the importance of 2-primal modules in bridging the gap between modules over commutative rings and modules over noncommutative rings is done and new examples of rings and modules that satisfy the radical formula are also given.


title: Operator learning approach for the limited view problem in photoacoustic tomography

abstract: In photoacoustic tomography, one is interested to recover the initial pressure distribution inside a tissue from the corresponding measurements of the induced acoustic wave on the boundary of a region enclosing the tissue. In the limited view problem, the wave boundary measurements are given on the part of the boundary, whereas in the full view problem, the measurements are known on the whole boundary. For the full view problem, there exist various fast and robust reconstruction methods. These methods give severe reconstruction artifacts when they are applied directly to the limited view data. One approach for reducing such artefacts is trying to extend the limited view data to the whole region boundary, and then use existing reconstruction methods for the full view data. In this paper, we propose an operator learning approach for constructing an operator that gives an approximate extension of the limited view data. We consider the behavior of a reconstruction formula on the extended limited view data that is given by our proposed approach. Approximation errors of our approach are analyzed. We also present numerical results with the proposed extension approach supporting our theoretical analysis.