title: Encrypt Flip-Flop: A Novel Logic Encryption Technique For Sequential Circuits

abstract: Logic Encryption is one of the most popular hardware security techniques which can prevent IP piracy and illegal IC overproduction. It introduces obfuscation by inserting some extra hardware into a design to hide its functionality from unauthorized users. Correct functionality of an encrypted design depends upon the application of correct keys, shared only with the authorized users. In the recent past, extensive efforts have been devoted in extracting the secret key of an encrypted design. At the same time, several countermeasures have also been proposed by the research community to thwart different state-of-the-art attacks on logic encryption. However, most of the proposed countermeasures fail to prevent the powerful SAT attack. Although a few researchers have proposed different solutions to withstand SAT attack, those solutions suffer from several drawbacks such as high design overheads, low output corruptibility, and vulnerability against removal attack. Almost all the known logic encryption strategies are vulnerable to scan based attack. In this paper, we propose a novel encryption technique called Encrypt Flip-Flop, which encrypts the outputs of selected flip-flops by inserting multiplexers (MUX). The proposed strategy can thwart all the known attacks including SAT and scan based attacks. The scheme has low design overhead and implementation complexity. Experimental results on several ISCAS'89 and ITC'99 benchmarks show that our proposed method can produce reasonable output corruption for wrong keys.


title: What Level of Quality can Neural Machine Translation Attain on Literary Text?

abstract: Given the rise of a new approach to MT, Neural MT (NMT), and its promising performance on different text types, we assess the translation quality it can attain on what is perceived to be the greatest challenge for MT: literary text. Specifically, we target novels, arguably the most popular type of literary text. We build a literary-adapted NMT system for the English-to-Catalan translation direction and evaluate it against a system pertaining to the previous dominant paradigm in MT: statistical phrase-based MT (PBSMT). To this end, for the first time we train MT systems, both NMT and PBSMT, on large amounts of literary text (over 100 million words) and evaluate them on a set of twelve widely known novels spanning from the the 1920s to the present day. According to the BLEU automatic evaluation metric, NMT is significantly better than PBSMT (p < 0.01) on all the novels considered. Overall, NMT results in a 11% relative improvement (3 points absolute) over PBSMT. A complementary human evaluation on three of the books shows that between 17% and 34% of the translations, depending on the book, produced by NMT (versus 8% and 20% with PBSMT) are perceived by native speakers of the target language to be of equivalent quality to translations produced by a professional human translator.


title: Accurate estimates of (1+x)^{1/x} Involved in Carleman Inequality and Keller Limit

abstract: In this paper, using the Maclaurin series of the functions $(1+x)^{1/x}$, some inequalities from papers Bicheng Debnath [1998] and Mortici Jang [2015] are generalized. For arbitrary Maclaurin series some general limits of Keller's type are defined and applying for generalization of some well known results.


title: The Future is Unlicensed: Coexistence in the Unlicensed Spectrum for 5G

abstract: 5G has to fulfill the requirements of ultra-dense, scalable, and customizable networks such as IoT while increasing spectrum and energy efficiency. Given the diversity of envisaged applications and scenarios, one crucial property for 5G New Radio (NR) is flexibility: flexible UL/DL allocation, bandwidths, or scalable transmission time interval, and most importantly operation at different frequency bands. In particular, 5G should exploit the spectral opportunities in the unlicensed spectrum for expanding network capacity when and where needed. However, unlicensed bands pose the challenge of "coexisting networks", which mostly lack the means of communication for negotiation and coordination. This deficiency is further exacerbated by the heterogeneity, massive connectivity, and ubiquity of IoT systems and applications. Therefore, 5G needs to provide mechanisms to coexist and even converge in the unlicensed bands. In that regard, WiFi, as the most prominent wireless technology in the unlicensed bands, is both a key enabler for boosting 5G capacity and competitor of 5G cellular networks for the shared unlicensed spectrum. In this work, we describe spectrum sharing in 5G and present key coexistence solutions, mostly in the context of WiFi. We also highlight the role of machine learning which is envisaged to be critical for reaching coexistence and convergence goals by providing the necessary intelligence and adaptation mechanisms.


title: Changing and unchanging of the domination number of a graph: Path addition numbers

abstract: Given a graph $G = (V,E)$ and two its distinct vertices $u$ and $v$. The $(u,v)$-$P_k$-{\em addition graph} of $G$ is the graph $G_{u,v,k-2}$ obtained from disjoint union of $G$ and a path $P_k: x_0,x_1,..,x_{k-1}$, $k \geq 2$, by identifying the vertices $u$ and $x_0$, and identifying the vertices $v$ and $x_{k-1}$. We prove that (a) $ \gamma(G)-1 \leq \gamma(G_{u,v,k})$ for all $k \geq 1$, and (b) $\gamma(G_{u,v,k}) > \gamma(G)$ when $k \geq 5$. We also provide necessary and sufficient conditions for the equality $\gamma(G_{u,v,k}) = \gamma(G)$ to be valid for each pair $u,v \in V(G)$. pair $u,v \in V(G)$.


title: Algebraic Specifications of Wayfinding Using Cognitive Map

abstract: This paper outlines the formal representation of the environment in which it is assumed that a wayfinding process has been occurred through a street network. Wayfinding is a process in which people navigate themselves from an origin to a destination by their common sense geospatial knowledge. Na\"ive Geography is a field of study that investigates the body of knowledge that people have about the surrounding geospatial world and it deals with common sense knowledge of space. The image schemas which are needed for wayfinding with boundary relations method have been extracted and represented formally with algebraic specifications. These specifications are mentioned in the syntax of a functional programming language, Haskell. It allows us to execute written algebraic specifications and provide conditions for rapid prototyping and formal checks on consistency. These formal specifications are implemented for modeling street network of a part of Tehran, Capital city of Iran.


title: Reversal magnetization, spin reorientation and exchange bias in YCrO$_3$ doped with praseodymium

abstract: Crystal structure, thermal and magnetic properties were systematically studied in the Y$_{1-x}$Pr$_x$CrO$_3$ with $0 \leq x \leq 0.3$ compositions. Magnetic susceptibility and specific heat measurements show an increase of the antiferromagnetic transition temperature ($T_N$) as Pr is substituted in the Y sites and notable magnetic features are observed below $T_N$. Strong coupling between magnetic and crystalline parameters is observed in a small range of Pr compositions. A small perturbation in the lattice parameters by Pr ion is sufficient to induce a spin reorientation transition followed by magnetization reversal, to finally induce exchange bias effect. The spin reorientation temperature ($T_{SR}$) is increased from 35 K to 149 K for $0.025 \leq x \leq 0.1$ compositions. It is found that the Cr spins sublattice rotates continuously from $T_{SR}$ to a new spin configuration a lower temperature. In addition, magnetization reversal is observed at $T^* \sim 35$ K for x= 0.05 up to $T^* \sim 63$ K for x = 0.20 composition. The $M-H$ curves show negative exchange bias effect induced by Pr ions, which are observed below of 100 K and being more intense at 5 K. At 10 K, the magnetic contribution of the specific heat, as well as the ZFC magnetization, show the rise of a peak with increasing Pr content. The magnetic anomaly could be associated with the freezing of the Pr magnetic moment randomly distributed at the 4c crystallographic site. A clear correspondence between spin reorientation, magnetization reversal and exchange bias anisotropy with the tilting and octahedral distortion is also discussed.


title: On Goodman realizability

abstract: Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arithmetic. The same result applies to the extensional variant. This is due to Beeson (1979). In this paper we modify Goodman realizability (1978) and provide a new proof of the extensional case.


title: Power spectrum multipoles on the curved sky: an application to the 6-degree Field Galaxy Survey

abstract: The peculiar velocities of galaxies cause their redshift-space clustering to depend on the angle to the line-of-sight, providing a key test of gravitational physics on cosmological scales. These effects may be described using a multipole expansion of the clustering measurements. Focussing on Fourier-space statistics, we present a new analysis of the effect of the survey window function, and the variation of the line-of-sight across a survey, on the modelling of power spectrum multipoles. We determine the joint covariance of the Fourier-space multipoles in a Gaussian approximation, and indicate how these techniques may be extended to studies of overlapping galaxy populations via multipole cross-power spectra. We apply our methodology to one of the widest-area galaxy redshift surveys currently available, the 6-degree Field Galaxy Survey, deducing a normalized growth rate f*sigma_8(z=0.06) = 0.38 +/- 0.12 in the low-redshift Universe, in agreement with previous analyses of this dataset using different techniques. Our framework should be useful for processing future wide-angle galaxy redshift surveys.


title: Product Gauges for Product Domains

abstract: In generalized Riemann integration (or Henstock-Kurzweil integration), the formation of the partitions used in Riemann sum construction is regulated by rules known as gauges. This article examines gauges for multi-dimensional Cartesian product domains.


title: Understanding Data Search as a Socio-technical Practice

abstract: Open research data are heralded as having the potential to increase effectiveness, productivity, and reproducibility in science, but little is known about the actual practices involved in data search. The socio-technical problem of locating data for reuse is often reduced to the technological dimension of designing data search systems. We combine a bibliometric study of the current academic discourse around data search with interviews with data seekers. In this article, we explore how adopting a contextual, socio-technical perspective can help to understand user practices and behavior and ultimately help to improve the design of data discovery systems.


title: Plastic pinning replaces collective pinning as the second magnetization peak disappears in the pnictide superconductor Ba-KFe$_2$As$_2$

abstract: We report a detailed study of isofield magnetic relaxation and isothermal magnetization measurements with $H$$\parallel$c on an underdoped Ba$_{0.75}$K$_{0.25}$Fe$_2$As$_2$ pnictide single crystal, with superconducting transition temperature $T_c$ = 28 K. The second magnetization peak (SMP) has been observed at temperatures below $T_c$/2 and vanished at higher temperatures. The observed behaviour of the SMP has been studied by measuring the magnetic field dependence of relaxation rate, $R(H)$ and by performing the Maley's analysis. The results suggest that the crossover from collective to plastic pinning observed in the SMP disappears above 12 K with plastic pinning replacing collective pinning. An interesting $H$-$T$ phase diagram is obtained. The critical current density ($J_c$) was estimated using Bean's model and found to be $\sim$ $3.4 \times 10^9$ A/m$^2$ at 10 K in the SMP region, which is comparable to an optimally doped Ba-KFe$_2$As$_2$ superconductor and may be exploited for potential technological applications. The pinning mechanism is found to be unconventional and does not follow the usual $\delta l$ and $\delta T_c$ pinning models, which suggest the intrinsic nature of pinning in the compound.


title: Two-Stage LASSO ADMM Signal Detection Algorithm For Large Scale MIMO

abstract: This paper explores the benefit of using some of the machine learning techniques and Big data optimization tools in approximating maximum likelihood (ML) detection of Large Scale MIMO systems. First, large scale MIMO detection problem is formulated as a LASSO (Least Absolute Shrinkage and Selection Operator) optimization problem. Then, Alternating Direction Method of Multipliers (ADMM) is considered in solving this problem. The choice of ADMM is motivated by its ability of solving convex optimization problems by breaking them into smaller sub-problems, each of which are then easier to handle. Further improvement is obtained using two stages of LASSO with interference cancellation from the first stage. The proposed algorithm is investigated at various modulation techniques with different number of antennas. It is also compared with widely used algorithms in this field. Simulation results demonstrate the efficacy of the proposed algorithm for both uncoded and coded cases.


title: Contactless method to measure 2DEG charge density and band structure in high electron mobility transistor structures

abstract: We present a contactless method that is capable of characterizing a high electron mobility transistor heterostructure at the wafer stage, right after its growth, before any production process has been attempted, to provide the equilibrium band structure and the density of charge of the 2-dimensional electron gas in the quantum well. The method can thus evaluate critical transistor parameters and help to screen out low performance wafers before the actual fabrication. To this end, we use a simple optical spectroscopy at room temperature that measures the surface photovoltage band-edge responses in the heterostructure and uses a model that takes into account the effect of the built-in electric fields on optical absorption in the layers and heterojunctions to evaluate bandgaps, band offsets, and built-in fields. The quantum well charge is then calculated from the built-in fields. The main advantage of the method is in its capability to provide information on all the different layers in the typical heterostructure simultaneously in a single measurement. The method is not limited to the high electron mobility transistor structure but may be used on any other heterostructure. It opens the door for a new type of characterization methods suitable for the post-silicon multi-layer multi-semiconductor heterostructure device era.


title: Distributed Error-Function Roughness in Refl1d Reflectometry Fitting Program

abstract: The Refl1d program is used for modeling and fitting data from neutron and X-ray reflectometry experiments. The model of the (thin-film) samples is typically constructed of discrete layers of different scattering-length densities (SLD). Interlayer roughness is represented as an error-function transition from one layer to the next. Previous versions of the software truncated this error-function at the next interface. This strategy has the advantage of preventing layers with unbounded effective extent, but it can also result in SLD depth profiles that do not conform to the physical expectations of the users (such as introducing sharp transitions) whenever the layer roughness approaches the thickness of the layer. In this article we introduce a new version of the software in which the option is provided to extend the roughness of each layer over the entire structure; the resulting SLD profiles often more closely resemble the physical models intended by the user. Most importantly no sharp transitions are introduced by truncating the roughness, when a smooth transition is often desired when adding rough layers together.


title: Topological K-Theory for Hilbert Scheme Analogs

abstract: In geometric representation theory, it is common to compute equivariant $K$ theory of schemes like $Hilb^n ( \mathbb{A}^2 )$ or $Hilb^n (X)$ for an ALE resolution $X \to \mathbb{A}^2 / \Gamma$. If we abandon the algebraic nature and just look at this homotopically we see close relatives of $BS_n$ and $B(\Gamma \wr S_n)$. Therefore we compute the topological K theory of these classifying spaces to fill in a small gap in the literature.


title: Spectra of Tridiagonal Matrices

abstract: We characterize the eigenvalues and eigenvectors of a class of complex valued tridiagonal $n$ by $n$ matrices subject to arbitrary boundary conditions, i.e. with arbitrary elements on the first and last rows of the matrix. %By boundary conditions, we mean the first and last row of the matrix. For large $n$, we show there are up to $4$ eigenvalues, the so-called \emph{special eigenvalues}, whose behavior depends sensitively on the boundary conditions. The other eigenvalues, the so-called \emph{regular eigenvalues} vary very little as function of the boundary conditions. For large $n$, we determine the regular eigenvalues up to ${\cal O}(n^{-2})$, and the special eigenvalues up to ${\cal O}(\kappa^n)$, for some $\kappa\in (0,1)$. The components of the eigenvectors are determined up to ${\cal O}(n^{-1})$. The matrices we study have important applications throughout the sciences. Among the most common ones are arrays of linear dynamical systems with nearest neighbor coupling, and discretizations of second order linear partial differential equations. In both cases, we give examples where specific choices of boundary conditions substantially influence leading eigenvalues, and therefore the global dynamics of the system.


title: Smoothing splines on Riemannian manifolds, with applications to 3D shape space

abstract: There has been increasing interest in statistical analysis of data lying in manifolds. This paper generalizes a smoothing spline fitting method to Riemannian manifold data based on the technique of unrolling and unwrapping originally proposed in Jupp and Kent (1987) for spherical data. In particular we develop such a fitting procedure for shapes of configurations in general $m$-dimensional Euclidean space, extending our previous work for two dimensional shapes. We show that parallel transport along a geodesic on Kendall shape space is linked to the solution of a homogeneous first-order differential equation, some of whose coefficients are implicitly defined functions. This finding enables us to approximate the procedure of unrolling and unwrapping by simultaneously solving such equations numerically, and so to find numerical solutions for smoothing splines fitted to higher dimensional shape data. This fitting method is applied to the analysis of some dynamic 3D peptide data.


title: Formal specification of the FlexRay protocol using FocusST

abstract: FlexRay is a communication protocol developed by the FlexRay Consortium. The core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW, Volkswagen, Daimler, and General Motors, and the protocol was respectively oriented towards embedded systems in the automotive domain. This paper presents a formal specification of the FlexRay protocol using the FocusST framework. This work extends our previous research of formal specifications of this protocol using Focus formal language.


title: Renormalization of viscosity in wavelet-based model of turbulence

abstract: Statistical theory of turbulence in viscid incompressible fluid, described by the Navier-Stokes equation driven by random force, is reformulated in terms of scale-dependent fields $\mathbf{u}_a(x)$, defined as wavelet-coefficients of the velocity field $\mathbf{u}$ taken at point $x$ with the resolution $a$. Applying quantum field theory approach of stochastic hydrodynamics to the generating functional of random fields $\mathbf{u}_a(x)$, we have shown the velocity field correlators $\langle \mathbf{u}_{a_1}(x_1)\ldots \mathbf{u}_{a_n}(x_n)\rangle$ to be finite by construction for the random stirring force acting at prescribed large scale $L$. The study is performed in $d=3$ dimension. Since there are no divergences, regularization is not required, and the renormalization group invariance becomes merely a symmetry that relates velocity fluctuations of different scales in terms of the Kolmogorov-Richardson picture of turbulence development. The integration over the scale arguments is performed from the external scale $L$ down to the observation scale $A$, which lies in Kolmogorov range $l \ll A \ll L$. Our oversimplified model is full dissipative: interaction between scales is provided only locally by the gradient vertex $(\mathbf{u}\nabla) \mathbf{u}$, neglecting any effects or parity violation that might be responsible for energy backscatter. The corrections to viscosity and the pair velocity correlator are calculated in one-loop approximation. This gives the dependence of turbulent viscosity on observation scale and describes the scale dependence of the velocity field correlations.


title: Downlink Power Allocation for CoMP-NOMA in Multi-Cell Networks

abstract: This work considers the problem of dynamic power allocation in the downlink of multi-cell networks, where each cell utilizes non-orthogonal multiple access (NOMA)-based resource allocation. Also, coordinated multi-point (CoMP) transmission is utilized among multiple cells to serve users experiencing severe inter-cell interference (ICI). More specifically, we consider a two-tier heterogeneous network (HetNet) consisting of a high-power macro cell underlaid with multiple low-power small cells each of which uses the same resource block. Under this {\em CoMP-NOMA framework}, CoMP transmission is applied to a user experiencing high channel gain with multiple base stations (BSs)/cells, while NOMA is utilized to schedule CoMP and non-CoMP users over the same transmission resources, i.e., time, spectrum and space. Different CoMP-NOMA models are discussed, but focus is primarily on the joint transmission CoMP-NOMA (JT-CoMP-NOMA) model. For the JT-CoMP-NOMA model, an optimal joint power allocation problem is formulated and the solution is derived for each CoMP-set consisting of multiple cooperating BSs (i.e., CoMP BSs). To overcome the substantial computational complexity of the joint power optimization approach, we propose a distributed power optimization problem at each cooperating BS whose optimal solution is independent of the solution of other coordinating BSs. The validity of the distributed solution for the joint power optimization problem is provided and numerical performance evaluation is carried out for the proposed CoMP-NOMA models including JT-CoMP-NOMA and coordinated scheduling CoMP-NOMA (CS-CoMP-NOMA). The obtained results reveal significant gains in spectral and energy efficiency in comparison with conventional CoMP-orthogonal multiple access (CoMP-OMA) systems.


title: Computing effectively stabilizing controllers for a class of $n$D systems

abstract: In this paper, we study the internal stabilizability and internal stabilization problems for multidimensional (nD) systems. Within the fractional representation approach, a multidimen-sional system can be studied by means of matrices with entries in the integral domain of structurally stable rational fractions, namely the ring of rational functions which have no poles in the closed unit polydisc U n = {z = (z 1 ,. .. , z n) $\in$ C n | |z 1 | 1,. .. , |z n | 1}. It is known that the internal stabilizability of a multidimensional system can be investigated by studying a certain polynomial ideal I = p 1 ,. .. , p r that can be explicitly described in terms of the transfer matrix of the plant. More precisely the system is stabilizable if and only if V (I) = {z $\in$ C n | p 1 (z) = $\times$ $\times$ $\times$ = p r (z) = 0} $\cap$ U n = $\emptyset$. In the present article, we consider the specific class of linear nD systems (which includes the class of 2D systems) for which the ideal I is zero-dimensional, i.e., the p i 's have only a finite number of common complex zeros. We propose effective symbolic-numeric algorithms for testing if V (I) $\cap$ U n = $\emptyset$, as well as for computing, if it exists, a stable polynomial p $\in$ I which allows the effective computation of a stabilizing controller. We illustrate our algorithms through an example and finally provide running times of prototype implementations for 2D and 3D systems.


title: Intermittent dynamics in complex systems driven to depletion

abstract: When complex systems are driven to extinction by some external factor, their non-stationary dynamics can present an intermittent behaviour between relative tranquility and burst of activity whose consequences are often catastrophic. To understand and ultimately be able to predict such dynamics, we propose an underlying mechanism based on sharp thresholds of a local generalized energy density that naturally leads to negative feedback. We find a transition from a continuous regime to an intermittent one, in which avalanches can be predicted despite the stochastic nature of the process. This model may have applications in many natural and social complex systems where a rapid depletion of resources or generalized energy drives the dynamics. In particular, we show how this model accurately describes the time evolution and avalanches present in a real social system.


title: Space-Time-Parallel Poroelasticity Simulation

abstract: The accurate, reliable and efficient numerical approximation of multi-physics processes in heterogeneous porous media with varying media coefficients that include fluid flow and structure interactions is of fundamental importance in energy, environmental, petroleum and biomedical engineering applications fields for instance. Important applications include subsurface compaction drive, carbon sequestration, hydraulic and thermal fracturing and oil recovery. Biomedical applications include the simulation of vibration therapy for osteoporosis processes of trabeculae bones, estimating stress levels induced by tumour growth within the brain or next-generation spinal disc prostheses. Variational space-time methods offers some appreciable advantages such as the flexibility of the triangulation for complex geometries in space and natural local time stepping, the straightforward construction of higher-order approximations and the application of efficient goal-oriented (duality-based) adaptivity concepts. In addition to that, uniform space-time variational methods appear to be advantageous for stability and a priori error analyses of the discrete schemes. Especially (high-order) discontinuous in time approaches appear to have favourable properties due to the weak application of the initial conditions. The development of monolithic multi-physics schemes, instead of iterative coupling methods between the physical problems, is a key component of the research to reduce the modeling error. Special emphasis is on the development of efficient multi-physics and multigrid preconditioning technologies and their implementation. The simulation software DTM++ is a modularised framework written in C++11 and builds on top of deal.II toolchains. The implementation allows parallel simulations from notebooks up to cluster scale.


title: Routeing properties in a Gibbsian model for highly dense multihop networks

abstract: We investigate a probabilistic model for routeing in a multihop ad-hoc communication network, where each user sends a message to the base station. Messages travel in hops via other users, used as relays. Their trajectories are chosen at random according to a Gibbs distribution, which favours trajectories with low interference, measured in terms of signal-to-interference ratio. This model was introduced in our earlier paper [KT18], where we expressed, in the limit of a high density of users, the typical distribution of the family of trajectories in terms of a law of large numbers. In the present work, we derive its qualitative properties. We analytically identify the emerging typical scenarios in three extreme regimes. We analyse the typical number of hops and the typical length of a hop, and the deviation of the trajectory from the straight line, (1) in the limit of a large communication area and large distances, and (2) in the limit of a strong interference weight. In both regimes, the typical trajectory approaches a straight line quickly, in regime (1) with equal hop lengths. Interestingly, in regime (1), the typical length of a hop diverges logarithmically in the distance of the transmitter to the base station. We further analyse (3) local and global repulsive effects of a densely populated subarea on the trajectories.


title: Simulation of thin film flows with a moving mesh mixed finite element method

abstract: We present an efficient mixed finite element method to solve the fourth-order thin film flow equations using moving mesh refinement. The moving mesh strategy is based on harmonic mappings developed by Li et al. [J. Comput. Phys., 170 (2001), pp. 562-588, and 177 (2002), pp. 365-393]. To achieve a high quality mesh, we adopt an adaptive monitor function and smooth it based on a diffusive mechanism. A variety of numerical tests are performed to demonstrate the accuracy and efficiency of the method. The moving mesh refinement accurately resolves the overshoot and downshoot structures and reduces the computational cost in comparison to numerical simulations using a fixed mesh.


title: On the Complexity of the Weighted Fused Lasso

abstract: The solution path of the 1D fused lasso for an $n$-dimensional input is piecewise linear with $\mathcal{O}(n)$ segments (Hoefling et al. 2010 and Tibshirani et al 2011). However, existing proofs of this bound do not hold for the weighted fused lasso. At the same time, results for the generalized lasso, of which the weighted fused lasso is a special case, allow $\Omega(3^n)$ segments (Mairal et al. 2012). In this paper, we prove that the number of segments in the solution path of the weighted fused lasso is $\mathcal{O}(n^2)$, and that, for some instances, it is $\Omega(n^2)$. We also give a new, very simple, proof of the $\mathcal{O}(n)$ bound for the fused lasso.


title: Weighted Energy-Dissipation principle for gradient flows in metric spaces

abstract: This paper develops the so-called Weighted Energy-Dissipation (WED) variational approach for the analysis of gradient flows in metric spaces. This focuses on the minimization of the parameter-dependent global-in-time functional of trajectories \[ \mathcal{I}_\varepsilon[u] = \int_0^{\infty} e^{-t/\varepsilon}\left( \frac12 |u'|^2(t) + \frac1{\varepsilon}\phi(u(t)) \right) \dd t, \] featuring the weighted sum of energetic and dissipative terms. As the parameter $\varepsilon$ is sent to~$0$, the minimizers $u_\varepsilon$ of such functionals converge, up to subsequences, to curves of maximal slope driven by the functional $\phi$. This delivers a new and general variational approximation procedure, hence a new existence proof, for metric gradient flows. In addition, it provides a novel perspective towards relaxation.


title: $m$-cluster tilted algebras of euclidean type

abstract: We consider $m$-cluster tilted algebras arising from quivers of Euclidean type and we give necessary and sufficient conditions for those algebras to be representation finite. For the case $\widetilde{A}$, using the geometric realization, we get a description of representation finite type in terms of $(m+2)$-angulations. We establish which $m$-cluster tilted algebras arise at the same time from quivers of type $A$ and $\widetilde{A}$. Finally, we characterize representation infinite $m$-cluster tilted algebras arising from a quiver of type $\widetilde{A}$ as $m$-relations extensions of some iterated tilted algebra of type $\widetilde{A}$.


title: Symmetric wetting heterogeneity suppresses fluid displacement hysteresis in granular piles

abstract: We investigate experimentally the impact of heterogeneity on the capillary pressure hysteresis in fluid invasion of model porous media. We focus on `symmetric' heterogeneity, where the contact angles the fluid interface makes with the oil-wet ($\theta_1$) and the water-wet ($\theta_2$) beads add up to $\pi$. While enhanced heterogeneity is usually known to increase hysteresis phenomena, we find that hysteresis is greatly reduced when heterogeneities in wettability are introduced. On the contrary, geometric heterogeneity (like bi-disperse particle size) does not lead to such effect. We provide a qualitative explanation of this surprising result, resting on rather general geometric arguments.


title: Vehicle Routing with Subtours

abstract: When delivering items to a set of destinations, one can save time and cost by passing a subset to a sub-contractor at any point en route. We consider a model where a set of items are initially loaded in one vehicle and should be distributed before a given deadline {\Delta}. In addition to travel time and time for deliveries, we assume that there is a fixed delay for handing over an item from one vehicle to another. We will show that it is easy to decide whether an instance is feasible, i.e., whether it is possible to deliver all items before the deadline {\Delta}. We then consider computing a feasible tour of minimum cost, where we incur a cost per unit distance traveled by the vehicles, and a setup cost for every used vehicle. Our problem arises in practical applications and generalizes classical problems such as shallow-light trees and the bounded-latency problem. Our main result is a polynomial-time algorithm that, for any given {\epsilon} > 0 and any feasible instance, computes a solution that delivers all items before time (1+ {\epsilon}){\Delta} and has cost O(1 + 1 / {\epsilon}) OPT, where OPT is the minimum cost of any feasible solution. We show that our result is best possible in the sense that any improvement would lead to progress on 25-year-old questions on shallow-light trees.


title: Data

abstract: The contribution of this article is a data concept that is essentially based on the two concepts of information and computable functionality. In short, data is viewed as typed information. A data type is defined as a pair of a set of distinguishable characters (an alphabet) and a set of operations (computable functions) that operate on this alphabet as domain. Two different ways of subtyping in the sense of Liskov and Wing are described, one for restriction and one for extension of existing types. They lead to two different partial orders on types. It is argued that the proposed data concept matches the concept of characteristics (Merkmale) of the automation industry.


title: One-Dimensional Quantum Systems - From Few to Many Particles

abstract: In this thesis, I go through the well-known solutions to the one and two-particle systems trapped in a quantum harmonic oscillator and then continue to the three, four and many-body quantum systems. This is done by developing new analytical models and numerical methods both for the few- and many-body systems. One-dimensional systems are very interesting in a sense that particles aligned on a line can only change seats by going through each other. This property can be exploited in the strongly interacting regime, where particles are forced to sit in a specific configuration, which can be easily manipulated. The knowledge of how and where the particles are can be exploited in future quantum applications. In short, the thesis is about establishing a solid knowledge about everything that one needs to know about the one-dimensional few- and many-component interacting quantum systems trapped in harmonic oscillator potentials.


title: Consistent Valuation Across Curves Using Pricing Kernels

abstract: The general problem of asset pricing when the discount rate differs from the rate at which an asset's cash flows accrue is considered. A pricing kernel framework is used to model an economy that is segmented into distinct markets, each identified by a yield curve having its own market, credit and liquidity risk characteristics. The proposed framework precludes arbitrage within each market, while the definition of a curve-conversion factor process links all markets in a consistent arbitrage-free manner. A pricing formula is then derived, referred to as the across-curve pricing formula, which enables consistent valuation and hedging of financial instruments across curves (and markets). As a natural application, a consistent multi-curve framework is formulated for emerging and developed inter-bank swap markets, which highlights an important dual feature of the curve-conversion factor process. Given this multi-curve framework, existing multi-curve approaches based on HJM and rational pricing kernel models are recovered, reviewed and generalised, and single-curve models extended. In another application, inflation-linked, currency-based, and fixed-income hybrid securities are shown to be consistently valued using the across-curve valuation method.


title: Extended Mittag-Leffler Function and truncated $\nu$-fractional derivatives

abstract: The main objective of this article is to present $\nu$-fractional derivative $\mu$-differentiable functions by considering 4-parameters extended Mittag-Leffler function (MLF). We investigate that the new $\nu$-fractional derivative satisfies various properties of order calculus such as chain rule, product rule, Rolle's and mean-value theorems for $\mu$-differentiable function and its extension. Moreover, we define the generalized form of inverse property and the fundamental theorem of calculus and the mean-value theorem for integrals. Also, we establish a relationship with fractional integral through truncated $\nu$-fractional integral.


title: Energy-preserving Variational Integrators for Forced Lagrangian Systems

abstract: The goal of this paper is to develop energy-preserving variational integrators for time-dependent mechanical systems with forcing. We first present the Lagrange-d'Alembert principle in the extended Lagrangian mechanics framework and derive the extended forced Euler-Lagrange equations in continuous-time. We then obtain the extended forced discrete Euler-Lagrange equations using the extended discrete mechanics framework and derive adaptive time step variational integrators for time-dependent Lagrangian systems with forcing. We consider two numerical examples to study the numerical performance of energy-preserving variational integrators. First, we consider the example of a nonlinear conservative system to illustrate the advantages of using adaptive time-stepping in variational integrators. We show a trade-off between energy-preserving performance and accurate discrete trajectories while choosing an initial time step. In addition, we demonstrate how the implicit equations become more ill-conditioned as the adaptive time step increases through a condition number analysis. As a second example, we numerically simulate a damped harmonic oscillator using the adaptive time step variational integrator framework. The adaptive time step increases monotonically for the dissipative system leading to unexpected energy behavior.


title: Boundedness and compactness characterizations of Cauchy integral commutators on Morrey spaces

abstract: Let $C_\Gamma$ be the Cauchy integral operator on a Lipschitz curve $\Gamma$. In this article, the authors show that the commutator $[b,C_\Gamma]$ is bounded (resp., compact) on the Morrey space $L^{p,\,\lambda}(\mathbb R)$ for any (or some) $p\in(1, \infty)$ and $\lambda\in(0, 1)$ if and only if $b\in {\rm BMO}(\mathbb R)$ (resp., ${\rm CMO}(\mathbb R)$). As an application, a factorization of the classical Hardy space $H^1(\mathbb R)$ in terms of $C_\Gamma$ and its adjoint operator is obtained.


title: The proof of conjecture of Brutman and Passow

abstract: We consider the conjecture of Brutman and Pasow on a totality divided differences and prove the conjecture for continuous functions.


title: A fast ADI algorithm for nonlinear Poisson equation in heterogeneous dielectric media

abstract: Recently, a nonlinear Poisson equation has been introduced to model nonlinear and nonlocal hyperpolarization effects in electrostatic solute-solvent interaction for biomolecular solvation analysis. Due to a strong nonlinearity associated with the heterogeneous dielectric media, this Poisson model is difficult to solve numerically, particularly for large protein systems. A new pseudo-transient continuation approach is proposed in this paper to efficiently and stably solve the nonlinear Poisson equation. A Douglas type alternating direction implicit (ADI) method is developed for solving the pseudo-time dependent Poisson equation. Different approximations to the dielectric profile in heterogeneous media are considered in the standard finite difference discretization. The proposed ADI scheme is validated by considering benchmark examples with exact solutions and by solvation analysis of real biomolecules with various sizes. Numerical results are in good agreement with the theoretical prediction, experimental measurements, and those obtained from the boundary value problem approach. Since the time stability of the proposed ADI scheme can be maintained even using very large time increments, it is efficient for electrostatic analysis involving hyperpolarization effects.


title: Cellular UAV-to-X Communications: Design and Optimization for Multi-UAV Networks

abstract: In this paper, we consider a single-cell cellular network with a number of cellular users (CUs) and unmanned aerial vehicles (UAVs), in which multiple UAVs upload their collected data to the base station (BS). Two transmission modes are considered to support the multi-UAV communications, i.e., UAV-to-infrastructure (U2I) and UAV-to-UAV (U2U) communications. Specifically, the UAV with a high signal to noise ratio (SNR) for the U2I link uploads its collected data directly to the BS through U2I communication, while the UAV with a low SNR for the U2I link can transmit data to a nearby UAV through underlaying U2U communication for the sake of quality of service. We first propose a cooperative UAV sense-and-send protocol to enable the UAV-to-X communications, and then formulate the subchannel allocation and UAV speed optimization problem to maximize the uplink sum-rate. To solve this NP-hard problem efficiently, we decouple it into three sub-problems: U2I and cellular user (CU) subchannel allocation, U2U subchannel allocation, and UAV speed optimization. An iterative subchannel allocation and speed optimization algorithm (ISASOA) is proposed to solve these sub-problems jointly. Simulation results show that the proposed ISASOA can upload 10\% more data than the greedy algorithm.


title: On a certain extension of the Riemann-Liouville fractional derivative operator

abstract: The main aim of this present paper is to present a new extension of the fractional derivative operator by using the extension of Beta function recently defined by Shadab et al.[19]. Moreover, we establish some results related to the newly defined modified fractional derivative operator such as Mellin transform and relations to extended hypergeometric and Appell's function via generating functions.


title: The self-justifying Elo rating system

abstract: We suggest an improvement of the Elo rating system. Whereas Elo's theoretical background remains unaffected, we significantly change the way in which rating values are adjusted. It turns out that the modified system behaves much more naturally, and that it offers several advantages over the classical one. The key idea is a fixed point approach to the definition of the rating values. We provide an algorithm for the purpose of their computation.


title: Bounds for some entropies and special functions

abstract: We consider a family of probability distributions depending on a real parameter and including the binomial, Poisson and negative binomial distributions. The corresponding index of coincidence satisfies a Heun differential equation and is a logarithmically convex function. Combining these facts we get bounds for the index of coincidence, and consequently for R\'{e}nyi and Tsallis entropies of order $2$.


title: Heun functions related to entropies

abstract: We consider the indices of coincidence for the binomial, Poisson, and negative binomial distributions. They are related in a simple manner to the R\'{e}nyi entropy and Tsallis entropy. We investigate some families of Heun functions containing these indices of coincidence. For the involved Heun functions we obtain closed forms, explicit expressions, or representations in terms of hypergeometric functions.


title: Two-stack-sorting with pop stacks

abstract: We consider the set of permutations that are sorted after two passes through a pop stack. We characterize these permutations in terms of forbidden patterns (classical and barred) and enumerate them according to the ascent statistic. Then we show these permutations to be in bijection with a special family of polyominoes. As a consequence, the permutations sortable by this machine are shown to have the same enumeration as three classical permutation classes.


title: Means of iterates

abstract: We determine continuous bijections $f$, acting on a real interval into itself, whose $k$-fold iterate is the quasi-arithmetic mean of all its subsequent iterates from $f^0$ up to $f^n$ (where $0\le k\le n$). Namely, we prove that if at most one of the numbers $k,n$ is odd, then such functions consist of at most three affine pieces.


title: Divide and Recombine for Large and Complex Data: Model Likelihood Functions using MCMC

abstract: In Divide & Recombine (D&R), big data are divided into subsets, each analytic method is applied to subsets, and the outputs are recombined. This enables deep analysis and practical computational performance. An innovate D\&R procedure is proposed to compute likelihood functions of data-model (DM) parameters for big data. The likelihood-model (LM) is a parametric probability density function of the DM parameters. The density parameters are estimated by fitting the density to MCMC draws from each subset DM likelihood function, and then the fitted densities are recombined. The procedure is illustrated using normal and skew-normal LMs for the logistic regression DM.


title: Extremal Polynomials and Entire Functions of Exponential Type

abstract: In this paper, we discuss asymptotic relations for the approximation of $\left\vert x\right\vert ^{\alpha},\alpha>0$ in $L_{\infty}\left[ -1,1\right] $ by Lagrange interpolation polynomials based on the zeros of the Chebyshev polynomials of first kind. The limiting process reveals an entire function of exponential type for which we can present an explicit formula. As a consequence, we further deduce an asymptotic relation for the Approximation error when $\alpha\rightarrow\infty$. Finally, we present connections of our results together with some recent work of Ganzburg [5] and Lubinsky [10], by presenting numerical results, indicating a possible constructive way towards a representation for the Bernstein constants.


title: Application of integral equations to neutrino mass searches in beta decay

abstract: A new mathematical method for elucidating neutrino mass from beta decay is studied. It is based upon the solutions of transformed Fredholm and Volterra integral equations. In principle, theoretical beta-particle spectra can consist of several neutrino-mass eigenvalues. Integration of the theoretical beta spectrum with a normalized instrumental response function results in the Fredholm integral equation of the first kind. This equation is transformed in such a way that the solution of it is a superposition of the Heaviside step-functions, one for each neutrino mass eigenvalue. A series expansion leading to matrix linear equations is then derived to solve the transformed Fredholm equation. Another approach is derived when the theoretical beta spectrum is obtained by a separate deconvolution of the observed spectrum. It is then proven that the transformed Fredholm equation reduces to the Abel integral equation. The Abel equation has a general integral solution, which is proven in this work by using a specific function for the beta spectrum. As an example, a numerical solution of the Abel integral equation is also provided, which has a fractional sensitivity of about 0.001 for subtle neutrino eigenvalue searches, and can distinguish from experimental beta-spectrum discrepancies, such as shape and energy nonlinearities.


title: Numerically exact full counting statistics of the nonequilibrium Anderson impurity model

abstract: The time dependent full counting statistics of charge transport through an interacting quantum junction is evaluated from its generating function, controllably computed with the inchworm Monte Carlo method. Exact noninteracting results are reproduced; then, we continue to explore the effect of electron--electron interactions on the time-dependent charge cumulants, first-passage time distributions and $n$-electron transfer distributions. We observe a crossover in the noise from Coulomb blockade- to Kondo-dominated physics as the temperature is decreased. In addition, we uncover long-tailed spin distributions in the Kondo regime and analyze queuing behavior caused by correlations between single electron transfer events.


title: Poisson baseline of net-charge fluctuations in the relativistic heavy ion collisions

abstract: Taking doubly charged particles, positive-negative charge pair production and the effects of volume fluctuations into account, the Poisson baseline of the fluctuations of net-charge is studied. Within the Poisson baseline, the cumulants of net-charge are derived. Comparing to the Skellam baseline of net-charge, we infer that doubly charged particles broaden the distributions of net-charge, while positive-negative charge pairs narrow the distributions. Using the ratios of doubly charged particles and positive-negative charge pairs from neutral resonance decays to the total positive charges from THERMINATOR 2, the first four orders of moments and the corresponding moment products are calculated in the Poisson baseline for Au + Au collisions at $\sqrt{s_{NN}}$ = 200 GeV at RHIC/STAR. We find that the standard deviation is mainly influenced by the resonance decay, while the third and fourth order moments and corresponding moment products are mainly modified and fit the data of RHIC/STAR much better after including the effects of volume fluctuations.


title: Feedforward and feedback control of locked mode phase and rotation in DIII-D with application to modulated ECCD experiments

abstract: The toroidal phase and rotation of otherwise locked magnetic islands of toroidal mode number n=1 are controlled in the DIII-D tokamak by means of applied magnetic perturbations of n=1. Pre-emptive perturbations were applied in feedforward to "catch" the mode as it slowed down and entrain it to the rotating field before complete locking, thus avoiding the associated major confinement degradation. Additionally, for the first time, the phase of the perturbation was optimized in real-time, in feedback with magnetic measurements, in order for the mode's phase to closely match a prescribed phase, as a function of time. Experimental results confirm the capability to hold the mode in a given fixed-phase or to rotate it at up to 20 Hz with good uniformity. The control coil currents utilized in the experiments agree with the requirements estimated by an electromechanical model. Moreover, controlled rotation at 20 Hz was combined with Electron Cyclotron Current Drive (ECCD) modulated at the same frequency. This is simpler than regulating the ECCD modulation in feedback with spontaneous mode rotation, and enables repetitive, reproducible ECCD deposition at or near the island O-point, X-point and locations in between, for careful studies of how this affects the island stability. Current drive was found to be radially misaligned relative to the island, and resulting growth and shrinkage of islands matched expectations of the Modified Rutherford Equation for some discharges presented here. Finally, simulations predict the as designed ITER 3D coils can entrain a small island at sub-10 Hz frequencies.


title: Exact distribution of spacing ratios for random and localized states in quantum chaotic systems

abstract: Typical eigenstates of quantum systems, whose classical limit is chaotic, are well approximated as random states. Corresponding eigenvalue spectra is modeled through appropriate ensemble of random matrix theory. However, a small subset of states violate this principle and display eigenstate localization, a counter-intuitive feature known to arise due to purely quantum or semiclassical effects. In the spectrum of chaotic systems, the localized and random states interact with one another and modifies the spectral statistics. In this work, a $3 \times 3$ random matrix model is used to obtain exact result for the ratio of spacing between a generic and localized state. We consider time-reversal-invariant as well as non-invariant scenarios. These results agree with the spectra computed from realistic physical systems that display localized eigenmodes.


title: Dynamics of Charged Viscous Dissipative Cylindrical Collapse With Full Causal Approach

abstract: The aim of this paper is to investigate the dynamical aspects of charged viscous cylindrical source by using Misner approach. To this end, we have considered the more general charged dissipative fluid enclosed by the cylindrical symmetric spacetime. The dissipative nature of the source is due to the presence of dissipative variables in the stress-energy tensor. The dynamical equations resulting from such charged cylindrical dissipative source have been coupled with the causal transport equations for heat flux, shear and bulk viscosity, in the context of Israel-Steward theory. In this case, we have the considered the Israel-Steward transportation equations without excluding the thermodynamics viscous/heat coupling coefficients. The results are compared with the previous works in which such coefficients were excluded and viscosity variables do not satisfy the casual transportation equations.


title: Axiomatic Information Thermodynamics

abstract: We present an axiomatic framework for thermodynamics that incorporates information as a fundamental concept. The axioms describe both ordinary thermodynamic processes and those in which information is acquired, used and erased, as in the operation of Maxwell's demon. This system, like previous axiomatic systems for thermodynamics, supports the construction of conserved quantities and an entropy function governing state changes. Here, however, the entropy exhibits both information and thermodynamic aspects. Although our axioms are not based upon probabilistic concepts, a natural and highly useful concept of probability emerges from the entropy function itself. Our abstract system has many models, including both classical and quantum examples.


title: Beyond Falsifiability: Normal Science in a Multiverse

abstract: Cosmological models that invoke a multiverse - a collection of unobservable regions of space where conditions are very different from the region around us - are controversial, on the grounds that unobservable phenomena shouldn't play a crucial role in legitimate scientific theories. I argue that the way we evaluate multiverse models is precisely the same as the way we evaluate any other models, on the basis of abduction, Bayesian inference, and empirical success. There is no scientifically respectable way to do cosmology without taking into account different possibilities for what the universe might be like outside our horizon. Multiverse theories are utterly conventionally scientific, even if evaluating them can be difficult in practice.


title: Hypergraph based Subnetwork Extraction using Fusion of Task and Rest Functional Connectivity

abstract: Functional subnetwork extraction is commonly used to explore the brain's modular structure. However, reliable subnetwork extraction from functional magnetic resonance imaging (fMRI) data remains challenging due to the pronounced noise in neuroimaging data. In this paper, we proposed a high order relation informed approach based on hypergraph to combine the information from multi-task data and resting state data to improve subnetwork extraction. Our assumption is that task data can be beneficial for the subnetwork extraction process, since the repeatedly activated nodes involved in diverse tasks might be the canonical network components which comprise pre-existing repertoires of resting state subnetworks. Our proposed high order relation informed subnetwork extraction based on a strength information embedded hypergraph, (1) facilitates the multisource integration for subnetwork extraction, (2) utilizes information on relationships and changes between the nodes across different tasks, and (3) enables the study on higher order relations among brain network nodes. On real data, we demonstrated that fusing task activation, task-induced connectivity and resting state functional connectivity based on hypergraphs improves subnetwork extraction compared to employing a single source from either rest or task data in terms of subnetwork modularity measure, inter-subject reproducibility, along with more biologically meaningful subnetwork assignments.


title: Robust port-Hamiltonian representations of passive systems

abstract: We discuss the problem of robust representations of stable and passive transfer functions in particular coordinate systems, and focus in particular on the so-called port-Hamiltonian representations. Such representations are typically far from unique and the degrees of freedom are related to the solution set of the so-called Kalman-Yakubovich-Popov linear matrix inequality (LMI). In this paper we analyze robustness measures for the different possible representations and relate it to quality functions defined in terms of the eigenvalues of the matrix associated with the LMI. In particular, we look at the analytic center of this LMI. From this, we then derive inequalities for the passivity radius of the given model representation.


title: Absolute stability window and upper bound on the magnetic field strength in a strongly magnetized strange quark star

abstract: Magnetized strange quark stars, composed of strange quark matter (SQM) and self-bound by strong interactions, can be formed if the energy per baryon of magnetized SQM is less than that of the most stable $^{56}$Fe nucleus under the zero external pressure and temperature. Utilizing the MIT bag model description of magnetized SQM under charge neutrality and beta equilibrium conditions, the corresponding absolute stability window in the parameter space of the theory is determined. It is shown that there exists the maximum magnetic field strength allowed by the condition of absolute stability of magnetized SQM. The value of this field, $H\sim3\cdot10^{18}$ G, represents the upper bound on the magnetic field strength which can be reached in a strongly magnetized strange quark star.


title: Ultrathin Films of Superconducting Metals as a Platform for Topological Superconductivity

abstract: The ingredients normally required to achieve topological superconductivity (TSC) are Cooper pairing, broken inversion symmetry, and broken time-reversal symmetry. We present a theoretical exploration of the possibility of using ultra-thin films of superconducting metals as a platform for TSC. Because they necessarily break inversion symmetry when prepared on a substrate and have intrinsic Cooper pairing, they can be TSCs when time-reversal symmetry is broken by an external magnetic field. Using microscopic density functional theory calculations we show that for ultrathin Pb and $\beta$-Sn superconductors the position of the Fermi level can be tuned to quasi-2D band extrema energies using strain, and that the $g$-factors of these Bloch states can be extremely large enhancing the influence of external magnetic fields.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con quant-ph


title: Real-time imaging of interfacial damage in layered composites

abstract: A theoretical platform is developed for active elastic-wave sensing of (stationary and advancing) fractures along bi-material interfaces in layered composites. Damaged contact surfaces are characterized by a heterogeneous distribution of (elastic) stiffness $\boldsymbol{K}$ which is a-priori unknown. The proposed imaging functional takes advantage of sequential wavefield measurements for non-iterative and concurrent reconstruction of multiple fractures in heterogeneous domains, with an exceptional spatial resolution and with minimal sensitivity to measurement errors and uncertain elasticity of damage zones. This is accomplished through adaptation of the $F_\sharp$-factorization method (FM) applied to elastodynamic wavefields in a sensing sequence i.e. a measurement campaign performed before and after the formation (or evolution) of interfacial fractures. The direct scattering problem is formulated in the frequency domain where the damage support is illuminated by a set of incident P- and S-waves, and thus-induced scattered waves are monitored at the far field. In this setting, the germane mixed reciprocity principle is introduced, and $F_\sharp$-factorization of the differential scattering operator is rigorously established for composite backgrounds. These results lead to the development of an FM-based fracture indicator whose affiliated cost functional is inherently convex, thus, its minimizer can be computed without iterations. This attribute coupled with the reduced sampling space, proposed in this work, remarkably expedite the data inversion process. The performance of proposed imaging functional is demonstrated by a set of numerical experiments.


title: Wormhole Geometry and Noether Symmetry in f(R) Gravity

abstract: This paper investigates the geometry of static traversable wormhole through Noether symmetry approach in $f(R)$ gravity. We take perfect fluid distribution and formulate symmetry generators with associated conserved quantities corresponding to general form, power-law and exponential $f(R)$ models. In each case, we evaluate wormhole solutions using constant and variable red-shift functions. We analyze the behavior of shape function, viability of constructed $f(R)$ model and stability of wormhole solutions graphically. The physical existence of wormhole solutions can be examined through null/weak energy conditions of perfect fluid and null energy condition of the effective energy-momentum tensor. The graphical interpretation of constructed wormhole solutions ensures the existence of physically viable and traversable wormholes for all models. It is concluded that the constructed wormholes are found to be stable in most of the cases.


title: Noncommutative Black Holes at the LHC

abstract: Based on the latest public results, 13 TeV data from the Large Hadron Collider at CERN has not indicated any evidence of hitherto tested models of quantum black holes, semiclassical black holes, or string balls. Such models have predicted signatures of particles with high transverse momenta. Noncommutative black holes remain an untested model of TeV- scale gravity that offers the starkly different signature of particles with relatively low transverse momenta. Considerations for a search for charged noncommutative black holes using the ATLAS detector will be discussed.


title: What are The Suitable Instructional Strategy and Media for Student Learning Styles in Middle Schools?

abstract: This study aims to find out what instructional strategy and media more properly based on learning styles in middle schools. For this purpose, 307 students of 7th to 9th grade from three middle schools were the respondents. Index Learning Styles was used to know the student learning styles based on Felder-Silverman learning styles. The students were also asked with the questions to know what instructional strategy and media they like much. The results show instructional strategies that could be applicated in middle schools are; question and answer methods, student presentations, games and simulations, lectures, problem solving based learning, role playing, and panel discussions. Instructional media that could be applicated are; pictures, graphics, videos, simulations, online group learning, newspapers, chatting/messenger, powerpoint slides, computer animations, book/e-book, magazines, audio recorded, and email. This is than checked off with the combinations of student learning style to get the most suitable one.


title: Top Quark Modeling and Generators in CMS

abstract: Recent top quark event modeling studies done using LHC proton-proton collision data collected with the CMS detector at centre of mass energies of 8 and 13 TeV and state-of-the-art theoretical predictions are summarized. A new factorized approach for parton shower uncertainties is presented. A top quark specific PYTHIA8 CMS tune, along with tunes using new color reconnection models, is discussed. The possibility of having a consistent choice of parton distribution function in the matrix element and the parton shower is demonstrated with tunes constructed with leading, next-to-leading, and next-to-next-to-leading order versions of NNPDF3.1 set compared to minimum bias and underlying event data.


title: Thermal noise limited higher-order mode locking of a reference cavity

abstract: Higher-order mode locking has been proposed to reduce the thermal noise limit of reference cavities. By locking a laser to the HG02 mode of a 10-cm long all ULE cavity, and measure its performance with the three-cornered-hat method among three independently stabilized lasers, we demonstrate a thermal noise limited performance of a fractional frequency instability of 4.9E-16. The results match the theoretical models with higher-order optical modes. The achieved laser instability improves the all ULE short cavity results to a new low level.


title: Radion tunneling in modified theories of gravity

abstract: We consider a five dimensional warped spacetime where the bulk geometry is governed by higher curvature $F(R)$ gravity. In this model, we determine the modulus potential originating from the scalar degree of freedom of higher curvature gravity. In the presence of this potential, we investigate the possibility of modulus (radion) tunneling leading to an instability in the brane configuration. Our results reveal that the parametric regions where the tunneling probability is highly suppressed, corresponds to the parametric values required to resolve the gauge hierarchy problem.


title: CompEx II: A Pathway in Search of BSM Physics using Compton Scattering

abstract: Constancy and anisotropy of vacuum refractive index serves as a strong way to probe the predictions of theories beyond the standard model (BSM), especially those that predict breaking of local Lorentz and CPT symmetries. For photons of energies in the ranges $9-46$ MeV using a $1.16$ GeV electron beam, a constraint on vacuum refractive index, $(n-1) < 1.4 \times 10^{-8}$ was imposed using the Compton polarimeter in Hall - C of Jefferson Lab (JLab). Absence of sidereal modulation of the vacuum refractive index was then used to constrain the Minimal Standard Model Extension (MSME) parameters of $\sqrt{\kappa_X^2 + \kappa_Y^2} < 8.6 \times 10^{-10}$. These preliminary set of measurements will be followed up by measurements using the $11$ GeV electron beam at JLab with a sensitivity better than current leading constraints by a factor of $4-8$. Furthermore, quantum gravity models predict crystalline nature of space at Planck scales which may manifest as vacuum birefringence that can be probed by Compton scattering using circularly polarized light. We show that future facilities such as the ILC provide tantalizingly interesting possibilities.


title: Compositional Correlation for Detecting Real Associations Among Time Series

abstract: Correlation remains to be one of the most widely used statistical tools for assessing the strength of relationships between data series. This paper presents a novel compositional correlation method for detecting linear and nonlinear relationships by considering the averages of all parts of all possible compositions of the data series instead of considering the averages of the whole series. The approach enables cumulative contribution of all local associations to the resulting correlation value. The method is applied on two different datasets: a set of four simple nonlinear polynomial functions and the expression time series data of 4381 budding yeast (saccharomyces cerevisiae) genes. The obtained results show that the introduced compositional correlation method is capable of determining real direct and inverse linear, nonlinear and monotonic relationships. Comparisons with Pearson's correlation, Spearman's correlation, distance correlation and the simulated annealing genetic algorithm maximal information coefficient (SGMIC) have shown that the presented method is capable of detecting important associations which were not detected by the compared methods.


title: Detecting abnormal events in video using Narrowed Normality Clusters

abstract: We formulate the abnormal event detection problem as an outlier detection task and we propose a two-stage algorithm based on k-means clustering and one-class Support Vector Machines (SVM) to eliminate outliers. In the feature extraction stage, we propose to augment spatio-temporal cubes with deep appearance features extracted from the last convolutional layer of a pre-trained neural network. After extracting motion and appearance features from the training video containing only normal events, we apply k-means clustering to find clusters representing different types of normal motion and appearance features. In the first stage, we consider that clusters with fewer samples (with respect to a given threshold) contain mostly outliers, and we eliminate these clusters altogether. In the second stage, we shrink the borders of the remaining clusters by training a one-class SVM model on each cluster. To detected abnormal events in the test video, we analyze each test sample and consider its maximum normality score provided by the trained one-class SVM models, based on the intuition that a test sample can belong to only one cluster of normality. If the test sample does not fit well in any narrowed normality cluster, then it is labeled as abnormal. We compare our method with several state-of-the-art methods on three benchmark data sets. The empirical results indicate that our abnormal event detection framework can achieve better results in most cases, while processing the test video in real-time at 24 frames per second on a single CPU.


title: Dark matter admixed strange quark stars in the Starobinsky model

abstract: The properties of dark matter admixed strange quark stars are investigated in the Starobinsky model of modified gravity. For quark matter we assume the MIT bag model, while self-interacting dark matter inside the star is modelled as a Bose-Einstein condensate with a polytropic equation of state. We numerically integrate the structure equations in the Einstein frame adopting the two-fluid formalism treating the curvature correction term non-perturbatively. Our findings show that strange quark stars (in agreement with current observational constraints) with the highest masses are equally affected by dark matter and modified gravity.


title: AliMe Assist: An Intelligent Assistant for Creating an Innovative E-commerce Experience

abstract: We present AliMe Assist, an intelligent assistant designed for creating an innovative online shopping experience in E-commerce. Based on question answering (QA), AliMe Assist offers assistance service, customer service, and chatting service. It is able to take voice and text input, incorporate context to QA, and support multi-round interaction. Currently, it serves millions of customer questions per day and is able to address 85% of them. In this paper, we demonstrate the system, present the underlying techniques, and share our experience in dealing with real-world QA in the E-commerce field.


title: Adiabatic expansion of polytropic universe with varying cosmological constant: Models tested with observational data

abstract: We use two large collections of observational data of supernovae type Ia (SNe Ia) to investigate the polytropic Universe including the situation with a varying cosmological constant; details of our new derivations are presented. We examine the fitness of our new models of a polytropic Universe with two sets of SNe Ia data to test if these are better descriptions than the current standard model of cosmology. Beginning with the established relationships for polytropic matter we derive new equations describing the influence of polytropic matter on the expanding Universe including the situation with a varying cosmological constant. When the models derived here are tested with large sets of supernovae type I a data we find a significant influence of polytropic matter on the state of our expanding Universe. We find that one of our models with a varying {\Lambda} describes the SNe Ia data significantly better than the, {\Lambda}CDM, standard model.


title: The Perron-Frobenius theorem for multi-homogeneous mappings

abstract: The Perron-Frobenius theory for nonnegative matrices has been generalized to order-preserving homogeneous mappings on a cone and more recently to nonnegative multilinear forms. We unify both approaches by introducing the concept of order-preserving multi-homogeneous mappings, their associated nonlinear spectral problems and spectral radii. We show several Perron-Frobenius type results for these mappings addressing existence, uniqueness and maximality of nonnegative and positive eigenpairs. We prove a Collatz-Wielandt principle and other characterizations of the spectral radius and analyze the convergence of iterates of these mappings towards their unique positive eigenvectors. On top of providing a new extension of the nonlinear Perron-Frobenius theory to the multi-dimensional case, our contribution poses the basis for several improvements and a deeper understanding of the current spectral theory for nonnegative tensors. In fact, in recent years, important results have been obtained by recasting certain spectral equations for multilinear forms in terms of homogeneous maps, however as our approach is more adapted to such problems, these results can be further refined and improved by employing our new multi-homogeneous setting.


title: Homogenization of the first initial boundary-value problem for parabolic systems: operator error estimates

abstract: Let $\mathcal{O}\subset\mathbb{R}^d$ be a bounded domain of class $C^{1,1}$. In $L_2(\mathcal{O};\mathbb{C}^n)$, we consider a selfadjoint matrix second order elliptic differential operator $B_{D,\varepsilon}$, $0<\varepsilon\leqslant1$, with the Dirichlet boundary condition. The principal part of the operator is given in a factorized form. The operator involves first and zero order terms. The operator $B_{D,\varepsilon}$ is positive definite; its coefficients are periodic and depend on $\mathbf{x}/\varepsilon$. We study the behavior of the operator exponential $e^{-B_{D,\varepsilon}t}$, $t>0$, as $\varepsilon\rightarrow 0$. We obtain approximations for the exponential $e^{-B_{D,\varepsilon}t}$ in the operator norm on $L_2(\mathcal{O};\mathbb{C}^n)$ and in the norm of operators acting from $L_2(\mathcal{O};\mathbb{C}^n)$ to the Sobolev space $H^1(\mathcal{O};\mathbb{C}^n)$. The results are applied to homogenization of solutions of the first initial boundary-value problem for parabolic systems.


title: Configurations of points with sum 0

abstract: We compute the virtual Poincar\'e polynomials of the configuration space of $n$ ordered points on an elliptic curve with sum 0.


title: A fast new algorithm for weak graph regularity

abstract: We provide a deterministic algorithm that finds, in $\epsilon^{-O(1)} n^2$ time, an $\epsilon$-regular Frieze-Kannan partition of a graph on $n$ vertices. The algorithm outputs an approximation of a given graph as a weighted sum of $\epsilon^{-O(1)}$ many complete bipartite graphs. As a corollary, we give a deterministic algorithm for estimating the number of copies of $H$ in an $n$-vertex graph $G$ up to an additive error of at most $\epsilon n^{v(H)}$, in time $\epsilon^{-O_H(1)}n^2$.


title: An octree cells occupancy geometric dimensionality descriptor for massive on-server point cloud visualisation and classification

abstract: Lidar datasets are becoming more and more common. They are appreciated for their precise 3D nature, and have a wide range of applications, such as surface reconstruction, object detection, visualisation, etc. For all this applications, having additional semantic information per point has potential of increasing the quality and the efficiency of the application. In the last decade the use of Machine Learning and more specifically classification methods have proved to be successful to create this semantic information. In this paradigm, the goal is to classify points into a set of given classes (for instance tree, building, ground, other). Some of these methods use descriptors (also called feature) of a point to learn and predict its class. Designing the descriptors is then the heart of these methods. Descriptors can be based on points geometry and attributes, use contextual information, etc. Furthermore, descriptors can be used by humans for easier visual understanding and sometimes filtering. In this work we propose a new simple geometric descriptor that gives information about the implicit local dimensionality of the point cloud at various scale. For instance a tree seen from afar is more volumetric in nature (3D), yet locally each leaves is rather planar (2D). To do so we build an octree centred on the point to consider, and compare the variation of the occupancy of the cells across the levels of the octree. We compare this descriptor with the state of the art dimensionality descriptor and show its interest. We further test the descriptor for classification within the Point Cloud Server, and demonstrate efficiency and correctness results.


title: Global Convergence of Policy Gradient Methods for the Linear Quadratic Regulator

abstract: Direct policy gradient methods for reinforcement learning and continuous control problems are a popular approach for a variety of reasons: 1) they are easy to implement without explicit knowledge of the underlying model 2) they are an "end-to-end" approach, directly optimizing the performance metric of interest 3) they inherently allow for richly parameterized policies. A notable drawback is that even in the most basic continuous control problem (that of linear quadratic regulators), these methods must solve a non-convex optimization problem, where little is understood about their efficiency from both computational and statistical perspectives. In contrast, system identification and model based planning in optimal control theory have a much more solid theoretical footing, where much is known with regards to their computational and statistical properties. This work bridges this gap showing that (model free) policy gradient methods globally converge to the optimal solution and are efficient (polynomially so in relevant problem dependent quantities) with regards to their sample and computational complexities.


title: Student Beats the Teacher: Deep Neural Networks for Lateral Ventricles Segmentation in Brain MR

abstract: Ventricular volume and its progression are known to be linked to several brain diseases such as dementia and schizophrenia. Therefore accurate measurement of ventricle volume is vital for longitudinal studies on these disorders, making automated ventricle segmentation algorithms desirable. In the past few years, deep neural networks have shown to outperform the classical models in many imaging domains. However, the success of deep networks is dependent on manually labeled data sets, which are expensive to acquire especially for higher dimensional data in the medical domain. In this work, we show that deep neural networks can be trained on much-cheaper-to-acquire pseudo-labels (e.g., generated by other automated less accurate methods) and still produce more accurate segmentations compared to the quality of the labels. To show this, we use noisy segmentation labels generated by a conventional region growing algorithm to train a deep network for lateral ventricle segmentation. Then on a large manually annotated test set, we show that the network significantly outperforms the conventional region growing algorithm which was used to produce the training labels for the network. Our experiments report a Dice Similarity Coefficient (DSC) of $0.874$ for the trained network compared to $0.754$ for the conventional region growing algorithm ($p < 0.001$).


title: Panel Data Quantile Regression with Grouped Fixed Effects

abstract: This paper introduces estimation methods for grouped latent heterogeneity in panel data quantile regression. We assume that the observed individuals come from a heterogeneous population with a finite number of types. The number of types and group membership is not assumed to be known in advance and is estimated by means of a convex optimization problem. We provide conditions under which group membership is estimated consistently and establish asymptotic normality of the resulting estimators. Simulations show that the method works well in finite samples when T is reasonably large. To illustrate the proposed methodology we study the effects of the adoption of Right-to-Carry concealed weapon laws on violent crime rates using panel data of 51 U.S. states from 1977 - 2010.


title: Centralized "big science" communities more likely generate non-replicable results

abstract: Growing concern that most published results, including those widely agreed upon, may be false are rarely examined against rapidly expanding research production. Replications have only occurred on small scales due to prohibitive expense and limited professional incentive. We introduce a novel, high-throughput replication strategy aligning 51,292 published claims about drug-gene interactions with high-throughput experiments performed through the NIH LINCS L1000 program. We show (1) that unique claims replicate 19% more frequently than at random, while those widely agreed upon replicate 45% more frequently, manifesting collective correction mechanisms in science; but (2) centralized scientific communities perpetuate claims that are less likely to replicate even if widely agreed upon, demonstrating how centralized, overlapping collaborations weaken collective understanding. Decentralized research communities involve more independent teams and use more diverse methodologies, generating the most robust, replicable results. Our findings highlight the importance of science policies that foster decentralized collaboration to promote robust scientific advance.


title: Resistance growth of branching random networks

abstract: Consider a rooted infinite Galton-Watson tree with mean offspring number $m>1$, and a collection of i.i.d. positive random variables $\xi_e$ indexed by all the edges in the tree. We assign the resistance $m^d \xi_e$ to each edge $e$ at distance $d$ from the root. In this random electric network, we study the asymptotic behavior of the effective resistance and conductance between the root and the vertices at depth $n$. Our results generalize an existing work of Addario-Berry, Broutin and Lugosi on the binary tree to random branching networks.


title: Descendants of the first stars: the distinct chemical signature of second generation stars

abstract: Extremely metal-poor (EMP) stars in the Milky Way (MW) allow us to infer the properties of their progenitors by comparing their chemical composition to the metal yields of the first supernovae. This method is most powerful when applied to mono-enriched stars, i.e. stars that formed from gas that was enriched by only one previous supernova. We present a novel diagnostic to identify this subclass of EMP stars. We model the first generations of star formation semi-analytically, based on dark matter halo merger trees that yield MW-like halos at the present day. Radiative and chemical feedback are included self-consistently and we trace all elements up to zinc. Mono-enriched stars account for only $\sim 1\%$ of second generation stars in our fiducial model and we provide an analytical formula for this probability. We also present a novel analytical diagnostic to identify mono-enriched stars, based on the metal yields of the first supernovae. This new diagnostic allows us to derive our main results independently from the specific assumptions made regarding Pop III star formation, and we apply it to a set of observed EMP stars to demonstrate its strengths and limitations. Our results may provide selection criteria for current and future surveys and therefore contribute to a deeper understanding of EMP stars and their progenitors.


title: Two-dimensional Dirac fermion in presence of an asymmetric vector potential

abstract: We introduce the new, exactly solvable model of the two-dimensional Dirac fermion in presence of an asymmetric, P\"oschl-Teller-like vector potential. Utilizing the translation invariance of the system, the effective one-dimensional stationary equation is brought into the form of the Heun equation and its fundamental solutions are found as an irreducible combination of two Gauss hypergeometric functions. The energy spectrum and the scattering is studied in dependence on the conserved longitudinal momentum as well as on the strength of the coupling.

categories: hep-th cond-mat.mes-hall math-ph math.MP quant-ph


title: Attojoule-Efficient Graphene Optical Modulators

abstract: Electro-optic modulation is a technology-relevant function for signal keying, beam steering, or neuromorphic computing through providing the nonlinear activation function of a perceptron. With silicon-based modulators being bulky and inefficient, we here discuss graphene-based devices heterogeneously integrated. This study provides a critical and encompassing discussing of the physics and performance of graphene modulators rather than collecting relevant published work. We provide a holistic analysis of the underlying physics of modulators including the graphenes index tunability, the underlying optical mode, and discuss resulting performance vectors of this novel class of hybrid modulators. Our results show that the reducing the modal area, and reducing the effective broadening of the active material are key to improving device performance defined by the ratio of energy-bandwidth and footprint. We further show how the waveguides polarization must be in-plane with graphene such as given by plasmonic-slot structures. A high device performance can be obtained by introducing multi- or bi-layer graphene modulator designs. Lastly, we present recent results of a graphene-based hybrid-photon-plasmon modulator on a silicon platform, requiring near Boltzmann approximation (100mV) low drive voltages. Being physically compact this 100 aJ/bit modulator opens the path towards a new class of attojoule opto-electronics.


title: Privacy attitudes and concerns in the digital lives of older adults: Westin's privacy attitude typology revisited

abstract: There is a growing literature on teenage and young adult users' attitudes toward and concerns about online privacy, yet little is known about older adults and their unique experiences. As older adults join the digital world in growing numbers, we need to gain a better understanding of how they experience and navigate online privacy. This paper fills this research gap by examining 40 in-depth interviews with older adults (65 and older) living in East York, Toronto. We found Westin's typology to be a useful starting point for understanding privacy attitudes and concerns in this demographic. We expand Westin's typology and distinguish five categories: fundamentalist, intense pragmatist, relaxed pragmatist, marginally concerned, and cynical expert. We find that older adults are not a homogenous group composed of privacy fundamentalists; rather, there is considerable variability in terms of their privacy attitudes, with only 13 per cent being fundamentalists. We also identify a group of cynical experts who believe that online privacy breaches are inevitable. A large majority of older adults are marginally concerned, as they see their online participation as limited and harmless. Older adults were also grouped as either intense or relaxed pragmatists. We find that some privacy concerns are shared by older adults across several categories, the most common being spam, unauthorized access to personal information, and information misuse. We discuss theoretical implications based on the findings for our understanding of privacy in the context of older adults' digital lives and discuss implications for offering training appropriate for enhancing privacy literacy in this age group.


title: Latent nested nonparametric priors

abstract: Discrete random structures are important tools in Bayesian nonparametrics and the resulting models have proven effective in density estimation, clustering, topic modeling and prediction, among others. In this paper, we consider nested processes and study the dependence structures they induce. Dependence ranges between homogeneity, corresponding to full exchangeability, and maximum heterogeneity, corresponding to (unconditional) independence across samples. The popular nested Dirichlet process is shown to degenerate to the fully exchangeable case when there are ties across samples at the observed or latent level. To overcome this drawback, inherent to nesting general discrete random measures, we introduce a novel class of latent nested processes. These are obtained by adding common and group-specific completely random measures and, then, normalising to yield dependent random probability measures. We provide results on the partition distributions induced by latent nested processes, and develop an Markov Chain Monte Carlo sampler for Bayesian inferences. A test for distributional homogeneity across groups is obtained as a by product. The results and their inferential implications are showcased on synthetic and real data.


title: Conceptualizing and Evaluating Replication Across Domains of Behavioral Research

abstract: We discuss the authors' conceptualization of replication, in particular the false dichotomy of direct versus conceptual replication intrinsic to it, and suggest a broader one that better generalizes to other domains of psychological research. We also discuss their approach to the evaluation of replication results and suggest moving beyond their dichotomous statistical paradigms and employing hierarchical / meta-analytic statistical models.


title: Constitutive modeling of some 2D crystals: graphene, hexagonal BN, MoS$_2$, WSe$_2$ and NbSe$_2$

abstract: We lay down a nonlinear elastic constitutive framework for the modeling of some 2D crystals of current interest. The 2D crystals we treat are graphene, hexagonal boron nitride and some metal dichalcogenides: molybdenium disulfide (MoS$_2$), tungsten selenium (WSe$_2$), and niobium diselenide (NbSe$_2$). We first find their arithmetic symmetries by using the theory of monoatomic and diatomic 2-nets. Then, by confinement to weak transformation neighbourhoods and by applying the Cauchy-Born rule we are able to use the symmetries continuum mechanics utilizes: geometric symmetries. We give the complete and irreducible representation for energies depending on an in-plane measure, the curvature tensor and the shift vector. This is done for the symmetry hierarchies that describe how symmetry changes at the continuum level: $\mathcal C_{6 \nu} \rightarrow \mathcal C_{2 \nu} \rightarrow \mathcal C_1$ for monoatomic 2-nets and $\mathcal C_{6 \nu} \rightarrow \mathcal C_{1 \nu} \rightarrow \mathcal C_1$ for diatomic two nets. Having these energies at hand we are able to evaluate stresses and couple stresses for each symmetry regime.


title: Controlling phase of microwaves with active graphene surfaces

abstract: In this letter, we report a method to control reflection phase of microwaves using electrically tunable graphene devices. The device consists of mutually gated large-area graphene layers placed at a quarter-wave distance from a metallic surface. This device structure yields electrically tunable resonance absorbance and step-like phase shift around the resonance frequency when the impedance of graphene matches with the free space impedance. Electrostatic control of charge density on graphene yields an ability to control both intensity (> 50 dB) and phase (~pi) of the reflected electromagnetic waves with voltage. Furthermore, using the asymmetry of the doping at opposite polarity of the bias voltages, we showed bidirectional phase control with the applied voltage. We anticipate that our results will pave a new directions to control interaction of electromagnetic waves with matter for long wavelengths and could open a new avenue for microwave devices.


title: Java & Lambda: a Featherweight Story

abstract: We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and intersection types are grafted on Java 8, by studying their properties in a formal setting. We show how intersection types play a significant role in several cases, in particular in the typecast of a $\lambda$-expression and in the typing of conditional expressions. We also embody interface \emph{default methods} in FJ&$\lambda$, since they increase the dynamism of $\lambda$-expressions, by allowing these methods to be called on $\lambda$-expressions. The crucial point in Java 8 and in our calculus is that $\lambda$-expressions can have various types according to the context requirements (target types): indeed, Java code does not compile when $\lambda$-expressions come without target types. In particular, in the operational semantics we must record target types by decorating $\lambda$-expressions, otherwise they would be lost in the runtime expressions. We prove the subject reduction property and progress for the resulting calculus, and we give a type inference algorithm that returns the type of a given program if it is well typed. The design of FJ&$\lambda$ has been driven by the aim of making it a subset of Java 8, while preserving the elegance and compactness of FJ. Indeed, FJ&$\lambda$ programs are typed and behave the same as Java programs.


title: Differential Poisson's ratio of a crystalline two-dimensional membrane

abstract: We compute the differential Poisson's ratio of a suspended two-dimensional crystalline membrane embedded into a space of large dimensionality $d \gg 1$. We demonstrate that, in the regime of anomalous Hooke's law, the differential Poisson's ratio approaches a universal value determined solely by the spatial dimensionality $d_c$, with a power-law expansion $\nu = -1/3 + 0.016/d_c + O(1/d_c^2)$, where $d_c=d-2$. Thus, the value $-1/3$ predicted in previous literature holds only in the limit $d_c\to \infty$.


title: Heun functions and combinatorial identities

abstract: We give closed forms for several families of Heun functions related to classical entropies. By comparing two expressions of the same Heun function, we get several combinatorial identities generalizing some classical ones.


title: Toward Metric Indexes for Incremental Insertion and Querying

abstract: In this work we explore the use of metric index structures, which accelerate nearest neighbor queries, in the scenario where we need to interleave insertions and queries during deployment. This use-case is inspired by a real-life need in malware analysis triage, and is surprisingly understudied. Existing literature tends to either focus on only final query efficiency, often does not support incremental insertion, or does not support arbitrary distance metrics. We modify and improve three algorithms to support our scenario of incremental insertion and querying with arbitrary metrics, and evaluate them on multiple datasets and distance metrics while varying the value of $k$ for the desired number of nearest neighbors. In doing so we determine that our improved Vantage-Point tree of Minimum-Variance performs best for this scenario.


title: Genetic robustness of let-7 miRNA sequence-structure pairs

abstract: Genetic robustness, the preservation of evolved phenotypes against genotypic mutations, is one of the central concepts in evolution. In recent years a large body of work has focused on the origins, mechanisms, and consequences of robustness in a wide range of biological systems. In particular, research on ncRNAs studied the ability of sequences to maintain folded structures against single-point mutations. In these studies, the structure is merely a reference. However, recent work revealed evidence that structure itself contributes to the genetic robustness of ncRNAs. We follow this line of thought and consider sequence-structure pairs as the unit of evolution and introduce the spectrum of inverse folding rates (IFR-spectrum) as a measurement of genetic robustness. Our analysis of the miRNA let-7 family captures key features of structure-modulated evolution and facilitates the study of robustness against multiple-point mutations.


title: A simple protocol for certifying graph states and applications in quantum networks

abstract: We present a simple protocol for certifying graph states in quantum networks using stabiliser measurements. The certification statements can easily be applied to different protocols using graph states. We see for example how it can be used to for measurement based verified quantum compu- tation, certified sampling of random unitaries and quantum metrology and sharing quantum secrets over untrusted channels.