title: Orbital optimization in the perfect pairing hierarchy. Applications to full-valence calculations on linear polyacenes

abstract: We describe the implementation of orbital optimization for the models in the perfect pairing hierarchy [Lehtola et al, J. Chem. Phys. 145, 134110 (2016)]. Orbital optimization, which is generally necessary to obtain reliable results, is pursued at perfect pairing (PP) and perfect quadruples (PQ) levels of theory for applications on linear polyacenes, which are believed to exhibit strong correlation in the {\pi} space. While local minima and {\sigma}-{\pi} symmetry breaking solutions were found for PP orbitals, no such problems were encountered for PQ orbitals. The PQ orbitals are used for single-point calculations at PP, PQ and perfect hextuples (PH) levels of theory, both only in the {\pi} subspace, as well as in the full {\sigma}{\pi} valence space. It is numerically demonstrated that the inclusion of single excitations is necessary also when optimized orbitals are used. PH is found to yield good agreement with previously published density matrix renormalization group (DMRG) data in the {\pi} space, capturing over 95% of the correlation energy. Full-valence calculations made possible by our novel, efficient code reveal that strong correlations are weaker when larger bases or active spaces are employed than in previous calculations. The largest full-valence PH calculations presented correspond to a (192e,192o) problem.


title: Multiplicative equations related to the affine Weyl group E$_8$

abstract: We derive integrable equations starting from autonomous mappings with a general form inspired by the multiplicative systems associated to the affine Weyl group E$_8^{(1)}$. Five such systems are obtained, three of which turn out to be linearisable and the remaining two are integrable in terms of elliptic functions. In the case of the linearisable mappings we derive nonautonomous forms which contain a free function of the dependent variable and we present the linearisation in each case. The two remaining systems are deautonomised to new discrete Painlev\'e equations. We show that these equations are in fact special forms of much richer systems associated to the affine Weyl groups E$_7^{(1)}$ and E$_8^{(1)}$ respectively.


title: Cross-stream migration of a surfactant-laden deformable droplet in a Poiseuille flow

abstract: The motion of a viscous deformable droplet suspended in an unbounded Poiseuille flow in the presence of bulk-insoluble surfactants is studied analytically. Assuming the convective transport of fluid and heat to be negligible, we perform a small-deformation perturbation analysis to obtain the droplet migration velocity. The droplet dynamics strongly depends on the distribution of surfactants along the droplet interface, which is governed by the relative strength of convective transport of surfactants as compared with the diffusive transport of surfactants. The present study is focused on the following two limits: (i) when the surfactant transport is dominated by surface diffusion, and (ii) when the surfactant transport is dominated by surface convection. In the first limiting case, it is seen that the axial velocity of the droplet decreases with increase in the advection of the surfactants along the surface. The variation of cross-stream migration velocity, on the other hand, is analyzed over three different regimes based on the ratio of the viscosity of the droplet phase to that of the carrier phase. In the first regime the migration velocity decreases with increase in surface advection of the surfactants although there is no change in direction of droplet migration. For the second regime, the direction of the cross-stream migration of the droplet changes depending on different parameters. In the third regime, the migration velocity is merely affected by any change in the surfactant distribution. For the other limit of higher surface advection in comparison to surface diffusion of the surfactants, the axial velocity of the droplet is found to be independent of the surfactant distribution. However, the cross-stream velocity is found to decrease with increase in non-uniformity in surfactant distribution.


title: Tramp Ship Scheduling Problem with Berth Allocation Considerations and Time-dependent Constraints

abstract: This work presents a model for the Tramp Ship Scheduling problem including berth allocation considerations, motivated by a real case of a shipping company. The aim is to determine the travel schedule for each vessel considering multiple docking and multiple time windows at the berths. This work is innovative due to the consideration of both spatial and temporal attributes during the scheduling process. The resulting model is formulated as a mixed-integer linear programming problem, and a heuristic method to deal with multiple vessel schedules is also presented. Numerical experimentation is performed to highlight the benefits of the proposed approach and the applicability of the heuristic. Conclusions and recommendations for further research are provided.


title: Quantum random number generator based on twin beams

abstract: We produce two strings of quantum random numbers simultaneously from the intensity fluctuations of the twin beams generated by a nondegenerate optical parametric oscillator. Two strings of quantum random numbers with bit rates up to 60 Mb/s are extracted simultaneously with a suitable post-processing algorithm. By post-selecting the identical data from two raw sequences and using a suitable hash function, we also extract two strings of identical quantum random numbers. The obtained random numbers pass all NIST randomness tests. The presented scheme shows the feasibility of generating quantum random numbers from the intensity of a macroscopic optical field.


title: Spectral Radius and Hamiltonicity of graphs

abstract: In this paper, we study the Hamiltonicity of graphs with large minimum degree. Firstly, we present some conditions for a simple graph to be Hamilton-connected and traceable from every vertex in terms of the spectral radius of the graph or its complement respectively. Secondly, we give the conditions for a nearly balanced bipartite graph to be traceable in terms of spectral radius, signless Laplacian spectral radius of the graph or its quasi-complement respectively.


title: Probabilistic Typology: Deep Generative Models of Vowel Inventories

abstract: Linguistic typology studies the range of structures present in human language. The main goal of the field is to discover which sets of possible phenomena are universal, and which are merely frequent. For example, all languages have vowels, while most---but not all---languages have an /u/ sound. In this paper we present the first probabilistic treatment of a basic question in phonological typology: What makes a natural vowel inventory? We introduce a series of deep stochastic point processes, and contrast them with previous computational, simulation-based approaches. We provide a comprehensive suite of experiments on over 200 distinct languages.


title: Anomalous Acoustic Plasmon Mode from Topologically Protected States

abstract: Plasmons, the collective excitations of electrons in the bulk or at the surface, play an important role in the properties of materials, and have generated the field of Plasmonics. We report the observation of a highly unusual acoustic plasmon mode on the surface of a three-dimensional topological insulator (TI), Bi2Se3, using momentum resolved inelastic electron scattering. In sharp contrast to ordinary plasmon modes, this mode exhibits almost linear dispersion into the second Brillouin zone and remains prominent with remarkably weak damping not seen in any other systems. This behavior must be associated with the inherent robustness of the electrons in the TI surface state, so that not only the surface Dirac states but also their collective excitations are topologically protected. On the other hand, this mode has much smaller energy dispersion than expected from a continuous media excitation picture, which can be attributed to the strong coupling with surface phonons.


title: Universal fault-tolerant quantum computation with Bacon-Shor codes

abstract: We present a fault-tolerant universal gate set consisting of Hadamard and controlled-controlled-Z (CCZ) on Bacon-Shor subsystem codes. Transversal non-Clifford gates on these codes are intriguing in that higher levels of the Clifford hierarchy become accessible as the code becomes more asymmetric. For instance, in an appropriate gauge, Bacon-Shor codes on an $m\times m^k$ lattice have transversal $k$-qubit-controlled $Z$. Through a variety of tricks, including intermediate error-correction and non-Pauli recovery, we reduce the overhead required for fault-tolerant CCZ. We calculate pseudothresholds for our universal gate set on the smallest $3\times3$ Bacon-Shor code and also compare our gates with magic-states within the framework of a proposed ion trap architecture.


title: Reverse isolation and backaction of the SLUG microwave amplifier

abstract: An ideal preamplifier for qubit measurement must not only provide high gain and near quantum-limited noise performance, but also isolate the delicate quantum circuit from noisy downstream measurement stages while producing negligible backaction. Here we use a Superconducting Low-inductance Undulatory Galvanometer (SLUG) microwave amplifier to read out a superconducting transmon qubit, and we characterize both reverse isolation and measurement backaction of the SLUG. For appropriate dc bias, the SLUG achieves reverse isolation that is better than that of a commercial cryogenic isolator. Moreover, SLUG backaction is dominated by thermal emission from dissipative elements in the device. When the SLUG is operated in pulsed mode, it is possible to characterize the transmon qubit using a measurement chain that is free from cryogenic isolators or circulators with no measurable degradation of qubit performance.


title: Explicit bounds on integrals of eigenfunctions over curves in surfaces of nonpositive curvature

abstract: Let $(M,g)$ be a compact Riemannian surface with nonpositive sectional curvature and let $\gamma$ be a closed geodesic in $M$. And let $e_\lambda$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator $\Delta_g$ with $-\Delta_g e_\lambda = \lambda^2 e_\lambda$. Sogge, Xi, and Zhang showed using the Gauss-Bonnet theorem that $$ \int_\gamma e_\lambda \, ds = O((\log\lambda)^{-1/2}),$$ an improvement over the general $O(1)$ bound. We show this integral enjoys the same decay for a wide variety of curves, where $M$ has nonpositive sectional curvature. These are the curves $\gamma$ whose geodesic curvature avoids, pointwise, the geodesic curvature of circles of infinite radius tangent to $\gamma$.


title: Mechanisms for tuning clustering and degree-correlations in directed networks

abstract: With complex networks emerging as an effective tool to tackle multidisciplinary problems, models of network generation have gained an importance of their own. These models allow us to extensively analyze the data obtained from real-world networks, study their relevance and corroborate theoretical results. In this work, we introduce methods, based on degree preserving rewiring, that can be used to tune the clustering and degree-correlations in directed networks with random and scale-free topologies. They provide null-models to investigate the role of the mentioned properties along with their strengths and limitations. We find that in the case of clustering, structural relationships, that are independent of topology and rewiring schemes are revealed, while in the case of degree-correlations, the network topology is found to play an important role in the working of the mechanisms. We also study the effects of link-density on the efficiency of these rewiring mechanisms and find that in the case of clustering, the topology of the network plays an important role in determining how link-density affects the rewiring process, while in the case of degree-correlations, the link-density and topology, play no role for sufficiently large number of rewiring steps. Besides the intended purpose of tuning network properties, the proposed mechanisms can also be used as a tool to reveal structural relationships and topological constraints.


title: Universality of the Homotopy Interleaving Distance

abstract: As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that homotopy interleavings induce an extended pseudometric $d_{HI}$ on filtered spaces, and that this is the universal pseudometric satisfying natural stability and homotopy invariance axioms. To motivate these axioms, we also observe that $d_{HI}$ (or more generally, any pseudometric satisfying these two axioms and an additional "homology bounding" axiom) can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces. Finally, we consider the problem of establishing a persistent Whitehead theorem in terms of homotopy interleavings. We provide a counterexample to a naive formulation of the result.


title: Fully self-consistent relativistic Brueckner-Hartree-Fock theory for finite nuclei

abstract: Starting from the relativistic form of the Bonn potential as a bare nucleon-nucleon interaction, the full Relativistic Brueckner-Hartree-Fock (RBHF) equations are solved for finite nuclei in a fully self-consistent basis. This provides a relativistic ab initio calculation of the ground state properties of finite nuclei without any free parameters and without three-body forces. The convergence properties for the solutions of these coupled equations are discussed in detail at the example of the nucleus $^{16}$O. The binding energies, radii, and spin-orbit splittings of the doubly magic nuclei $^{4}$He, $^{16}$O, and $^{40}$Ca are calculated and compared with the earlier RBHF calculated results in a fixed Dirac Woods-Saxon basis and other non-relativistic ab initio calculated results based on pure two-body forces.


title: A local converse theorem for $\textrm{Sp}_{2r}$

abstract: In this paper, we prove the local converse theorem for $\textrm{Sp}_{2r}(F)$ over a $p$-adic field $F$. More precisely, given two irreducible supercuspidal representations of $\textrm{Sp}_{2r}(F)$ with the same central character such that they are generic with the same additive character and they have the same gamma factors when twisted with generic irreducible representations of $\textrm{GL}_n(F)$ for all $1\le n\le r$, then these two representations must be isomorphic. Our proof is based on the local analysis of the local integrals which define local gamma factors. A key ingredient of the proof is certain partial Bessel function property developed by Cogdell-Shahidi-Tsai recently. The same method can give the local converse theorem for $\textrm{U}(r,r)$.


title: Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments

abstract: Traffic waves are phenomena that emerge when the vehicular density exceeds a critical threshold. Considering the presence of increasingly automated vehicles in the traffic stream, a number of research activities have focused on the influence of automated vehicles on the bulk traffic flow. In the present article, we demonstrate experimentally that intelligent control of an autonomous vehicle is able to dampen stop-and-go waves that can arise even in the absence of geometric or lane changing triggers. Precisely, our experiments on a circular track with more than 20 vehicles show that traffic waves emerge consistently, and that they can be dampened by controlling the velocity of a single vehicle in the flow. We compare metrics for velocity, braking events, and fuel economy across experiments. These experimental findings suggest a paradigm shift in traffic management: flow control will be possible via a few mobile actuators (less than 5%) long before a majority of vehicles have autonomous capabilities.


title: Categorical Morita equivalence and monoidal Morita equivalence of semisimple Hopf algebras of dimension pqr

abstract: In this paper, we determine the cocycle deformations and Galois objects for semisimple Hopf algebras of dimension pqr, and decide the categorically Morita equivalent classes and monoidally Morita equivalent classes of them. We show that all of them only have one trivial Galois objects, therefore these Hopf algebras are pairwise twist inequivalent, equivalently they are not monoidally Morita equivalent to each other, moreover, all the categorically Morita equivalent classes are determined.


title: Adiabatic Decoherence-Free Subspaces and its Shortcuts

abstract: The adiabatic theorem and "shortcuts to adiabaticity" for the adiabatic dynamics of time-dependent decoherence-free subspaces are explored in this paper. Starting from the definition of the dynamical stable decoherence-free subspaces, we show that, under a compact adiabatic condition, the quantum state follows time-dependent decoherence-free subspaces (the adiabatic decoherence free subspaces) into the target subspace with extremely high purity, even though the dynamics of the quantum system may be non-adiabatic. The adiabatic condition mentioned in the adiabatic theorem is very similar with the adiabatic condition for closed quantum systems, except that the operators required to be "slowness" is on the Lindblad operators. We also show that the adiabatic decoherence-free subspaces program depends on the existence of instantaneous decoherence-free subspaces, which requires that the Hamiltonian of open quantum systems has to be engineered according to the incoherent control program. Besides, "the shortcuts to adiabaticity" for the adiabatic decoherence-free subspaces program is also presented based on the transitionless quantum driving method. Finally, we provide an example of physical systems that support our programs. Our approach employs Markovian master equations and applies primarily to finite-dimensional quantum systems.


title: Contact forces distribution for a granular material from a Monte Carlo study on a single grain

abstract: The force network ensemble is one of the most promising statistical descriptions of granular media, with an entropy accounting for all force configurations at mechanical equilibrium consistent with some external stress. It is possible to define a temperature-like parameter, the angoricity {\alpha}^{-1}, which under isotropic compression is a scalar variable. This ensemble is frequently studied on whole packings of grains; however, previous works have shown that spatial correlations can be neglected in many cases, opening the door to studies on a single grain. Our work develops a Monte Carlo method to sample the force ensemble on a single grain at constant angoricity on two and three-dimensional mono-disperse granular systems, both with or without static friction. The results show that, despite the steric exclusions and the constrictions of Coulomb's limit and repulsive normal forces, the pressure per grain always show a gamma distribution with scale parameter {\nu} = {\alpha}^{-1} and shape parameter k close to k', the number of degrees of freedom in the system. Moreover, the average pressure per grain fulfills an equipartition theorem <p>=k'{\alpha}^{-1} in all cases (in close parallelism with the one for an ideal gas). These results suggest the existence of k' independent random variables (i.e. elementary forces) with identical exponential distributions as the basic elements for describing the force network ensemble at low angoricities under isotropic compression, in analogy with the volume ensemble of granular materials.


title: Virtual Machine Introspection Based Malware Behavior Profiling and Family Grouping

abstract: The proliferation of malwares have been attributed to the alternations of a handful of original malware source codes. The malwares alternated from the same origin share some intrinsic behaviors and form a malware family. Expediently, identifying its malware family when a malware is first seen on the Internet can provide useful clues to mitigate the threat. In this paper, a malware profiler (VMP) is proposed to profile the execution behaviors of a malware by leveraging virtual machine introspection (VMI) technique. The VMP inserts plug-ins inside the virtual machine monitor (VMM) to record the invoked API calls with their input parameters and return values as the profile of malware. In this paper, a popular similarity measurement Jaccard distance and a phylogenetic tree construction method are adopted to discover malware families. The studies of malware profiles show the malwares from a malware family are very similar to each others and distinct from other malware families as well as benign software. This paper also examines VMP against existing anti-malware detection engines and some well-known malware grouping methods to compare the goodness in their malware family constructions. A peer voting approach is proposed and the results show VMP is better than almost all of the compared anti-malware engines, and compatible with the fine tuned text-mining approach and high order N-gram approaches. We also establish a malware profiling website based on VMP for malware research.


title: Ultra-compact low-loss broadband waveguide taper in silicon-on-insulator

abstract: A novel design of large bandwidth, fabrication tolerant, CMOS-compatible compact tapers (15 um) have been proposed and experimentally demonstrated in silicon-on-insulator. The proposed taper along with linear grating couplers for spot-size conversion exhibits no degradation in the coupling efficiency compared to a standard focusing grating in 1550 nm band. A single taper design has a broadband operation over 600 nm that can be used in O, C and L-band. The proposed compact taper is highly tolerant to fabrication variations; 80 nm change in the taper width and 200 nm in end waveguide width varies the taper transmission by <0.4 dB. The footprint of the device i.e. taper along with the linear gratings is ~ 250 {\mu}m2; this is 20X smaller than the adiabatic taper and 2X smaller than the focusing grating coupler.


title: 3GPP-inspired HetNet Model using Poisson Cluster Process: Sum-product Functionals and Downlink Coverage

abstract: The growing complexity of heterogeneous cellular networks (HetNets) has necessitated a variety of user and base station (BS) configurations to be considered for realistic performance evaluation and system design. This is directly reflected in the HetNet simulation models proposed by standardization bodies, such as the third generation partnership project (3GPP). Complementary to these simulation models, stochastic geometry-based approach, modeling the locations of the users and the K tiers of BSs as independent and homogeneous Poisson point processes (PPPs), has gained prominence in the past few years. Despite its success in revealing useful insights, this PPP-based K-tier HetNet model is not rich enough to capture spatial coupling between user and BS locations that exists in real-world HetNet deployments and is included in 3GPP simulation models. In this paper, we demonstrate that modeling a fraction of users and arbitrary number of BS tiers alternatively with a Poisson cluster process (PCP) captures the aforementioned coupling, thus bridging the gap between the 3GPP simulation models and the PPP-based analytic model for HetNets. We further show that the downlink coverage probability of a typical user under maximum signal-to-interference-ratio association can be expressed in terms of the sum-product functionals over PPP, PCP, and its associated offspring point process, which are all characterized as a part of our analysis. We also show that the proposed model converges to the PPP-based HetNet model as the cluster size of the PCPs tends to infinity. Finally, we specialize our analysis based on general PCPs for Thomas and Matern cluster processes. Special instances of the proposed model closely resemble the different configurations for BS and user locations considered in 3GPP simulations.


title: A determining form for the subcritical surface quasi-geostrophic equation

abstract: We construct a determining form for the surface quasi-geostrophic (SQG) equation with subcritical dissipation. In particular, we show that the global attractor for this equation can be embedded in the long-time dynamics of an ordinary differential equation (ODE) called a determining form. Indeed, there is a one-to-one correspondence between the trajectories in the global attractor of the SQG equation and the steady state solutions of the determining form. The determining form is a true ODE in the sense that its vector field is Lipschitz. This is shown by combining De Giorgi techniques and elementary harmonic analysis. Finally, we provide elementary proofs of the existence of time-periodic solutions, steady state solutions, as well as the existence of finitely many determining parameters for the SQG equation.


title: Molecularly-thin anatase field-effect transistors fabricated through the solid state transformation of titania nanosheets

abstract: We demonstrate the field-effect transistor (FET) operation of molecularly-thin anatase phase produced through solid state transformation from Ti0.87O2 nanosheets. Monolayer Ti0.87O2 nanosheet with a thickness of 0.7 nm is two-dimensional oxide insulators in which Ti vacancies are incorporated, rather than oxygen vacancies. Since the fabrication method, in general, largely affects the film quality, the anatase films derived from Ti0.87O2 nanosheet show interesting characteristics, such as no photocurrent peak at ~2 eV, which is related to oxygen vacancies, and a larger band gap of 3.8 eV. The 10-nm thick anatase FETs exhibit superior transport characteristics with a maximum mobility of ~1.3 cm2V-1s-1 and current on/off ratio of ~105 at room temperature. The molecularly-thin anatase FET may provide new functionalities, such as field-effect control of catalytic properties.


title: Phase-space mixing in dynamically unstable, integrable few-mode quantum systems

abstract: Quenches in isolated quantum systems are currently a subject of intense study. Here, we consider quantum few-mode systems that are integrable in their classical mean-field limit and become dynamically unstable after a quench of a system parameter. Specifically, we study a Bose-Einstein condensate (BEC) in a double-well potential and an antiferromagnetic spinor BEC constrained to a single spatial mode. We study the time dynamics after the quench within the truncated Wigner approximation (TWA) and find that system relaxes to a steady state due to phase-space mixing. Using the action-angle formalism and a pendulum as an illustration, we derive general analytical expressions for the time evolution of expectation values of observables and their long-time limits. We find that the deviation of the long-time expectation value from its classical value scales as $1/O(\ln N )$, where $N$ is the number of atoms in the condensate. Furthermore, the relaxation of an observable to its steady state value is a damped oscillation and the damping is Gaussian in time. We confirm our results with numerical TWA simulations.


title: New bounds for Szemer\'edi's theorem, III: A polylogarithmic bound for $r_4(N)$

abstract: Define $r_4(N)$ to be the largest cardinality of a set $A \subset \{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that \[ r_4(N) \ll N(\log \log N)^{-c}\] for some absolute constant $c>0$. In 2005, the authors improved this to \[ r_4(N) \ll N e^{-c\sqrt{\log\log N}}.\] In this paper we further improve this to \[ r_4(N) \ll N(\log N)^{-c},\] which appears to be the limit of our methods.


title: Casas-Alvero Conjecture is true

abstract: The article presents the proof of Casas-Alvero conjecture.


title: Minimum Manhattan Distance Approach to Multiple Criteria Decision Making in Multiobjective Optimization Problems

abstract: A minimum Manhattan distance (MMD) approach to multiple criteria decision making in multiobjective optimization problems (MOPs) is proposed. The approach selects the final solution corresponding with a vector that has the MMD from a normalized ideal vector. This procedure is equivalent to the knee selection described by a divide and conquer approach that involves iterations of pairwise comparisons. Being able to systematically assign weighting coefficients to multiple criteria, the MMD approach is equivalent to a weighted-sum (WS) approach. Because of the equivalence, the MMD approach possesses rich geometric interpretations that are considered essential in the field of evolutionary computation. The MMD approach is elegant because all evaluations can be performed by efficient matrix calculations without iterations of comparisons. While the WS approach may encounter an indeterminate situation in which a few solutions yield almost the same WS, the MMD approach is able to determine the final solution discriminately. Since existing multiobjective evolutionary algorithms aim for a posteriori decision making, i.e., determining the final solution after a set of Pareto optimal solutions is available, the proposed MMD approach can be combined with them to form a powerful solution method of solving MOPs. Furthermore, the approach enables scalable definitions of the knee and knee solutions.


title: A concise introduction to trapped surface formation in general relativity

abstract: Trapped surface formation in general relativity can be studied through a coupled set of nonlinear equations, where various terms can be neglected, as was proved by a rigorous mathematical analysis of Christodoulou. This paper is devoted to a pedagogical synthesis of the mathematical formalism employed in this analysis, i.e. the optical structure of general relativity investigated by Christodoulou, Klainerman and other authors after them.


title: Generative Convolutional Networks for Latent Fingerprint Reconstruction

abstract: Performance of fingerprint recognition depends heavily on the extraction of minutiae points. Enhancement of the fingerprint ridge pattern is thus an essential pre-processing step that noticeably reduces false positive and negative detection rates. A particularly challenging setting is when the fingerprint images are corrupted or partially missing. In this work, we apply generative convolutional networks to denoise visible minutiae and predict the missing parts of the ridge pattern. The proposed enhancement approach is tested as a pre-processing step in combination with several standard feature extraction methods such as MINDTCT, followed by biometric comparison using MCC and BOZORTH3. We evaluate our method on several publicly available latent fingerprint datasets captured using different sensors.


title: Semi-Supervised AUC Optimization based on Positive-Unlabeled Learning

abstract: Maximizing the area under the receiver operating characteristic curve (AUC) is a standard approach to imbalanced classification. So far, various supervised AUC optimization methods have been developed and they are also extended to semi-supervised scenarios to cope with small sample problems. However, existing semi-supervised AUC optimization methods rely on strong distributional assumptions, which are rarely satisfied in real-world problems. In this paper, we propose a novel semi-supervised AUC optimization method that does not require such restrictive assumptions. We first develop an AUC optimization method based only on positive and unlabeled data (PU-AUC) and then extend it to semi-supervised learning by combining it with a supervised AUC optimization method. We theoretically prove that, without the restrictive distributional assumptions, unlabeled data contribute to improving the generalization performance in PU and semi-supervised AUC optimization methods. Finally, we demonstrate the practical usefulness of the proposed methods through experiments.


title: Cross-stream migration characteristics of a deformable droplet in a non-isothermal Poiseuille Flow through Microfluidic Channel

abstract: The migration characteristics of a suspended deformable droplet in a parallel plate microchannel is studied, both analytically and numerically, under the combined influence of a constant temperature gradient in the transverse direction and an imposed pressure driven flow. Any predefined transverse position in the micro channel can be attained by the droplet depending on the applied temperature gradient in the cross-stream direction or how small the droplet is with respect to the channel width. For the analytical solution, an asymptotic approach is used, where we neglect any effect of inertia or thermal convection of the fluid in either of the phases. To obtain a numerical solution, we use the conservative level set method. Variation of temperature in the flow field causes a jump in the tangential component of stress at the droplet interface. This jump in stress component, which is the thermal Marangoni stress, is an important factor that controls the trajectory of the droplet. The direction of cross-stream migration of the droplet is decided by the magnitude of the critical Marangoni stress, corresponding to which the droplet remains stationary. In order to analyze practical microfluidic setup, we do numerical simulations where we consider wall effects as well as the effect of thermal convection and finite shape deformation on the cross-stream migration of the droplet.


title: Tidal deformations of compact stars with crystalline quark matter

abstract: We study the tidal deformability of bare quark stars and hybrid compact stars composed of a quark matter core in general relativity, assuming that the deconfined quark matter exists in a crystalline color superconducting phase. We find that taking the elastic property of crystalline quark matter into account in the calculation of the tidal deformability can break the universal I-Love relation discovered for fluid compact stars, which connects the moment of inertia and tidal deformability. Our result suggests that measurements of the moment of inertia and tidal deformability can in principle be used to test the existence of solid quark stars, despite our ignorance of the high density equation of state (EOS). Assuming that the moment of inertia can be measured to 10% level, one can then distinguish a 1.4 (1) $M_\odot$ solid quark star described by our quark matter EOS model with a gap parameter $\Delta=25$ MeV from a fluid compact star if the tidal deformability can be measured to about 10% (45%) level. On the other hand, we find that the nuclear matter fluid envelope of a hybrid star can screen out the effect of the solid core significantly so that the resulting I-Love relation for hybrid stars still agrees with the universal relation for fluid stars to about 1% level.


title: Delta-operator based consensus analysis of multi-agent networks with link failures

abstract: In this paper, a discrete-time multi-agent system is presented which is formulated in terms of the delta operator. The proposed multi-agent system can unify discrete-time and continuous-time multi-agent systems. In a multi-agent network, in practice, the communication among agents is acted upon by various factors. The communication network among faulty agents may cause link failures, which is modeled by randomly switching graphs. First, we show that the delta representation of discrete-time multi-agent system reaches consensus in mean (in probability and almost surely) if the expected graph is strongly connected. The results induce that the continuous-time multi-agent system with random networks can also reach consensus in the same sense. Second, the influence of faulty agents on consensus value is quantified under original network. By using matrix perturbation theory, the error bound is also presented in this paper. Finally, a simulation example is provided to demonstrate the effectiveness of our theoretical results.


title: Overconvergent quaternionic forms and anticyclotomic p-adic L-functions

abstract: We reinterpret the explicit construction of Gross points given by Chida-Hsieh as a non-Archimedian analogue of the standard geodesic cycle from zero to the infinity on the Poincare upper half plane. This analogy allows us to consider certain distributions, which can be regarded as anticyclotomic p-adic L-functions for modular forms of non-critical slope following the overconvergent strategy a la Stevens. We also give a geometric interpretation of their Gross points for the case of weight two forms. Our construction generalizes those of Bertolini-Darmon, Bertolini-Darmon-Iovita-Spiess, and Chida-Hsieh.


title: Remote polarization entanglement generation by local dephasing and frequency upconversion

abstract: We introduce a scheme for remote entanglement generation for the photon polarization. The technique is based on transferring the initial frequency correlations to specific polarization-frequency correlations by local dephasing and their subsequent removal by frequency up-conversion. On fundamental level, our theoretical results show how to create and transfer entanglement, to particles which never interact, by means of local operations. This possibility stems from the multi-path interference and its control in frequency space. For applications, the developed techniques and results allow for the remote generation of entanglement with distant parties without Bell state measurements and opens the perspective to probe frequency-frequency entanglement by measuring the polarization state of the photons.


title: Optimal Approximation with Sparsely Connected Deep Neural Networks

abstract: We derive fundamental lower bounds on the connectivity and the memory requirements of deep neural networks guaranteeing uniform approximation rates for arbitrary function classes in $L^2(\mathbb R^d)$. In other words, we establish a connection between the complexity of a function class and the complexity of deep neural networks approximating functions from this class to within a prescribed accuracy. Additionally, we prove that our lower bounds are achievable for a broad family of function classes. Specifically, all function classes that are optimally approximated by a general class of representation systems---so-called \emph{affine systems}---can be approximated by deep neural networks with minimal connectivity and memory requirements. Affine systems encompass a wealth of representation systems from applied harmonic analysis such as wavelets, ridgelets, curvelets, shearlets, $\alpha$-shearlets, and more generally $\alpha$-molecules. Our central result elucidates a remarkable universality property of neural networks and shows that they achieve the optimum approximation properties of all affine systems combined. As a specific example, we consider the class of $\alpha^{-1}$-cartoon-like functions, which is approximated optimally by $\alpha$-shearlets. We also explain how our results can be extended to the case of functions on low-dimensional immersed manifolds. Finally, we present numerical experiments demonstrating that the standard stochastic gradient descent algorithm generates deep neural networks providing close-to-optimal approximation rates. Moreover, these results indicate that stochastic gradient descent can actually learn approximations that are sparse in the representation systems optimally sparsifying the function class the network is trained on.


title: Directed Networks with a Differentially Private Bi-degree Sequence

abstract: Although a lot of approaches are developed to release network data with a differentially privacy guarantee, inference using noisy data in many network models is still unknown or not properly explored. In this paper, we release the bi-degree sequences of directed networks using the Laplace mechanism and use the $p_0$ model for inferring the degree parameters. The $p_0$ model is an exponential random graph model with the bi-degree sequence as its exclusively sufficient statistic. We show that the estimator of the parameter without the denoised process is asymptotically consistent and normally distributed. This is contrast sharply with some known results that valid inference such as the existence and consistency of the estimator needs the denoised process. Along the way, a new phenomenon is revealed in which an additional variance factor appears in the asymptotic variance of the estimator when the noise becomes large. Further, we propose an efficient algorithm for finding the closet point lying in the set of all graphical bi-degree sequences under the global $L_1$ optimization problem. Numerical studies demonstrate our theoretical findings.


title: Exact analysis of gate noise effects on non-adiabatic transformations of spin-orbit qubits

abstract: We considered various types of potential noise in gates controlling non-adiabatic holonomic transformations of spin-qubits in one and two dimensional systems with the Rashba interaction. It is shown how exact results can be derived for deviations of spin rotation angle and fidelity of the qubit transformation after a completed transformation. Errors in initial values of gate potentials and time-dependent drivings are considered and exact results for white gate noise are derived and analysed in detail. It is demonstrated how the drivings can be tuned to optimise the final fidelity of the transformation and to minimise the variances of qubit transformations.


title: A regularity theory for quasi-linear Stochastic Partial Differential Equations in weighted Sobolev spaces

abstract: We study the second-order quasi-linear stochastic partial differential equations (SPDEs) defined on $C^1$ domains. The coefficients are random functions depending on $t,x$ and the unknown solutions. We prove the uniqueness and existence of solutions in appropriate Sobolev spaces, and in addition, we obtain $L_p$ and H\"older estimates of both the solution and its gradient.


title: Nematic Skyrmions in Odd-Parity Superconductors

abstract: We study topological excitations in two-component nematic superconductors, with a particular focus on Cu$_x$Bi$_2$Se$_3$ as a candidate material. We find that the lowest-energy topological excitations are coreless vortices: a bound state of two spatially separated half-quantum vortices. These objects are nematic Skyrmions, since they are characterized by an additional topological charge. The inter-Skyrmion forces are dipolar in this model, i.e. attractive for certain relative orientations of the Skyrmions, hence forming multi-Skyrmion bound states.


title: Entropy-limited topological protection of skyrmions

abstract: Magnetic skyrmions are topologically protected whirls that decay through singular magnetic configurations known as Bloch points. We have used Lorentz transmission electron microscopy to infer the energetics associated with the topological decay of magnetic skyrmions far from equilibrium in the chiral magnet Fe$_{1-x}$Co$_x$Si. We observed that the life time $\tau$ of the skyrmions depends exponentially on temperature, $\tau \sim \tau_0 \, e^{\Delta E/k_B T}$. The prefactor $\tau_0$ of this Arrhenius law changes by more than 30 orders of magnitude for small changes of magnetic field reflecting a substantial reduction of the life time of skyrmions by entropic effects and thus an extreme case of enthalpy-entropy compensation. Such compensation effects, being well-known across many different scientific disciplines, affect topological transitions and thus topological protection on an unprecedented level.


title: Near-optimal linear decision trees for k-SUM and related problems

abstract: We construct near optimal linear decision trees for a variety of decision problems in combinatorics and discrete geometry. For example, for any constant $k$, we construct linear decision trees that solve the $k$-SUM problem on $n$ elements using $O(n \log^2 n)$ linear queries. Moreover, the queries we use are comparison queries, which compare the sums of two $k$-subsets; when viewed as linear queries, comparison queries are $2k$-sparse and have only $\{-1,0,1\}$ coefficients. We give similar constructions for sorting sumsets $A+B$ and for solving the SUBSET-SUM problem, both with optimal number of queries, up to poly-logarithmic terms. Our constructions are based on the notion of "inference dimension", recently introduced by the authors in the context of active classification with comparison queries. This can be viewed as another contribution to the fruitful link between machine learning and discrete geometry, which goes back to the discovery of the VC dimension.


title: Evolutionary learning of fire fighting strategies

abstract: The dynamic problem of enclosing an expanding fire can be modelled by a discrete variant in a grid graph. While the fire expands to all neighbouring cells in any time step, the fire fighter is allowed to block $c$ cells in the average outside the fire in the same time interval. It was shown that the success of the fire fighter is guaranteed for $c>1.5$ but no strategy can enclose the fire for $c\leq 1.5$. For achieving such a critical threshold the correctness (sometimes even optimality) of strategies and lower bounds have been shown by integer programming or by direct but often very sophisticated arguments. We investigate the problem whether it is possible to find or to approach such a threshold and/or optimal strategies by means of evolutionary algorithms, i.e., we just try to learn successful strategies for different constants $c$ and have a look at the outcome. The main general idea is that this approach might give some insight in the power of evolutionary strategies for similar geometrically motivated threshold questions. We investigate the variant of protecting a highway with still unknown threshold and found interesting strategic paradigms. Keywords: Dynamic environments, fire fighting, evolutionary strategies, threshold approximation


title: Searching for Moving Objects in HSC-SSP: Pipeline and Preliminary Results

abstract: The Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) is currently the deepest wide- field survey in progress. The 8.2 m aperture of Subaru telescope is very powerful in detect- ing faint/small moving objects, including near-Earth objects, asteroids, centaurs and Tran- Neptunian objects (TNOs). However, the cadence and dithering pattern of the HSC-SSP are not designed for detecting moving objects, making it difficult to do so systematically. In this paper, we introduce a new pipeline for detecting moving objects (specifically TNOs) in a non-dedicated survey. The HSC-SSP catalogs are re-arranged into the HEALPix architecture. Then, the stationary detections and false positive are removed with a machine learning al- gorithm to produce a list of moving object candidates. An orbit linking algorithm and visual inspections are executed to generate the final list of detected TNOs. The preliminary results of a search for TNOs using this new pipeline on data from the first HSC-SSP data release (Mar 2014 to Nov 2015) are also presented.


title: Exact VC-dimension for $L_1$-visibility of points in simple polygons

abstract: The VC-dimension plays an important role for the algorithmic problem of guarding art galleries efficiently. We prove that inside a simple polygon at most $5$ points can be shattered by $L_1$-visibility polygons and give an example where 5 points are shattered. The VC-dimension is exactly $5$. The proof idea for the upper bound is different from previous approaches. Keywords: Art gallery, VC-dimension, $L_1$-visibility, polygons


title: Unbounded variation and solutions of impulsive control systems

abstract: We consider a control system with dynamics which are affine in the (unbounded) derivative of the control $u$. We introduce a notion of generalized solution $x$ on $[0,T]$ for controls $u$ of bounded total variation on $[0,t]$ for every $t<T$, but of possibly infinite variation on $[0,T]$. This solution has a simple representation formula based on the so-called graph completion approach, originally developed for BV controls. We prove the well-posedness of this generalized solution by showing that $x$ is a limit solution, that is the pointwise limit of regular trajectories of the system. In particular, we single out the subset of limit solutions which is in one-to-one correspondence with the set of generalized solutions. The controls that we consider provide the natural setting for treating some questions on the controllability of the system and some optimal control problems with endpoint constraints and lack of coercivity.


title: Wireless Channel Modeling Perspectives for Ultra-Reliable Low Latency Communications

abstract: Ultra-Reliable Low Latency Communication (URLLC) is one of the distinctive features of the upcoming 5G wireless communication, going down to packet error rates (PER) of $10^{-9}$. In this paper we discuss the statistical properties of the wireless channel models that are relevant for characterization of the lower tail of the Cumulative Distribution Function (CDF). We show that, for a wide range of channel models, the outage probability at URLLC levels can be approximated by a simple power law expression, whose exponent and offset depend on the actual channel model. The main insights from the analysis can be summarized as follows: (1) the two-wave model and the impact of shadowing in combined models lead to pessimistic predictions of the fading in the URLLC region; (2) the CDFs of models that contain single cluster diffuse components have slopes that correspond to the slope of a Rayleigh fading, and (3) multi-cluster diffuse components can result in different slopes. We apply our power law approximation results to analyze the performance of receiver diversity schemes for URLLC-relevant statistics and obtain a new simplified expression for Maximum Ratio Combining (MRC) in channels with power law tail statistics.


title: Spectral representation of one-dimensional Liouville Brownian Motion and Liouville Brownian excursion

abstract: In this paper we apply the spectral theory of linear diffusions to study the one-dimensional Liouville Brownian Motion and Liouville Brownian excursions from a given point. As an application we estimate the fractal dimensions of level sets of one-dimensional Liouville Brownian motion as well as various probabilistic asymptotic behaviours of Liouville Brownian motion and Liouville Brownian excursions.


title: Comparison of hidden Markov chain models and hidden Markov random field models in estimation of computed tomography images

abstract: There is an interest to replace computed tomography (CT) images with magnetic resonance (MR) images for a number of diagnostic and therapeutic workflows. In this article, predicting CT images from a number of magnetic resonance imaging (MRI) sequences using regression approach is explored. Two principal areas of application for estimated CT images are dose calculations in MRI-based radiotherapy treatment planning and attenuation correction for positron emission tomography (PET)/MRI. The main purpose of this work is to investigate the performance of hidden Markov (chain) models (HMMs) in comparison to hidden Markov random field (HMRF) models when predicting CT images of head. Our study shows that HMMs have clear advantages over HMRF models in this particular application. Obtained results suggest that HMMs deserve a further study for investigating their potential in modelling applications where the most natural theoretical choice would be the class of HMRF models.


title: Butterfly velocity and bulk causal structure

abstract: The butterfly velocity was recently proposed as a characteristic velocity of chaos propagation in a local system. Compared to the Lieb-Robinson velocity that bounds the propagation speed of all perturbations, the butterfly velocity, studied in thermal ensembles, is an "effective" Lieb-Robinson velocity for a subspace of the Hilbert space defined by the microcanonical ensemble. In this paper, we generalize the concept of butterfly velocity beyond the thermal case to a large class of other subspaces. Based on holographic duality, we consider the code subspace of low energy excitations on a classical background geometry. Using local reconstruction of bulk operators, we prove a general relation between the boundary butterfly velocities (of different operators) and the bulk causal structure. Our result has implications in both directions of the bulk-boundary correspondence. Starting from a boundary theory with a given Lieb-Robinson velocity, our result determines an upper bound of the bulk light cone starting from a given point. Starting from a bulk space-time geometry, the butterfly velocity can be explicitly calculated for all operators that are the local reconstructions of bulk local operators. If the bulk geometry satisfies Einstein equation and the null energy condition, for rotation symmetric geometries we prove that infrared operators always have a slower butterfly velocity that the ultraviolet one. For asymptotic AdS geometries, this also implies that the butterfly velocities of all operators are upper bounded by the speed of light. We further prove that the butterfly velocity is equal to the speed of light if the causal wedge of the boundary region coincides with its entanglement wedge. Finally, we discuss the implication of our result to geometries that are not asymptotically AdS, and in particular, obtain constraints that must be satisfied by a dual theory of flat space gravity.


title: Compile-Time Symbolic Differentiation Using C++ Expression Templates

abstract: Template metaprogramming is a popular technique for implementing compile time mechanisms for numerical computing. We demonstrate how expression templates can be used for compile time symbolic differentiation of algebraic expressions in C++ computer programs. Given a positive integer $N$ and an algebraic function of multiple variables, the compiler generates executable code for the $N$th partial derivatives of the function. Compile-time simplification of the derivative expressions is achieved using recursive templates. A detailed analysis indicates that current C++ compiler technology is already sufficient for practical use of our results, and highlights a number of issues where further improvements may be desirable.


title: Replica analysis of overfitting in regression models for time-to-event data

abstract: Overfitting, which happens when the number of parameters in a model is too large compared to the number of data points available for determining these parameters, is a serious and growing problem in survival analysis. While modern medicine presents us with data of unprecedented dimensionality, these data cannot yet be used effectively for clinical outcome prediction. Standard error measures in maximum likelihood regression, such as p-values and z-scores, are blind to overfitting, and even for Cox's proportional hazards model (the main tool of medical statisticians), one finds in literature only rules of thumb on the number of samples required to avoid overfitting. In this paper we present a mathematical theory of overfitting in regression models for time-to-event data, which aims to increase our quantitative understanding of the problem and provide practical tools with which to correct regression outcomes for the impact of overfitting. It is based on the replica method, a statistical mechanical technique for the analysis of heterogeneous many-variable systems that has been used successfully for several decades in physics, biology, and computer science, but not yet in medical statistics. We develop the theory initially for arbitrary regression models for time-to-event data, and verify its predictions in detail for the popular Cox model.


title: A measure of authorship by publications

abstract: Measuring publication success of a researcher is a complicated task as publications are often co-authored by multiple authors, and so, require comparison of solo publications with joint publications. In this paper, like \cite{price1981multiple}, we argue for an egalitarian perspective in accomplishing this task. More specifically, we justify the need for an ethical perspective in quantifying academic author by identifying certain ethical difficulties of some popular contemporary indices used for this purpose. And then we show that for any given dataset of research papers, the unique method satisfying the ethical notions of {\it identity independence} and performance invariance must be the egaliatarian E-index proposed by \cite{bps} and \cite{price1981multiple}. In our setting, this egalitarian method divides authorship of joint projects equally among authors and sums across all publications of each author.


title: Superconductor to weak-insulator transitions in disordered Tantalum Nitride films

abstract: We study the two-dimensional superconductor-insulator transition (SIT) in thin films of tantalum nitride. At zero magnetic field, films can be disorder-tuned across the SIT by adjusting thickness and film stoichiometry; insulating films exhibit classical hopping transport. Superconducting films exhibit a magnetic field-tuned SIT, whose insulating ground state at high field appears to be a quantum-corrected metal. Scaling behavior at the field-tuned SIT shows classical percolation critical exponents $z \nu \approx$ 1.3, with a corresponding critical field $H_c \ll H_{c2}$. The Hall effect shows a crossing point near $H_c$, but with a non-universal critical value $\rho_{xy}^c$ comparable to the normal state Hall resistivity. We propose that high-carrier density metals will always exhibit this pattern of behavior at the boundary between superconducting and (trivially) insulating ground states.


title: On the Design of Matched Filters for Molecule Counting Receivers

abstract: In this paper, we design matched filters for diffusive molecular communication systems taking into account the following impairments: signal-dependent diffusion noise, inter-symbol interference (ISI), and external interfering molecules. The receiver counts the number of observed molecules several times within one symbol interval and employs linear filtering to detect the transmitted data. We derive the optimal matched filter by maximizing the expected signal-to-interference-plus-noise ratio of the decision variable. Moreover, we show that for the special case of an ISI-free channel, the matched filter reduces to a simple sum detector and a correlator for the channel impulse response for the diffusion noise-limited and (external) interference-limited regimes, respectively. Our simulation results reveal that the proposed matched filter considerably outperforms the benchmark schemes available in literature, especially when ISI is severe.


title: Attributes2Classname: A discriminative model for attribute-based unsupervised zero-shot learning

abstract: We propose a novel approach for unsupervised zero-shot learning (ZSL) of classes based on their names. Most existing unsupervised ZSL methods aim to learn a model for directly comparing image features and class names. However, this proves to be a difficult task due to dominance of non-visual semantics in underlying vector-space embeddings of class names. To address this issue, we discriminatively learn a word representation such that the similarities between class and combination of attribute names fall in line with the visual similarity. Contrary to the traditional zero-shot learning approaches that are built upon attribute presence, our approach bypasses the laborious attribute-class relation annotations for unseen classes. In addition, our proposed approach renders text-only training possible, hence, the training can be augmented without the need to collect additional image data. The experimental results show that our method yields state-of-the-art results for unsupervised ZSL in three benchmark datasets.


title: Intrinsic energy conversion mechanism via telescopic extension and retraction of concentric carbon nanotubes

abstract: The conversion of other forms of energy into mechanical work through the geometrical extension and retraction of nanomaterials has a wide variety of potential applications, including for mimicking biomotors. Here, using molecular dynamic simulations, we demonstrate that there exists an intrinsic energy conversion mechanism between thermal energy and mechanical work in the telescopic motions of double-walled carbon nanotubes (DWCNTs). A DWCNT can inherently convert heat into mechanical work in its telescopic extension process, while convert mechanical energy into heat in its telescopic retraction process. These two processes are thermodynamically reversible. The underlying mechanism for this reversibility is that the entropy changes with the telescopic overlapping length of concentric individual tubes. We find also that the entropy effect enlarges with the decreasing intertube space of DWCNTs. As a result, the spontaneously telescopic motion of a condensed DWCNT can be switched to extrusion by rising the system temperature above a critical value. These findings are important for fundamentally understanding the mechanical behavior of concentric nanotubes, and may have general implications in the application of DWCNTs as linear motors in nanodevices.


title: Of the People: Voting Is More Effective with Representative Candidates

abstract: In light of the classic impossibility results of Arrow and Gibbard and Satterthwaite regarding voting with ordinal rules, there has been recent interest in characterizing how well common voting rules approximate the social optimum. In order to quantify the quality of approximation, it is natural to consider the candidates and voters as embedded within a common metric space, and to ask how much further the chosen candidate is from the population as compared to the socially optimal one. We use this metric preference model to explore a fundamental and timely question: does the social welfare of a population improve when candidates are representative of the population? If so, then by how much, and how does the answer depend on the complexity of the metric space? We restrict attention to the most fundamental and common social choice setting: a population of voters, two independently drawn candidates, and a majority rule election. When candidates are not representative of the population, it is known that the candidate selected by the majority rule can be thrice as far from the population as the socially optimal one. We examine how this ratio improves when candidates are drawn independently from the population of voters. Our results are two-fold: When the metric is a line, the ratio improves from $3$ to $4-2\sqrt{2}$, roughly $1.1716$; this bound is tight. When the metric is arbitrary, we show a lower bound of $1.5$ and a constant upper bound strictly better than $2$ on the approximation ratio of the majority rule. The positive result depends in part on the assumption that candidates are independent and identically distributed. However, we show that independence alone is not enough to achieve the upper bound: even when candidates are drawn independently, if the population of candidates can be different from the voters, then an upper bound of $2$ on the approximation is tight.


title: Modeling open nanophotonic systems using the Fourier modal method: Generalization to 3D Cartesian coordinates

abstract: Recently, an open geometry Fourier modal method based on a new combination of an open boundary condition and a non-uniform $k$-space discretization was introduced for rotationally symmetric structures providing a more efficient approach for modeling nanowires and micropillar cavities [J. Opt. Soc. Am. A 33, 1298 (2016)]. Here, we generalize the approach to three-dimensional (3D) Cartesian coordinates allowing for the modeling of rectangular geometries in open space. The open boundary condition is a consequence of having an infinite computational domain described using basis functions that expand the whole space. The strength of the method lies in discretizing the Fourier integrals using a non-uniform circular "dartboard" sampling of the Fourier $k$ space. We show that our sampling technique leads to a more accurate description of the continuum of the radiation modes that leak out from the structure. We also compare our approach to conventional discretization with direct and inverse factorization rules commonly used in established Fourier modal methods. We apply our method to a variety of optical waveguide structures and demonstrate that the method leads to a significantly improved convergence enabling more accurate and efficient modeling of open 3D nanophotonic structures.


title: Pixie: A heterogeneous Virtual Coarse-Grained Reconfigurable Array for high performance image processing applications

abstract: Coarse-Grained Reconfigurable Arrays (CGRAs) enable ease of programmability and result in low development costs. They enable the ease of use specifically in reconfigurable computing applications. The smaller cost of compilation and reduced reconfiguration overhead enables them to become attractive platforms for accelerating high-performance computing applications such as image processing. The CGRAs are ASICs and therefore, expensive to produce. However, Field Programmable Gate Arrays (FPGAs) are relatively cheaper for low volume products but they are not so easily programmable. We combine best of both worlds by implementing a Virtual Coarse-Grained Reconfigurable Array (VCGRA) on FPGA. VCGRAs are a trade off between FPGA with large routing overheads and ASICs. In this perspective we present a novel heterogeneous Virtual Coarse-Grained Reconfigurable Array (VCGRA) called "Pixie" which is suitable for implementing high performance image processing applications. The proposed VCGRA contains generic processing elements and virtual channels that are described using the Hardware Description Language VHDL. Both elements have been optimized by using the parameterized configuration tool flow and result in a resource reduction of 24% for each processing elements and 82% for each virtual channels respectively.


title: Novel String Field Theory with also Negative Energy Constituents/Objects gives Veneziano Amplitude

abstract: We have proposed a new type of string field theory. The main point of the present article is to cure some technical troubles: missing two out three terms in veneziano amplitude. Our novel string field theory, describes a theory with many strings in terms of "objects",which are not exactly, but close to Charles Thorn's string bits. The new point is that the objects in terms of which the universe states are constructed,and which have an essentially 26-momentum variable called J^{\mu}, can have essentially the energy J^0 be also negative.We get a long way in deriving in this model the veneziano model and obtain all the three terms needed for a four point amplitude.This result strongly indicates that our novel string field theory is indeed string theory.


title: Physics of the Kitaev model: fractionalization, dynamical correlations, and material connections

abstract: Quantum spin liquids have fascinated condensed matter physicists for decades because of their unusual properties such as spin fractionalization and long-range entanglement. Unlike conventional symmetry breaking the topological order underlying quantum spin liquids is hard to detect experimentally. Even theoretical models are scarce for which the ground state is established to be a quantum spin liquid. The Kitaev honeycomb model and its generalizations to other tri-coordinated lattices are chief counterexamples --- they are exactly solvable, harbor a variety of quantum spin liquid phases, and are also relevant for certain transition metal compounds including the polymorphs of (Na,Li)$_2$IrO$_3$ Iridates and RuCl$_3$. In this review, we give an overview of the rich physics of the Kitaev model, including 2D and 3D fractionalization as well as dynamical correlations and behavior at finite temperatures. We discuss the different materials, and argue how the Kitaev model physics can be relevant even though most materials show magnetic ordering at low temperatures.


title: Dynamics of 3-Forms in Seven Dimensions

abstract: We continue to study a certain dynamical theory of 3-forms in seven dimensions, which can be viewed as a non-linear 7D analog of the 3D Abelian Chern-Simons theory. We perform the 6+1 split and show that the theory propagates 3 degrees of freedom. We also study the dimensional reduction on S3. We find the resulting theory to be a variant of 4D scalar-tensor theory of gravity.


title: Reduced models for ferromagnetic thin films with periodic surface roughness

abstract: We investigate the influence of periodic surface roughness in thin ferromagnetic films on shape anisotropy and magnetization behavior inside the ferromagnet. Starting from the full micromagnetic energy and using methods of homogenization and $\Gamma$-convergence we derive a two dimensional local reduced model. Investigation of this model provides an insight on the formation mechanism of {\it perpendicular magnetic anisotropy} and uniaxial anisotropy with an {\it arbitrary} preferred direction of magnetization.


title: Gauduchon's form and compactness of the space of divisors

abstract: We show that in a holomorphic family of compact complex connected manifolds parametrized by an irreducible complex space $S$, assuming that on a dense Zariski open set $S^{*}$ in $S$ the fibres satisfy the $\partial\bar\partial-$lemma, the algebraic dimension of each fibre in this family is at least equal to the minimal algebraic dimension of the fibres in $S^{*}$. For instance, if each fibre in $S^{*}$ are Moishezon, then all fibres are Moishezon.


title: Incidence Choosability of Graphs

abstract: An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a mapping from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidence colouring has been introduced by Brualdi and Quinn Massey in 1993 and, since then, studied by several authors. In this paper, we introduce and study the list version of incidence colouring. We determine the exact value of -- or upper bounds on -- the incidence choice number of several classes of graphs, namely square grids, Halin graphs, cactuses and Hamiltonian cubic graphs.


title: Classifying parafermionic gapped phases using matrix product states

abstract: In the Fock representation, we construct matrix product states (MPS) for one-dimensional gapped phases for $\mathbb{Z}_{p}$ parafermions. From the analysis of irreducibility of MPS, we classify all possible gapped phases of $\mathbb{Z}_{p}$ parafermions without extra symmetry other than $\mathbb{Z}%_{p}$ charge symmetry, including topological phases, spontaneous symmetry breaking phases and a trivial phase. For all phases, we find the irreducible forms of local matrices of MPS, which span different kinds of graded algebras. The topological phases are characterized by the non-trivial simple $\mathbb{Z}_{p}$ graded algebras with the characteristic graded centers, yielding the degeneracies of the full transfer matrix spectra uniquely. But the spontaneous symmetry breaking phases correspond to the trivial semisimple $\mathbb{Z}_{p/n}$ graded algebras, which can be further reduced to the trivial simple $\mathbb{Z}_{p/n}$ graded algebras, where $n$ is the divisor of $p$. So the present results deepen our understanding of topological phases in one dimension from the viewpoints of MPS.


title: Dissipative Rabi model for deep strong far-off-resonant driving

abstract: We study the dissipative Rabi model under deep strong far-off-resonant driving when the driving frequency and strength exceed significantly the qubit transition frequency. We find analytical expressions for the density matrix, the steady-state first-order field correlation function and the multiphoton emission spectrum. This spectrum consists of a series of narrow delta-like lines, caused by coherent processes and of Lorenzian peaks resulted from the incoherent scattering of photons. It is shown that the width of emission lines as well as the decay rate of the time oscillations in the population difference have oscillating dependence on the driving strength. We show how the features of this dependence are controlled by the relative rates of energetic relaxation and pure dephasing.


title: Spectral decomposition of the Lippmann-Schwinger equation applied to cylinders

abstract: We derive the spectral decomposition of the Lippmann-Schwinger equation for electrodynamics, obtaining the fields as a sum of eigenmodes. The method is applied to cylindrical geometries.


title: On the fidelity of quantum information processing with Rydberg atoms: Role of the non-molecular resonances

abstract: Rydberg blockade of ultracold atoms is considered now as one of the most promising tools for the implementation of quantum computing, but its fidelity can be substantially compromised by detrimental excitation of the neighbouring atoms. This phenomenon has been investigated recently in detail for the particular case of molecular resonances (i.e., resulting in the formation of quasi-bound states). However, as will be shown in the present paper, an even greater effect can come from the non-molecular resonances, which therefore should be taken into account very carefully.


title: Electronic transport in metallic carbon nanotubes with mixed defects within the strong localization regime

abstract: We study the electron transport in metallic carbon nanotubes (CNTs) with realistic defects of different types. We focus on large CNTs with many defects in the mesoscopic range. In a recent paper we demonstrated that the electronic transport in those defective CNTs is in the regime of strong localization. We verify by quantum transport simulations that the localization length of CNTs with defects of mixed types can be related to the localization lengths of CNTs with identical defects by taking the weighted harmonic average. Secondly, we show how to use this result to estimate the conductance of arbitrary defective CNTs, avoiding time consuming transport calculations.


title: Fluctuation Theorem for Arbitrary Quantum Bipartite Systems

abstract: We present a fluctuation theorem for quantum bipartite systems in which the subsystems exchange information with each other. Our information fluctuation theorem includes correlations by introducing a quantum mechanical mutual information content and a statistical probability distribution which allows one to consider statistical averages when computing the thermodynamic and informational quantities. The fundamental limit of heat transferred from a heat reservoir for quantum bipartite systems involving the quantum mutual information is then derived. We illustrate the use of our thermodynamic inequality in quantum computing and discuss our results in terms of Landauer's principle.


title: Polytypism in the ground state structure of the Lennard-Jonesium

abstract: We present a systematic study of the stability of nineteen different periodic structures using the finite range Lennard-Jones potential model discussing the effects of pressure, potential truncation, cutoff distance and Lennard-Jones exponents. The structures considered are the hexagonal close packed (hcp), face centred cubic (fcc) and seventeen other polytype stacking sequences, such as dhcp and $9R$. We found that at certain pressure and cutoff distance values, neither fcc nor hcp is the ground state structure as previously documented, but different polytypic sequences. This behaviour shows a strong dependence on the way the tail of the potential is truncated.


title: Reply to "Rescuing the MaxEnt treatment for $q$-generalized entropies" by A. Plastino and M.C. Rocca

abstract: Plastino and Rocca [Physica A 491, 1023 (2018)] recently criticized our work [Phys. Lett. A 381, 207 (2017)] on the ground that one should use functional calculus instead of the ordinary calculus adopted by us in the entropy maximization procedure. We simply point out that our work requires right from the beginning $\partial S_q / \partial U = \beta$, whereas the formalism of Plastino and Rocca yields $\partial S_q/\partial U = q \beta Z^{1-q} \neq \beta$. Therefore, the work of Plastino and Rocca is irrelevant for our work.


title: Influence of defect-induced deformations on electron transport in carbon nanotubes

abstract: We theoretically investigate the influence of defect-induced long-range deformations in carbon nanotubes on their electronic transport properties. To this end we perform numerical ab-initio calculations using a density-functional-based tight-binding (DFTB) model for various tubes with vacancies. The geometry optimization leads to a change of the atomic positions. There is a strong reconstruction of the atoms near the defect (called "distortion") and there is an additional long-range deformation. The impact of both structural features on the conductance is systematically investigated. We compare short and long CNTs of different kinds with and without long-range deformation. We find for the very thin (9,0)-CNT that the long-range deformation additionally affects the transmission spectrum and the conductance compared to the short-range lattice distortion. The conductance of the larger (11,0)- or the (14,0)-CNT is overall less affected implying that the influence of the long-range deformation decreases with increasing tube diameter. Furthermore, the effect can be either positive or negative depending on the CNT type and the defect type. Our results indicate that the long-range deformation must be included in order to reliably describe the electronic structure of defective, small-diameter zigzag tubes.


title: Thermalization of isolated Bose-Einstein condensates by dynamical heat bath generation

abstract: If and how an isolated quantum system thermalizes despite its unitary time evolution is a long-standing, open problem of many-body physics. The eigenstate thermalization hypothesis (ETH) postulates that thermalization happens at the level of individual eigenstates of a system's Hamiltonian. However, the ETH requires stringent conditions to be validated, and it does not address how the thermal state is reached dynamically from an inital non-equilibrium state. We consider a Bose-Einstein condensate (BEC) trapped in a double-well potential with an initial population imbalance. We find that the system thermalizes although the initial conditions violate the ETH requirements. We identify three dynamical regimes. After an initial regime of undamped Josephson oscillations, the subsystem of incoherent excitations or quasiparticles (QP) becomes strongly coupled to the BEC subsystem by means of a dynamically generated, parametric resonance. When the energy stored in the QP system reaches its maximum, the number of QPs becomes effectively constant, and the system enters a quasi-hydrodynamic regime where the two subsystems are weakly coupled. In this final regime the BEC acts as a grand-canonical heat reservoir for the QP system (and vice versa), resulting in thermalization. We term this mechanism dynamical bath generation (DBG).


title: Quantum Klein Space and Superspace

abstract: We give an algebraic quantization, in the sense of quantum groups, of the complex Minkowski space, and we examine the real forms corresponding to the signatures $(3,1)$, $(2,2)$, $(4,0)$, constructing the corresponding quantum metrics and providing an explicit presentation of the quantized coordinate algebras. In particular, we focus on the Kleinian signature $(2,2)$. The quantizations of the complex and real spaces come together with a coaction of the quantizations of the respective symmetry groups. We also extend such quantizations to the $\mathcal{N}=1$ supersetting.


title: Unconventional magnetic order in the conical state of MnSi

abstract: In the temperature-magnetic field phase diagram, the binary metallic compound MnSi exhibits three magnetic phases below Tc ~ 29 K. An unconventional helicoidal phase is observed in zero field. At moderate field intensity a conical phase sets in. Near Tc, in an intermediate field range, a skyrmion lattice phase appears. Here we show the magnetic structure in the conical phase to strongly depend on the field direction and to deviate substantially from a conventional conical structure.


title: Strong localization in defective carbon nanotubes: a recursive Green's function study

abstract: We study the transport properties of defective single-walled armchair carbon nanotubes (CNTs) on a mesoscopic length scale. Monovacancies and divancancies are positioned randomly along the CNT. The calculations are based on a fast, linearly scaling recursive Green's function formalism that allows us to treat large systems quantum-mechanically. The electronic structure of the CNT is described by a density-functional-based tight-binding model. We determine the influence of the defects on the transmission function for a given defect density by statistical analysis. We show that the system is in the regime of strong localization (i.e. Anderson localization). In the limit of large disorder the conductance scales exponentially with the number of defects. This allows us to extract the localization length. Furthermore, we study in a systematic and comprehensive way, how the conductance, the conductance distribution, and the localization length depend on defect probability, CNT diameter, and temperature.


title: Exclusion sets for eigenvalues of matrices

abstract: To locate all eigenvalues of a matrix more precisely, we exclude some sets which do not include any eigenvalue of the matrix from the well-known Brauer set to give two new Brauer-type eigenvalue inclusion sets. And it is also shown that the new sets are contained in the Brauer set.


title: Deep 360 Pilot: Learning a Deep Agent for Piloting through 360{\deg} Sports Video

abstract: Watching a 360{\deg} sports video requires a viewer to continuously select a viewing angle, either through a sequence of mouse clicks or head movements. To relieve the viewer from this "360 piloting" task, we propose "deep 360 pilot" -- a deep learning-based agent for piloting through 360{\deg} sports videos automatically. At each frame, the agent observes a panoramic image and has the knowledge of previously selected viewing angles. The task of the agent is to shift the current viewing angle (i.e. action) to the next preferred one (i.e., goal). We propose to directly learn an online policy of the agent from data. We use the policy gradient technique to jointly train our pipeline: by minimizing (1) a regression loss measuring the distance between the selected and ground truth viewing angles, (2) a smoothness loss encouraging smooth transition in viewing angle, and (3) maximizing an expected reward of focusing on a foreground object. To evaluate our method, we build a new 360-Sports video dataset consisting of five sports domains. We train domain-specific agents and achieve the best performance on viewing angle selection accuracy and transition smoothness compared to [51] and other baselines.


title: "Sloppy" nuclear energy density functionals (II): Finite nuclei

abstract: A study of parameter sensitivity of nuclear energy density functionals, initiated in the first part of this work \cite{NV.16}, is extended by the inclusion of data on ground-state properties of finite nuclei in the application of the manifold boundary approximation method (MBAM). Density functionals used in self-consistent mean-field calculations, and nuclear structure models based on them, are generally "sloppy" and exhibit an exponential range of sensitivity to parameter variations. Concepts of information geometry are used to identify the presence of effective functionals of lower dimension in parameter space associated with parameter combinations that can be tightly constrained by data. The MBAM is used in an iterative procedure that systematically reduces the complexity and the dimension of parameter space of a sloppy functional, with properties of nuclear matter and data on finite nuclei determining not only the values of model parameters, but also the optimal functional form of the density dependence.


title: Localized dark solitons and vortices in defocusing media with spatially inhomogeneous nonlinearity

abstract: Recent studies have demonstrated that defocusing cubic nonlinearity with local strength growing from the center to the periphery faster than $r^{D}$, in space of dimension $D$ with radial coordinate $r$, supports a vast variety of robust bright solitons. In the framework of the same model, but with a weaker spatial-growth rate, $\sim r^{\alpha }$ with $\alpha \leq D$, we here test the possibility to create stable\textit{\ localized continuous waves} (LCWs) in one- and two-dimensional (1D and 2D) geometries, \textit{% localized dark solitons} (LDSs) in 1D, and \textit{localized dark vortices} (LDVs) in 2D, which are all realized as loosely confined states with a divergent norm. Asymptotic tails of the solutions, which determine the divergence of the norm, are constructed in a universal analytical form by means of the Thomas-Fermi approximation (TFA). Global approximations for the LCWs, LDSs, and LDVs are constructed on the basis of interpolations between analytical approximations available far from (TFA) and close to the center. In particular, the interpolations for the 1D LDS, as well as for the 2D LDVs, are based on a \textquotedblleft deformed-tanh" expression, which is suggested by the usual 1D dark-soliton solution. In addition to the 1D fundamental LDSs with the single notch, and 2D vortices with $S=1$, higher-order LDSs with multiple notches are found too, as well as double LDVs, with $S=2$. Stability regions for the modes under the consideration are identified by means of systematic simulations, the LCWs being completely stable in 1D and 2D, as they are ground states in the corresponding settings. Basic evolution scenarios are identified for those vortices which are unstable. The settings considered in this work may be implemented in nonlinear optics and in Bose-Einstein condensates.


title: A Comparative Case Study of HTTP Adaptive Streaming Algorithms in Mobile Networks

abstract: HTTP Adaptive Streaming (HAS) techniques are now the dominant solution for video delivery in mobile networks. Over the past few years, several HAS algorithms have been introduced in order to improve user quality-of-experience (QoE) by bit-rate adaptation. Their difference is mainly the required input information, ranging from network characteristics to application-layer parameters such as the playback buffer. Interestingly, despite the recent outburst in scientific papers on the topic, a comprehensive comparative study of the main algorithm classes is still missing. In this paper we provide such comparison by evaluating the performance of the state-of-the-art HAS algorithms per class, based on data from field measurements. We provide a systematic study of the main QoE factors and the impact of the target buffer level. We conclude that this target buffer level is a critical classifier for the studied HAS algorithms. While buffer-based algorithms show superior QoE in most of the cases, their performance may differ at the low target buffer levels of live streaming services. Overall, we believe that our findings provide valuable insight for the design and choice of HAS algorithms according to networks conditions and service requirements.


title: The Monotone Case Approach for the Solution of Certain Multidimensional Optimal Stopping Problems

abstract: This paper studies explicitly solvable multidimensional optimal stopping problems of sum- and product-type in discrete and continuous time using the monotone case approach. It gives a review on monotone case stopping using the Doob decomposition, resp. Doob-Meyer decomposition in continuous time, also in its multiplicative versions. The approach via these decompositions leads to explicit solutions for a variety of examples, including multidimensional versions of the house-selling and burglar's problem, the Poisson disorder problem, and an optimal investment problem.


title: Current Status and Future Plans of T2K

abstract: T2K is a long-baseline neutrino oscillation experiment, in which a muon-neutrino beam is directed over a 295 km baseline from the J-PARC facility to the Super-Kamiokande detector. This allows neutrino oscillation to be studied in two channels: disappearance of muon neutrinos and appearance of electron neutrinos. T2K has collected data using both a neutrino-enhanced and an antineutrino-enhanced beam, and these proceedings present the first T2K results using both neutrino and antineutrino oscillation data. Combining the two data sets gives the first ever sensitivity to neutrino-sector CP violation from T2K data alone, as well as the most precise T2K measurement of the other neutrino oscillation parameters.


title: Active elastohydrodynamics of vesicles in narrow, blind constrictions

abstract: Fluid-resistance limited transport of vesicles through narrow constrictions is a recurring theme in many biological and engineering applications. Inspired by the motor-driven movement of soft membrane-bound vesicles into closed neuronal dendritic spines, here we study this problem using a combination of passive three-dimensional simulations and a simplified semi-analytical theory for active transport of vesicles that are forced through such constrictions by molecular motors. We show that the motion of these objects is characterized by two dimensionless quantities related to the geometry and the strength of forcing relative to the vesicle elasticity. We use numerical simulations to characterize the transit time for a vesicle forced by fluid pressure through a constriction in a channel, and find that relative to an open channel, transport into a blind end leads to the formation of an effective lubrication layer that strongly impedes motion. When the fluid pressure forcing is complemented by forces due to molecular motors that are responsible for vesicle trafficking into dendritic spines, we find that the competition between motor forcing and fluid drag results in multistable dynamics reminiscent of the real system. Our study highlights the role of non-local hydrodynamic effects in determining the kinetics of vesicular transport in constricted geometries.


title: Diffusivities bounds and chaos in holographic Horndeski theories

abstract: We study the thermoelectric DC conductivities of Horndeski holographic models with momentum dissipation. We compute the butterfly velocity $v_B$ and we discuss the existence of universal bounds on charge and energy diffusivities in the incoherent limit related to quantum chaos. We find that the Horndeski coupling represents a subleading contribution to the thermoelectric conductivities in the incoherent limit and therefore it does not affect any of the proposed bounds.


title: Astrometric microlensing

abstract: Astrometric microlensing will offer in the next future a new channel for investigating the nature of both lenses and sources involved in a gravitational microlensing event. The effect, corresponding to the shift of the position of the multiple image centroid with respect to the source star location, is expected to occurr on scales from micro-arcoseconds to milli-arcoseconds depending on the characteristics of the lens-source system. Here, we consider different classes of events (single/binary lens acting on a single/binary source) also accounting for additional effects including the finite source size, the blending and orbital motion. This is particularly important in the era of Gaia observations which is making possible astrometric measurements with unprecedent quality.


title: Characterization of nonequilibrium states of trapped Bose-Einstein condensates

abstract: Generation of different nonequilibrium states in trapped Bose-Einstein condensates is studied by numerically solving nonlinear Schrodinger equation. Inducing nonequilibrium states by shaking the trap, the following states are created: weak nonequilibrium, the state of vortex germs, the state of vortex rings, the state of straight vortex lines, the state of deformed vortices, vortex turbulence, grain turbulence, and wave turbulence. A characterization of nonequilibrium states is advanced by introducing effective temperature, Fresnel number, and Mach number.


title: Fully oscillating sequences and weighted multiple ergodic limit

abstract: We prove that fully oscillating sequences are orthogonal to multiple ergodic realizations of affine maps of zero entropy on compact abelian groups. It is more than what Sarnak's conjecture requires for these dynamical systems.


title: Non-Generic Unramified Representations in Metaplectic Covering Groups

abstract: Let $G^{(r)}$ denote the metaplectic covering group of the linear algebraic group $G$. In this paper we study conditions on unramified representations of the group $G^{(r)}$ not to have a nonzero Whittaker function. We state a general Conjecture about the possible unramified characters $\chi$ such that the unramified sub-representation of $Ind_{B^{(r)}}^{G^{(r)}}\chi\delta_B^{1/2}$ will have no nonzero Whittaker function. We prove this Conjecture for the groups $GL_n^{(r)}$ with $r\ge n-1$, and for the exceptional groups $G_2^{(r)}$ when $r\ne 2$.


title: Charging of highly resistive granular metal films

abstract: We have used the Scanning Kelvin probe microscopy technique to monitor the charging process of highly resistive granular thin films. The sample is connected to two leads and is separated by an insulator layer from a gate electrode. When a gate voltage is applied, charges enter from the leads and rearrange across the sample. We find very slow processes with characteristic charging times exponentially distributed over a wide range of values, resulting in a logarithmic relaxation to equilibrium. After the gate voltage has been switched off, the system again relaxes logarithmically slowly to the new equilibrium. The results cannot be explained with diffusion models, but most of them can be understood with a hopping percolation model, in which the localization length is shorter than the typical site separation. The technique is very promising for the study of slow phenomena in highly resistive systems and will be able to estimate the conductance of these systems when direct macroscopic measurement techniques are not sensitive enough.


title: Non-Inferiority and Equivalence Tests in A Sequential Multiple-Assignment Randomized Trial (SMART)

abstract: Adaptive interventions (AIs) are increasingly becoming popular in medical and behavioral sciences. An AI is a sequence of individualized intervention options that specify for whom and under what conditions different intervention options should be offered, in order to address the changing needs of individuals as they progress over time. The sequential, multiple assignment, randomized trial (SMART) is a novel trial design that was developed to aid in empirically constructing effective AIs. The sequential randomizations in a SMART often yield multiple AIs that are embedded in the trial by design. Many SMARTs are motivated by scientific questions pertaining to the comparison of such embedded AIs. Existing data analytic methods and sample size planning resources for SMARTs are suitable for superiority testing, namely for testing whether one embedded AI yields better primary outcomes on average than another. This represents a major scientific gap since AIs are often motivated by the need to deliver support/care in a less costly or less burdensome manner, while still yielding benefits that are equivalent or non-inferior to those produced by a more costly/burdensome standard of care. Here, we develop data analytic methods and sample size formulas for SMART studies aiming to test the non-inferiority or equivalence of one AI over another. Sample size and power considerations are discussed with supporting simulations, and online sample size planning resources are provided. For illustration, we use an example from a SMART study aiming to develop an AI for promoting weight loss among overweight/obese adults.


title: Uncountable realtime probabilistic classes

abstract: We investigate the minimum cases for realtime probabilistic machines that can define uncountably many languages with bounded error. We show that logarithmic space is enough for realtime PTMs on unary languages. On binary case, we follow the same result for double logarithmic space, which is tight. When replacing the worktape with some limited memories, we can follow uncountable results on unary languages for two counters.


title: Cross-Layer Optimization of Wireless Links under Reliability and Energy Constraints

abstract: The vision of connecting billions of battery operated devices to be used for diverse emerging applications calls for a wireless communication system that can support stringent reliability and latency requirements. Both reliability and energy efficiency are critical for many of these applications that involve communication with short packets which undermine the coding gain achievable from large packets. In this paper, we study a cross-layer approach to optimize the performance of low-power wireless links. At first, we derive a simple and accurate packet error rate (PER) expression for uncoded schemes in block fading channels based on a new proposition that shows that the waterfall threshold in the PER upper bound in Nakagami-m fading channels is tightly approximated by the m-th moment of an asymptotic distribution of PER in AWGN channel. The proposed PER approximation establishes an explicit connection between the physical and link layers parameters, and the packet error rate. We exploit this connection for cross-layer design and optimization of communication links. To this end, we propose a semi-analytic framework to jointly optimize signal-to-noise ratio (SNR) and modulation order at physical layer, and the packet length and number of retransmissions at link layer with respect to distance under the prescribed delay and reliability constraints.