title: Ultraviolet Flux Decrease Under a Grand Minimum from IUE Short Wavelength Observation of Solar Analogs

abstract: We have identified a sample of 33 Sun-like stars observed by the {\it International Ultraviolet Explorer (IUE)} with the short wavelength (SW) spectrographs that have ground-based detections of chromospheric Ca\,II H+K activity. Our objective is to determine if these observations can provide an estimate of the decrease in ultraviolet (UV) surface flux associated with a transition from a normal stellar cycle to a grand minimum state. The activity detections, corrected to solar metallicity, span the range $-$5.16 $<$ log $R'$$_{HK}$ $<$ $-$4.26, and eight stars have log $R'$$_{HK}$ $<$ $-$5.00. The {\it IUE}-observed flux spectra are integrated over the wavelength range 1250$-$1910 \AA , transformed to surface fluxes, and then normalized to solar B $-$ V. These normalized surface fluxes show a strong linear relationship with activity $R'$$_{HK}$ ($R^2$ $=$ 0.857 after three outliers are omitted). From this linear regression we estimate a range in UV flux of 9.3\% over solar cycle 22, and a reduction of 6.9\% below solar cycle minimum under a grand minimum. The 95\% confidence interval in this grand minimum estimate is 5.5\%$-$8.4\%. An alternative estimate is provided by the {\it IUE} observations of $\tau$\,Cet (HD\,10700), a star having strong evidence of being in a grand-minimum state, and this star's normalized surface flux is 23.0$\pm$5.7\% lower than solar cycle minimum.


title: The Planet Formation Imager

abstract: The Planet Formation Imager (PFI, www.planetformationimager.org) is a next-generation infrared interferometer array with the primary goal of imaging the active phases of planet formation in nearby star forming regions. PFI will be sensitive to warm dust emission using mid-infrared capabilities made possible by precise fringe tracking in the near-infrared. An L/M band combiner will be especially sensitive to thermal emission from young exoplanets (and their disks) with a high spectral resolution mode to probe the kinematics of CO and H2O gas. In this paper, we give an overview of the main science goals of PFI, define a baseline PFI architecture that can achieve those goals, point at remaining technical challenges, and suggest activities today that will help make the Planet Formation Imager facility a reality.


title: Efficient Gauss-Newton-Krylov momentum conservation constrained PDE-LDDMM using the band-limited vector field parameterization

abstract: The class of non-rigid registration methods proposed in the framework of PDE-constrained Large Deformation Diffeomorphic Metric Mapping is a particularly interesting family of physically meaningful diffeomorphic registration methods. PDE-constrained LDDMM methods are formulated as constrained variational problems, where the different physical models are imposed using the associated partial differential equations as hard constraints. Inexact Newton-Krylov optimization has shown an excellent numerical accuracy and an extraordinarily fast convergence rate in this framework. However, the Galerkin representation of the non-stationary velocity fields does not provide proper geodesic paths. In a previous work, we proposed a method for PDE-constrained LDDMM parameterized in the space of initial velocity fields under the EPDiff equation. The proposed method provided geodesics in the framework of PDE-constrained LDDMM, and it showed performance competitive to benchmark PDE-constrained LDDMM and EPDiff-LDDMM methods. However, the major drawback of this method was the large memory load inherent to PDE-constrained LDDMM methods and the increased computational time with respect to the benchmark methods. In this work we optimize the computational complexity of the method using the band-limited vector field parameterization closing the loop with our previous works.


title: $p$-adic dynamical systems of $(3,1)$-rational functions with unique fixed point

abstract: We describe the set of all $(3,1)$-rational functions given on the set of complex $p$-adic field $\mathbb C_p$ and having a unique fixed point. We study $p$-adic dynamical systems generated by such $(3,1)$-rational functions and show that the fixed point is indifferent and therefore the convergence of the trajectories is not the typical case for the dynamical systems. We obtain Siegel disks of these dynamical systems. Moreover an upper bound for the set of limit points of each trajectory is given. For each $(3,1)$-rational function on $\mathbb C_p$ there is a point $\hat x=\hat x(f)\in \mathbb C_p$ which is zero in its denominator. We give explicit formulas of radii of spheres (with the center at the fixed point) containing some points that the trajectories (under actions of $f$) of the points after a finite step come to $\hat x$. For a class of $(3,1)$-rational functions defined on the set of $p$-adic numbers $\mathbb Q_p$ we study ergodicity properties of the corresponding dynamical systems. We show that if $p\geq 3$ then the $p$-adic dynamical system reduced on each invariant sphere is not ergodic with respect to Haar measure. For $p=2$, under some conditions we prove non ergodicity and show that there exists a sphere on which the dynamical system is ergodic. Finally, we give a characterization of periodic orbits and some uniformly local properties of the $(3.1)-$rational functions.


title: Black Hole Formation from the Collision of Plane-Fronted Gravitational Waves

abstract: This paper introduces a new effort to study the collision of plane-fronted gravitational waves in four dimensional, asymptotically flat spacetime, using numerical solutions of the Einstein equations. The pure vacuum problem requires singular, Aichelburg-Sexl type sources to achieve finite energy solutions, which are problematic to treat both mathematically and numerically. Instead then, we use null (massless) particles to source non-trivial geometry within the initial wave fronts. The main purposes of this paper are to (a) motivate the problem, (b) introduce methods for numerically solving the Einstein equations coupled to distributions of collisionless massless or massive particles, and (c) present a first result on the formation of black holes in the head-on collision of axisymmetric distributions of null particles. Regarding the last-named, initial conditions are chosen so that a black hole forms promptly, with essentially no matter escaping the collision. This can be interpreted as approaching the ultra-relativistic collision problem from within an infinite boost limit, but where the matter distribution is spread out, and thus non-singular. We find results that are consistent with earlier perturbative calculations of the collision of Aichelburg-Sexl singularities, as well as numerical studies of the high-speed collision of boson stars, black holes, and fluid stars: a black hole is formed containing most of the energy of the spacetime, with the remaining $15\pm1\%$ of the initial energy radiated away as gravitational waves. The methods developed here could be relevant for other problems in strong field gravity and cosmology that involve particle distributions of matter.


title: Multivalley two-dimensional electron system in an AlAs quantum well with mobility exceeding $2\times10^6$ cm$^{2}$V$^{-1}$s$^{-1}$

abstract: Degenerate conduction-band minima, or `valleys', in materials such as Si, AlAs, graphene, and MoS$_2$ allow them to host two-dimensional electron systems (2DESs) that can access a valley degree of freedom. These multivalley 2DESs present exciting opportunities for both pragmatic and fundamental research alike because not only are they a platform for valleytronic devices, but they also provide a tool to tune and investigate the properties of complex many-body ground states. Here, we report ultra-high quality, modulation doped AlAs quantum wells containing 2DESs that occupy two anisotropic valleys and have electron mobilities peaking at $2.4\times10^6$ cm$^{2}$V$^{-1}$s$^{-1}$ at a density of $2.2\times10^{11}$ cm$^{-2}$. This is more than an order of magnitude improvement in mobility over previous results. The unprecedented quality of our samples is demonstrated by magneto-transport data that show high-order fractional quantum Hall minima up to the Landau level filling $\nu=8/17$, and even the elusive $\nu=1/5$ quantum Hall state.


title: Special unipotent groups are split

abstract: We show that over any field $k$, a smooth unipotent algebraic $k$-group is special if and only if it is $k$-split.


title: Load Control and Privacy-Preserving Scheme for Data Collection in AMI Networks

abstract: In Advanced Metering Infrastructure (AMI) systems, smart meters (SM) send fine-grained power consumption information to the utility company, yet this power consumption information can uncover sensitive information about the consumers' lifestyle. To allow the utility company to gather the power consumption information while safeguarding the consumers' privacy, different methods that broadly utilize symmetric key and asymmetric key cryptography operation have been generally utilized. In this paper, we propose an effective method that uses symmetric key cryptography and hashing operation to gather power consumption information. Moreover, provide the utility company with an overview of the type of the appliances used by its power consumer and range of power use. The idea is based on sending cover power consumption information from the smart meters and removes these covers by including every one of the smart meters' messages, with the goal that the utility can take in the accumulated power consumption information, yet cannot take in the individual readings. Our assessments show that the cryptographic operations required in our scheme are substantially more effective than the operations required in other schemes.


title: High-Permittivity Pad Design Tool for 7T Neuroimaging and 3T Body Imaging

abstract: Purpose: High-permittivity materials in the form of flexible 'dielectric pads' have proved very useful for addressing RF inhomogeneities in high field MRI. Finding the optimal design of such pads is however a tedious task, reducing the impact of this technique. In this work we present an easy to use software tool which allows researchers and clinicians to design dielectric pads efficiently on standard computer systems, for 7T neuroimaging and 3T body imaging applications. Methods: The tool incorporates advanced computational methods based on field decomposition and model order reduction as a framework to efficiently evaluate the B1+ fields resulting from dielectric pads. The tool further incorporates an optimization routine to perform either straightforward design for one or two pads based on a target field approach, or a trade-off analysis between homogeneity and efficiency of the B1+ field in a specific region of interest. The 3T version further allows for shifting of the imaging landmark to enable different imaging targets to be centered in the body coil.Results: Example design results are shown for imaging the inner ear at 7T and for cardiac imaging at 3T. Computation times for all cases were under a couple of minutes. The change in homogeneity and efficiency with the pad's dimensions, location, and constitution are clearly listed. Conclusion: The developed tool can be easily used to design pads for any 7T neuroimaging and 3T body imaging application within minutes. This bridges the gap between the advanced design methods and the practical application by the MR community.


title: Neural Sentence Embedding using Only In-domain Sentences for Out-of-domain Sentence Detection in Dialog Systems

abstract: To ensure satisfactory user experience, dialog systems must be able to determine whether an input sentence is in-domain (ID) or out-of-domain (OOD). We assume that only ID sentences are available as training data because collecting enough OOD sentences in an unbiased way is a laborious and time-consuming job. This paper proposes a novel neural sentence embedding method that represents sentences in a low-dimensional continuous vector space that emphasizes aspects that distinguish ID cases from OOD cases. We first used a large set of unlabeled text to pre-train word representations that are used to initialize neural sentence embedding. Then we used domain-category analysis as an auxiliary task to train neural sentence embedding for OOD sentence detection. After the sentence representations were learned, we used them to train an autoencoder aimed at OOD sentence detection. We evaluated our method by experimentally comparing it to the state-of-the-art methods in an eight-domain dialog system; our proposed method achieved the highest accuracy in all tests.


title: Golden Ratio entanglement in hexagonally poled nonlinear crystals

abstract: This work analyses the quantum state of twin photons and twin beams generated by parametric-down conversion in a hexagonally poled photonic crystal,characterized by the simultaneous presence of two nonlinear processes sustained by two vectors of the reciprocal lattice. In those special points of the fluorescence spectrum where the two processes coexist,we show that a tripartite entangled state is realized, equivalent to a single parametric process followed by a beam-splitter. By proper angle tuning a peculiar resonance condition is reached, with a transition to a 4-mode entanglement, dominated by the Golden Ratio of the segment $\phi= (1+\sqrt 5)/2$. A maximal coherence between the two nonlinear processes is here estabilished, as the overall process is shown to be equivalent to two independent parametric processes followed by a beam-splitter. We offer an interpretation of the occurrence of the golden ratio in this system based on an analogy between the evolution of the light modes and the Fibonacci sequence.


title: MYSTIC: Michigan Young STar Imager at CHARA

abstract: We present the design for MYSTIC, the Michigan Young STar Imager at CHARA. MYSTIC will be a K-band, cryogenic, 6-beam combiner for the Georgia State University CHARA telescope array. The design follows the image-plane combination scheme of the MIRC instrument where single-mode fibers bring starlight into a non-redundant fringe pattern to feed a spectrograph. Beams will be injected in polarization-maintaining fibers outside the cryogenic dewar and then be transported through a vacuum feedthrough into the ~220K cold volume where combination is achieved and the light is dispersed. We will use a C-RED One camera (First Light Imaging) based on the eAPD SAPHIRA detector to allow for near-photon-counting performance. We also intend to support a 4-telescope mode using a leftover integrated optics component designed for the VLTI-GRAVITY experiment, allowing better sensitivity for the faintest targets. Our primary science driver motivation is to image disks around young stars in order to better understand planet formation and how forming planets might influence disk structures.


title: A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

abstract: This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set of stopwatch automata in UPPAAL to verify its schedulability by model checking. However, direct model checking is infeasible due to the large state space. Therefore, we introduce the compositional analysis that checks each partition including its communication environment individually. Based on a notion of message interfaces, a number of message sender automata are built to model the environment for a partition. We define a timed selection simulation relation, which supports the construction of composite message interfaces. By using assume-guarantee reasoning, we ensure that each task meets the deadline and that communication constraints are also fulfilled globally. The approach is applied to the analysis of a concrete DIMA system.


title: Microarrays denoising via smoothing of coefficients in wavelet domain

abstract: We describe a novel method for removing noise (in wavelet domain) of unknown variance from microarrays. The method is based on a smoothing of the coefficients of the highest subbands. Specifically, we decompose the noisy microarray into wavelet subbands, apply smoothing within each highest subband, and reconstruct a microarray from the modified wavelet coefficients. This process is applied a single time, and exclusively to the first level of decomposition, i.e., in most of the cases, it is not necessary a multirresoltuion analysis. Denoising results compare favorably to the most of methods in use at the moment.


title: On quantum separation of variables

abstract: We present a new approach to construct the separate variables basis leading to the full characterization of the transfer matrix spectrum of quantum integrable lattice models. The basis is generated by the repeated action of the transfer matrix itself on a generically chosen state of the Hilbert space. The fusion relations for the transfer matrix, stemming from the Yang-Baxter algebra properties, provide the necessary closure relations to define the action of the transfer matrix on such a basis in terms of elementary local shifts, leading to a separate transfer matrix spectral problem. Hence our scheme extends to the quantum case a key feature of Liouville-Arnold classical integrability framework where the complete set of conserved charges defines both the level manifold and the flows on it leading to the construction of action-angle variables. We work in the framework of the quantum inverse scattering method. As a first example of our approach, we give the construction of such a basis for models associated to Y(gln) and argue how it extends to their trigonometric and elliptic versions. Then we show how our general scheme applies concretely to fundamental models associated to the Y(gl2) and Y(gl3) R-matrices leading to the full characterization of their spectrum. For Y(gl2) and its trigonometric deformation a particular case of our method reproduces Sklyanin's construction of separate variables. For Y(gl3) it gives new results, in particular through the proper identification of the shifts acting on the separate basis. We stress that our method also leads to the full characterization of the spectrum of other known quantum integrable lattice models, including in particular trigonometric and elliptic spin chains, open chains with general integrable boundaries, and further higher rank cases that we will describe in forthcoming publications.


title: State-of-the-art and gaps for deep learning on limited training data in remote sensing

abstract: Deep learning usually requires big data, with respect to both volume and variety. However, most remote sensing applications only have limited training data, of which a small subset is labeled. Herein, we review three state-of-the-art approaches in deep learning to combat this challenge. The first topic is transfer learning, in which some aspects of one domain, e.g., features, are transferred to another domain. The next is unsupervised learning, e.g., autoencoders, which operate on unlabeled data. The last is generative adversarial networks, which can generate realistic looking data that can fool the likes of both a deep learning network and human. The aim of this article is to raise awareness of this dilemma, to direct the reader to existing work and to highlight current gaps that need solving.


title: First hitting and strong metastability times

abstract: In the setting of non-reversible Markov chains on finite or countable state space, exact results on the distribution of the first hitting time to a given set $G$ are obtained. A new notion of "strong metastability time" is introduced to describe the local relaxation time. This time is defined via a generalization of the strong stationary time to a "conditionally strong quasi-stationary time"(CSQST). Rarity of the target set $G$ is not required and the initial distribution can be completely general. The results clarify the the role played by the initial distribution on the exponential law; they are used to give a general notion of metastability and to discuss the relation between the exponential distribution of the first hitting time and metastability.


title: SafeDrive: Enhancing Lane Appearance for Autonomous and Assisted Driving Under Limited Visibility

abstract: Autonomous detection of lane markers improves road safety, and purely visual tracking is desirable for widespread vehicle compatibility and reducing sensor intrusion, cost, and energy consumption. However, visual approaches are often ineffective because of a number of factors; e.g., occlusion, poor weather conditions, and paint wear-off. We present an approach to enhance lane marker appearance for assisted and autonomous driving, particularly under poor visibility. Our method, named SafeDrive, attempts to improve visual lane detection approaches in drastically degraded visual conditions. SafeDrive finds lane markers in alternate imagery of the road at the vehicle's location and reconstructs a sparse 3D model of the surroundings. By estimating the geometric relationship between this 3D model and the current view, the lane markers are projected onto the visual scene; any lane detection algorithm can be subsequently used to detect lanes in the resulting image. SafeDrive does not require additional sensors other than vision and location data. We demonstrate the effectiveness of our approach on a number of test cases obtained from actual driving data recorded in urban settings.


title: Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4

abstract: Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation and model checking have been traditionally used for the probabilistic analysis of DFTs. Simulation is usually based on sampling and thus its results are not guaranteed to be complete, whereas model checking employs computer arithmetic and numerical algorithms to compute the exact values of probabilities, which contain many round-off errors. Leveraging upon the expressive and sound nature of higher-order-logic (HOL) theorem proving, we propose, in this work, a formalization of DFT gates and their probabilistic behavior as well as some of their simplification properties in HOL. This formalization would allow us to conduct the probabilistic analysis of DFTs by verifying generic mathematical expressions about their behavior in HOL. In particular, we formalize the AND, OR, Priority-AND, Functional DEPendency, Hot SPare, Cold SPare and the Warm SPare gates and also verify their corresponding probabilistic expressions in HOL. Moreover, we formally verify an important property, Pr(X<Y), using the Lebesgue integral as this relationship allows us to reason about the probabilistic properties of Priority-AND gate and the Before operator. We also formalize the notion of conditional densities in order to formally verify the probabilistic expressions of the Cold SPare and the Warm SPare gates. For illustrating the usefulness of our formalization, we use it to formally analyze the DFT of a Cardiac Assist System.


title: 1/f Noise Reduction using In-Pixel Chopping in CMOS Image Sensor

abstract: In this paper, an in-pixel chopping technique to reduce the low-frequency or 1/f noise of the source follower (SF) transistor in an active pixel sensor (APS) is presented. The SF low-frequency noise is modulated at higher frequencies through chopping, implemented inside the pixel, and in later stage eliminated using low-pass filtering. To implement the chopping, the conventional 3T APS architecture is modified, with only one additional transistor of minimum size per pixel. Reduction in the noise also enhances the dynamic range (DR) of the image sensor. The test circuit is fabricated in UMC 0.18 um standard CMOS technology. The measured results show a reduction of 1/f noise by approximately 22 dB for 50 MHz chopping frequency.


title: Trajectory Optimization for Cooperative Dual-band UAV Swarms

abstract: Unmanned aerial vehicles (UAVs) have gained a lot of popularity in diverse wireless communication fields. They can act as high-altitude flying relays to support communications between ground nodes due to their ability to provide line-of-sight links. With the flourishing Internet of Things, several types of new applications are emerging. In this paper, we focus on bandwidth hungry and delay-tolerant applications where multiple pairs of transceivers require the support of UAVs to complete their transmissions. To do so, the UAVs have the possibility to employ two different bands namely the typical microwave and the high-rate millimeter wave bands. In this paper, we develop a generic framework to assign UAVs to supported transceivers and optimize their trajectories such that a weighted function of the total service time is minimized. Taking into account both the communication time needed to relay the message and the flying time of the UAVs, a mixed non-linear programming problem aiming at finding the stops at which the UAVs hover to forward the data to the receivers is formulated. An iterative approach is then developed to solve the problem. First, a mixed linear programming problem is optimally solved to determine the path of each available UAV. Then, a hierarchical iterative search is executed to enhance the UAV stops' locations and reduce the service time. The behavior of the UAVs and the benefits of the proposed framework are showcased for selected scenarios.


title: Thermal and non-thermal connection in radio mini-halos

abstract: Several cool-core clusters are known to host a radio mini-halo, a diffuse, steep-spectrum radio source located in their cores, thus probing the presence of non-thermal components as magnetic field and relativistic particles on scales not directly influenced by the central AGN. The nature of the mechanism that produces a population of radio-emitting relativistic particles on the scale of hundreds of kiloparsecs is still unclear. At the same time, it is still debated if the central AGN may play a role in the formation of mini-halos by providing the seed of the relativistic particles. We aim to investigate these open issues by studying the connection between thermal and non-thermal components of the intra-cluster medium. We performed a point-to-point analysis of the radio and the X-ray surface brightness of a compilation of mini-halos. We find that mini-halos have super-linear scalings between radio and X-rays, with radio brightness declining more steeply than the X-ray brightness. This trend is opposite to that generally observed in giant radio halos, thus marking a possible difference in the physics of the two radio sources. Finally, using the scalings between radio and X-rays and assuming a hadronic origin of mini-halos we derive constraints on the magnetic field in the core of the hosting clusters.


title: Enumerating Cryptarithms Using Deterministic Finite Automata

abstract: A cryptarithm is a mathematical puzzle where given an arithmetic equation written with letters rather than numerals, a player must discover an assignment of numerals on letters that makes the equation hold true. In this paper, we propose a method to construct a DFA that accepts cryptarithms that admit (unique) solutions for each base. We implemented the method and constructed a DFA for bases $k \le 7$. Those DFAs can be used as complete catalogues of cryptarithms,whose applications include enumeration of and counting the exact numbers $G_k(n)$ of cryptarithm instances with $n$ digits that admit base-$k$ solutions. Moreover, explicit formulas for $G_2(n)$ and $G_3(n)$ are given.


title: Tidal deformability and other global parameters of compact stars with strong phase transitions

abstract: Using parametric equations of state (relativistic polytropes and a simple quark bag model) to model dense-matter phase transitions, we study global, measurable astrophysical parameters of compact stars such as their allowed radii and tidal deformabilities. We also investigate the influence of stiffness of matter before the onset of the phase transitions on the parameters of the possible exotic dense phase. The aim of our study is to compare the parameter space of the dense matter equation of state permitting phase transitions to a sub-space compatible with current observational constraints such as the maximum observable mass, tidal deformabilities of neutron star mergers, radii of configurations before the onset of the phase transition, and to give predictions for future observations. We studied solutions of the Tolman-Oppenheimer-Volkoff equations for a flexible set of parametric equations of state. We compare tidal deformabilities of stars with weak and strong phase transitions with the results of the GW170817 neutron star merger. Specifically, we study characteristic phase transition features in the $\Lambda_1-\Lambda_2$ relation, and estimate the deviations of our results from the approximate formul{\ae} for $\tilde{\Lambda}-R(M_1)$ and $\Lambda$-compactness proposed in the literature. We find constraints on the hybrid equations of state to produce stable neutron stars on the twin branch. For the exemplary equations of state most of the high-mass twins occur for the minimum values of the density jump $\lambda = 1.33-1.54$; corresponding values of the square of the speed of sound are $\alpha = 0.7-0.37$. We compare results with observations of gravitational waves and with the theoretical causal limit and find that the minimum radius of a twin branch is 9.5 - 10.5 km. For these solutions, the phase transition occurs below 0.56 [fm$^{-3}$].


title: A Hierarchical Approach to Neural Context-Aware Modeling

abstract: We present a new recurrent neural network topology to enhance state-of-the-art machine learning systems by incorporating a broader context. Our approach overcomes recent limitations with extended narratives through a multi-layered computational approach to generate an abstract context representation. Therefore, the developed system captures the narrative on word-level, sentence-level, and context-level. Through the hierarchical set-up, our proposed model summarizes the most salient information on each level and creates an abstract representation of the extended context. We subsequently use this representation to enhance neural language processing systems on the task of semantic error detection. To show the potential of the newly introduced topology, we compare the approach against a context-agnostic set-up including a standard neural language model and a supervised binary classification network. The performance measures on the error detection task show the advantage of the hierarchical context-aware topologies, improving the baseline by 12.75% relative for unsupervised models and 20.37% relative for supervised models.


title: Testing the Efficient Network TRaining (ENTR) Hypothesis: initially reducing training image size makes Convolutional Neural Network training for image recognition tasks more efficient

abstract: Convolutional Neural Networks (CNN) for image recognition tasks are seeing rapid advances in the available architectures and how networks are trained based on large computational infrastructure and standard datasets with millions of images. In contrast, performance and time constraints for example, of small devices and free cloud GPUs necessitate efficient network training (i.e., highest accuracy in the shortest inference time possible), often on small datasets. Here, we hypothesize that initially decreasing image size during training makes the training process more efficient, because pre-shaping weights with small images and later utilizing these weights with larger images reduces initial network parameters and total inference time. We test this Efficient Network TRaining (ENTR) Hypothesis by training pre-trained Residual Network (ResNet) models (ResNet18, 34, & 50) on three small datasets (steel microstructures, bee images, and geographic aerial images) with a free cloud GPU. Based on three training regimes of i) not, ii) gradually or iii) in one step increasing image size over the training process, we show that initially reducing image size increases training efficiency consistently across datasets and networks. We interpret these results mechanistically in the framework of regularization theory. Support for the ENTR hypothesis is an important contribution, because network efficiency improvements for image recognition tasks are needed for practical applications. In the future, it will be exciting to see how the ENTR hypothesis holds for large standard datasets like ImageNet or CIFAR, to better understand the underlying mechanisms, and how these results compare to other fields such as structural learning.


title: UH-PRHLT at SemEval-2016 Task 3: Combining Lexical and Semantic-based Features for Community Question Answering

abstract: In this work we describe the system built for the three English subtasks of the SemEval 2016 Task 3 by the Department of Computer Science of the University of Houston (UH) and the Pattern Recognition and Human Language Technology (PRHLT) research center - Universitat Polit`ecnica de Val`encia: UH-PRHLT. Our system represents instances by using both lexical and semantic-based similarity measures between text pairs. Our semantic features include the use of distributed representations of words, knowledge graphs generated with the BabelNet multilingual semantic network, and the FrameNet lexical database. Experimental results outperform the random and Google search engine baselines in the three English subtasks. Our approach obtained the highest results of subtask B compared to the other task participants.


title: Preference Identification

abstract: An experimenter seeks to learn a subject's preference relation. The experimenter produces pairs of alternatives. For each pair, the subject is asked to choose. We argue that, in general, large but finite data do not give close approximations of the subject's preference, even when the limiting (countably infinite) data are enough to infer the preference perfectly. We provide sufficient conditions on the set of alternatives, preferences, and sequences of pairs so that the observation of finitely many choices allows the experimenter to learn the subject's preference with arbitrary precision. While preferences can be identified under our sufficient conditions, we show that it is harder to identify utility functions. We illustrate our results with several examples, including consumer choice, expected utility, and preferences in the Anscombe-Aumann model.


title: Comments on the Three-Slit Experiment and Quantum Mechanics

abstract: It has been suggested by Sorkin that a three-slit Young experiment could reveal the validity a fundamental ingredient in the foundations of one of the cornerstones in modern physics namely quantum mechanics. In terms of a certain parameter $\kappa_S$, it was argued that a non-zero value could imply a breakdown of the fundamental Born's rule as well as the superposition principle. Here we argue that a physical realization of such arguments could lead to an erroneous conclusion and contradict the basic rules of quantum mechanics. In fact, we argue that a proper interpretation of the procedures involved in a physical determination of $\kappa_S$ does not necessarily lead to $\kappa_S=0$. In order to show this we consider a mono-chromatic source of photons prepared in an {\it arbitrary} quantum state and a simple version of the well-established photon detection theory of Glauber which, by construction, obeys all the rules of quantum mechanics. It is, however, also argued that after a proper identification of the relevant quantum-mechanical probability amplitudes one can be reach $\kappa_S=0$. As long as one only consider a single photon detector, it is verified that, in this context, there is no fundamental difference between quantum-mechanical interference and interference as expressed in terms of classical electro-magnetic waves.


title: Nonequilibrium Phases and Segregation for Skyrmions on Periodic Pinning Arrays

abstract: Using particle-based simulations, we examine the collective dynamics of skyrmions interacting with periodic pinning arrays, focusing on the impact of the Magnus force on the sliding phases. As a function of increasing pinning strength, we find a series of distinct dynamical phases, including an interstitial flow phase, a moving disordered state, a moving crystal, and a segregated cluster state. The transitions between these states produce signatures in the skyrmion lattice structure, the skyrmion Hall angle, the velocity fluctuation distributions, and the velocity-force curves. The moving clustered state is similar to the segregated state recently observed in continuum-based simulations with strong quenched disorder. The segregation arises from the drive dependence of the skyrmion Hall angle, and appears in the strong pinning limit when the skyrmions have nonuniform velocities, causing different portions of the sample to have different effective skyrmion Hall angles. We map the evolution of the dynamic phases as a function of the system density, the ratio of the Magnus force to the dissipative term, and the ratio of the number of skyrmions to the number of pinning sites.


title: Nearly triple nodal point topological phase in half-metallic GdN

abstract: Recent developments in topological semimetals open a way to realize relativistic dispersions in condensed matter systems. One recently studied type of topological feature is the "triple nodal point" where three bands become degenerate. In contrast to Weyl and Dirac nodes, triple nodal points, which are protected by a rotational symmetry, have nodal lines attached, so that a characterization in terms of a chirality is not possible. Previous studies of triple nodal points considered nonmagnetic systems, although an artificial Zeeman splitting was used to probe the topological nature. Here instead we treat a ferromagnetic material, half-metallic GdN, where the splitting of the triple nodal points comes from the spin-orbit coupling. The size of the splitting ranges from 15 to 150 meV depending on the magnetization orientation, enabling a transition between a Weyl-point phase and a "nearly triple nodal point" phase that exhibits very similar surface spectra and transport properties compared to a true triple-node system. The rich topological surface states, manipulable via the orientation of the magnetization, make half-metallic GdN a promising platform for future investigations and applications.


title: The MAVERIC survey: A transitional millisecond pulsar candidate in Terzan 5

abstract: Transitional millisecond pulsars are accreting millisecond pulsars that switch between accreting X-ray binary and millisecond radio pulsar states. Only a handful of these objects have been identified so far. Terzan 5 CX1 is a variable hard X-ray source in the globular cluster Terzan 5. In this paper, we identify a radio counterpart to CX1 in deep Very Large Array radio continuum data. Chandra observations over the last fourteen years indicate that CX1 shows two brightness states: in 2003 and 2016 the source was the brightest X-ray source in the cluster (at L$_X \sim 10^{33}$ erg s$^{-1}$), while in many intermediate observations, its luminosity was almost an order of magnitude lower. We analyze all available X-ray data of CX1, showing that the two states are consistent with the spectral and variability properties observed for the X-ray active and radio pulsar states of known transitional millisecond pulsars. Finally, we discuss the prospects for the detection of CX1 as a radio pulsar in existing timing data.


title: Acquisition of Localization Confidence for Accurate Object Detection

abstract: Modern CNN-based object detectors rely on bounding box regression and non-maximum suppression to localize objects. While the probabilities for class labels naturally reflect classification confidence, localization confidence is absent. This makes properly localized bounding boxes degenerate during iterative regression or even suppressed during NMS. In the paper we propose IoU-Net learning to predict the IoU between each detected bounding box and the matched ground-truth. The network acquires this confidence of localization, which improves the NMS procedure by preserving accurately localized bounding boxes. Furthermore, an optimization-based bounding box refinement method is proposed, where the predicted IoU is formulated as the objective. Extensive experiments on the MS-COCO dataset show the effectiveness of IoU-Net, as well as its compatibility with and adaptivity to several state-of-the-art object detectors.


title: The Efficiency of Geometric Samplers for Exoplanet Transit Timing Variation Models

abstract: Transit timing variations (TTVs) are a valuable tool to determine the masses and orbits of transiting planets in multi-planet systems. TTVs can be readily modeled given knowledge of the interacting planets' orbital configurations and planet-star mass ratios, but such models are highly nonlinear and difficult to invert. Markov chain Monte Carlo (MCMC) methods are often used to explore the posterior distribution for model parameters, but, due to the high correlations between parameters, nonlinearity, and potential multi-modality in the posterior, many samplers perform very inefficiently. Therefore, we assess the performance of several MCMC samplers that use varying degrees of geometric information about the target distribution. We generate synthetic datasets from multiple models, including the TTVFaster model and a simple sinusoidal model, and test the efficiencies of various MCMC samplers. We find that sampling efficiency can be greatly improved for all models by sampling from a parameter space transformed using an estimate of the covariance and means of the target distribution. No one sampler performs the best for all datasets, but several samplers, such as Differential Evolution Monte Carlo and Geometric adaptive Monte Carlo, have consistently efficient performance. For datasets with near Gaussian posteriors, Hamiltonian Monte Carlo samplers with 2 or 3 leapfrog steps obtained the highest efficiencies. Based on differences in effective sample sizes per time, we show that the right choice of sampler can improve sampling efficiencies by several orders of magnitude.


title: Analytical Modeling of a Two-Dimensional Waveguide-Fed Metasurface

abstract: We develop a fast, accurate, and robust technique to model the electromagnetic response of a two-dimensional (2D) waveguide-fed metasurface aperture. The geometry under consideration consists of a parallel-plate waveguide with an array of subwavelength, complementary metamaterial elements patterned into one of the conducting surfaces. To determine the radiated field, we model each radiating element as a polarizable dipole, and account for mutual interactions among elements via guided and radiated fields by applying a coupled dipole framework. Using full-wave simulations of parallel-plate waveguides with two types of metamaterial elements, we confirm the validity of the proposed coupled dipole model and demonstrate the ability to predict radiation patterns corresponding to arbitrarily arranged elements. We explore the importance of including the mutual coupling among metamaterial elements to arrive at accurate field predictions. The coupled dipole modeling framework presented is scalable to extremely large apertures and can form the foundation for a general, efficient, yet simple aperture analysis and synthesis tool.


title: Non-Hermiticities even in quantum systems that are closed

abstract: Rarely noted paradoxes and their resolution lead to non-Hermitian behaviors due to boundary terms, even for closed systems and with real potentials. The role played by these non-Hermiticities on quantum mechanical uncertainty relations is discussed, especially in multiply-connected spaces. These subtleties, reflections of topological quantum anomalies (for any dimensionality, for both Schrodinger and Dirac/Weyl Hamiltonians and for either continuous or lattice (tight-binding) models) can always be written as global fluxes of certain generalized current densities Jg. In continuous nonrelativistic models, these have the forms that had earlier been used by Chemists, while for Dirac/Weyl or other lattice models they have relativistic forms only recently worked out. Examples are provided where such non-Hermiticities have a direct physical significance (for both conventional and topological materials). In all examples considered, these non-Hermitian boundary terms turn out to be quantized, the quantization being either of conventional or of a topological (Quantum Hall Effect (QHE))-type. The latter claim is substantiated through application to a simple QHE arrangement (2D Landau system in an external in-plane electric field), where some particular Jg is related to the well-known edge currents. The non-Hermitian terms play a subtle role on Berry curvatures in solids and seem to be crucial for the consistent application of the Modern Theories of Polarization and Orbital Magnetization. It is emphasized that the above systems can be closed (in multiply-connected space, so that the boundaries disappear, but the non-Hermiticity remains), a case in non-Hermitian physics that has not been discussed. A mapping between the above non-Hermiticity and the many recent available results in tight-binding Solid State models will lead to enhanced understanding of quantum behavior at the most fundamental level.


title: Zero-free neighborhood around the unit circle for Kac polynomials

abstract: In this paper, we study how the roots of the so-called Kac polynomial $W_n(z) = \sum_{k=0}^{n-1} \xi_k z^k$ are concentrating to the unit circle when its coefficients of $W_n$ are independent and identically distributed non-degenerate real random variables. It is well-known that the roots of a Kac polynomial are concentrating around the unit circle as $n\to\infty$ if and only if $\mathbb{E}[\log( 1+ |\xi_0|)]<\infty$. Under the condition of $\mathbb{E}[\xi^2_0]<\infty$, we show that there exists an annulus of width $\mathrm{O}(n^{-2}(\log n)^{-3})$ around the unit circle which is free of roots with probability $1-\mathrm{O}({(\log n)^{-{1}/{2}}})$. The proof relies on the so-called small ball probability inequalities and the least common denominator.


title: Revisit of renormalization of Einstein-Maxwell theory at one-loop

abstract: In a series of recent works based on foliation-based quantization in which renormalizability has been achieved for the physical sector of the theory, we have shown that the use of the standard graviton propagator interferes, due to the presence of the trace mode, with the 4D covariance. A subtlety in the background field method also requires careful handling. This status of the matter motivated us to revisit an Einstein-scalar system in one of the sequels. Continuing the endeavors, we revisit the one-loop renormalization of an Einstein-Maxwell system in the present work. The systematic renormalization of the cosmological and Newton's constants is carried out by applying the refined background field method. One-loop beta function of the vector coupling constant is explicitly computed and compared with the literature. The longstanding problem of gauge choice-dependence of the effective action is addressed and the manner in which the gauge-choice independence is restored in the present framework is discussed. The formalism also sheds light on background independent analysis. The renormalization involves a metric field redefinition originally introduced by `t Hooft; with the field redefinition the theory should be predictive.


title: Automorphisms of OT manifolds and ray class numbers

abstract: We compute the automorphism group of OT manifolds of simple type. We show that the graded pieces under a natural filtration are related to a certain ray class group of the underlying number field. This does not solve the open question whether the geometry of the OT manifold sees the class number directly, but brings us a lot closer to a possible solution.


title: A Simple Near-Linear Pseudopolynomial Time Randomized Algorithm for Subset Sum

abstract: Given a multiset $S$ of $n$ positive integers and a target integer $t$, the Subset Sum problem asks to determine whether there exists a subset of $S$ that sums up to $t$. The current best deterministic algorithm, by Koiliaris and Xu [SODA'17], runs in $\tilde O(\sqrt{n}t)$ time, where $\tilde O$ hides poly-logarithm factors. Bringmann [SODA'17] later gave a randomized $\tilde O(n + t)$ time algorithm using two-stage color-coding. The $\tilde O(n+t)$ running time is believed to be near-optimal. In this paper, we present a simple and elegant randomized algorithm for Subset Sum in $\tilde O(n + t)$ time. Our new algorithm actually solves its counting version modulo prime $p>t$, by manipulating generating functions using FFT.


title: Pulse Sequence Resilient Fast Brain Segmentation

abstract: Accurate automatic segmentation of brain anatomy from $T_1$-weighted~($T_1$-w) magnetic resonance images~(MRI) has been a computationally intensive bottleneck in neuroimaging pipelines, with state-of-the-art results obtained by unsupervised intensity modeling-based methods and multi-atlas registration and label fusion. With the advent of powerful supervised convolutional neural networks~(CNN)-based learning algorithms, it is now possible to produce a high quality brain segmentation within seconds. However, the very supervised nature of these methods makes it difficult to generalize them on data different from what they have been trained on. Modern neuroimaging studies are necessarily multi-center initiatives with a wide variety of acquisition protocols. Despite stringent protocol harmonization practices, it is not possible to standardize the whole gamut of MRI imaging parameters across scanners, field strengths, receive coils etc., that affect image contrast. In this paper we propose a CNN-based segmentation algorithm that, in addition to being highly accurate and fast, is also resilient to variation in the input $T_1$-w acquisition. Our approach relies on building approximate forward models of $T_1$-w pulse sequences that produce a typical test image. We use the forward models to augment the training data with test data specific training examples. These augmented data can be used to update and/or build a more robust segmentation model that is more attuned to the test data imaging properties. Our method generates highly accurate, state-of-the-art segmentation results~(overall Dice overlap=0.94), within seconds and is consistent across a wide-range of protocols.


title: Fast and Robust Symmetric Image Registration Based on Distances Combining Intensity and Spatial Information

abstract: Intensity-based image registration approaches rely on similarity measures to guide the search for geometric correspondences with high affinity between images. The properties of the used measure are vital for the robustness and accuracy of the registration. In this study a symmetric, intensity interpolation-free, affine registration framework based on a combination of intensity and spatial information is proposed. The excellent performance of the framework is demonstrated on a combination of synthetic tests, recovering known transformations in the presence of noise, and real applications in biomedical and medical image registration, for both 2D and 3D images. The method exhibits greater robustness and higher accuracy than similarity measures in common use, when inserted into a standard gradient-based registration framework available as part of the open source Insight Segmentation and Registration Toolkit (ITK). The method is also empirically shown to have a low computational cost, making it practical for real applications. Source code is available.


title: Ground-state cooling of a nanomechanical oscillator with N spins

abstract: Typical of modern quantum technologies employing nanomechanical oscillators is to demand few mechanical quantum excitations, for instance, to prolong coherence times of a particular task or, to engineer a specific non-classical state. For this reason, we devoted the present work to exhibit how to bring an initial thermalized nanomechanical oscillator near to its ground state. Particularly, we focus on extending the novel results of D. D. B. Rao \textit{et al.}, Phys. Rev. Lett. \textbf{117}, 077203 (2016), where a mechanical object can be heated up, squeezed, or cooled down near to its ground state through conditioned single-spin measurements. In our work, we study a similar iterative spin-mechanical system when $N$ spins interact with the mechanical oscillator. Here, we have also found that the postselection procedure acts as a discarding process, i.e., we steer the mechanics to the ground state by dynamically filtering its vibrational modes. We show that when considering symmetric collective spin postselection, the inclusion of $N$ spins into the quantum dynamics results highly beneficial. In particular, decreasing the total number of iterations to achieve the ground-state, with a success rate of probability comparable with the one obtained from the single-spin case.


title: On semidualizing modules of ladder determinantal rings

abstract: We identify all semidualizing modules over certain classes of ladder determinantal rings over a field ${\mathsf k}$. Specifically, given a ladder of variables $Y$, we show that the ring ${\mathsf k}[Y]/I_t(Y)$ has only trivial semidualizing modules up to isomorphism in the following cases: (1) $Y$ is a one-sided ladder, and (2) $Y$ is a two-sided ladder with $t=2$ and no coincidental inside corners.


title: Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections

abstract: Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of non-crossing trees is a free ternary magma with one generator and this duality is an instance of a duality that is defined in any such magma. Any two free ternary magmas with one generator are isomorphic via a unique isomorphism that we call the structural bijection. Besides the set of non-crossing trees we also consider as free ternary magmas with one generator the set of ternary trees, the set of quadrangular dissections, and the set of flagged Perfectly Chain Decomposed Ditrees, and we give topological and/or combinatorial interpretations of the structural bijections between them. In particular the bijection from the set of quadrangular dissections to the set of non-crossing trees seems to be new. Further we give explicit formulas for the number of self-dual labeled and unlabeled non-crossing trees and the set of quadrangular dissections up to rotations and up to rotations and reflections.


title: Multi-refractive-index metamaterials based on subwavelength waveguide arrays

abstract: We demonstrate a metamaterial that cannot be described by a single set of refractive-index and impedance values, even for fixed frequency and polarization. The metamaterial structure is a stack of dissimilar waveguides with subwavelength width and spacing, which guide light at different phase velocities. This multi-refractive-index metamaterial (MRIM) can be viewed as a spatial superposition of multiple homogeneous materials. Using full-wave simulations, we demonstrate several optical components based on MRIMs, including prisms that deflect light to multiple angles, lenses with multiple focal points, and multi-index Fabry-Perot etalons with an enhanced density of resonant modes. We provide a theoretical framework for analyzing MRIMs to determine effective refractive indices, fractions of power to each channel (i.e., to each refractive index), and transmittance.


title: Landau-Zener Transitions and Rabi Oscillations in a Cooper-Pair Box: Beyond Two-Level Models

abstract: We investigate quantum interference effects in a superconducting Cooper-pair box by taking into account the possibility of tunneling processes involving one and two Cooper pairs. The quantum dynamics is analysed in a framework of three-level model. We compute Landau-Zener probabilities for a linear sweep of the gate charge and investigate Rabi oscillations in a periodically driven three-level system under in- and off- resonance conditions. It was shown that the Landau-Zener probabilities reveal two different patterns: "step" and "beats"-like behaviours associated with the quantum interference effects. Control on these two regimes is provided by change of the ratio between two characteristic time scales of the problem. We demonstrate through the analysis of a periodically driven three-level system, that if a direct transition between certain pairs of levels is allowed and fine-tuned to a resonance, the problem is mapped to the two-level Rabi model. If the transition between pair of levels is forbidden, the off-resonance Rabi oscillations involving second order in tunneling processes are predicted. This effect can be observed by measuring a population difference slowly varying in time between the states of the Cooper-pair box characterised by the same parity.


title: Doubly Attentive Transformer Machine Translation

abstract: In this paper a doubly attentive transformer machine translation model (DATNMT) is presented in which a doubly-attentive transformer decoder normally joins spatial visual features obtained via pretrained convolutional neural networks, conquering any gap between image captioning and translation. In this framework, the transformer decoder figures out how to take care of source-language words and parts of an image freely by methods for two separate attention components in an Enhanced Multi-Head Attention Layer of doubly attentive transformer, as it generates words in the target language. We find that the proposed model can effectively exploit not just the scarce multimodal machine translation data, but also large general-domain text-only machine translation corpora, or image-text image captioning corpora. The experimental results show that the proposed doubly-attentive transformer-decoder performs better than a single-decoder transformer model, and gives the state-of-the-art results in the English-German multimodal machine translation task.


title: Benchmarking and validation of global model code for negative hydrogen ion sources

abstract: Benchmarking and validation are prerequisite for using simulation codes as predictive tools. In this work, we have developed a Global Model for Negative Hydrogen Ion Source (GMNHIS) and performed benchmarking of GMNHIS against another independently developed code, Global Enhanced Vibrational Kinetic Model (GEVKM). This is the first study to present quite comprehensive benchmarking test of this kind for models of negative hydrogen ion sources (NHIS), and very good agreement has been achieved for electron temperature, vibrational distribution function (VDF) of hydrogen molecules, and n_H^-/n_e ratio. The small discrepancies in number densities of negative hydrogen ions, positive ions, as well as hydrogen atoms can be attributed to the differences in the predicted electron number density for given discharge power. Higher electron number density obtained with GMNHIS is possibly due to fewer dissociation channels accounted for in GMNHIS, leading to smaller energy loss. In addition, we validated GMNHIS against experimental data obtained in an electron cyclotron resonance (ECR) discharge used for H^- production. The model qualitatively (and even quantitatively for certain conditions) reproduces the experimental H^- number density. The H^- number density as a function of pressure first increases at pressures below 12 mTorr, and then saturates for higher pressures. This dependence was analyzed by evaluating contributions from different reaction pathways to the creation and loss of the H^- ions. The developed codes can be used for predicting the H^- production, improving the performance of NHIS, and ultimately optimizing the parameters of negative ion beams for ITER.


title: Pareto-Optimization Framework for Automated Network-on-Chip Design

abstract: With the advent of multi-core processors, network-on-chip design has been key in addressing network performances, such as bandwidth, power consumption, and communication delays when dealing with on-chip communication between the increasing number of processor cores. As the numbers of cores increase, network design becomes more complex. Therefore, there is a critical need in soliciting computer aid in determining network configurations that afford optimal performance given resources and design constraints. We propose a Pareto-optimization framework that explores the space of possible network configurations to determine optimal network latencies, power consumption, and the corresponding link allocations. For a given number of routers, average network latency and power consumption as example performance objectives can be displayed in form of Pareto-optimal fronts, thus not only offering a design tool, but also enabling trade-off studies.


title: Observation of Quantum Interference and Coherent Control in a Photochemical Reaction

abstract: Coherent control of reactants remains a longstanding challenge in quantum chemistry. In particular, we have studied laser-induced molecular formation (photoassociation) in a Raman-dressed spin-orbit-coupled 87Rb Bose-Einstein condensate, whose spin quantum state is a superposition of multiple bare spin components. In contrast to the notably different photoassociation-induced fractional atom losses observed for the bare spin components of a statistical mixture, a superposition state with a comparable spin composition displays the same fractional loss on every spin component. We interpret this as the superposition state itself undergoing photoassociation. For superposition states induced by a large Raman coupling and zero Raman detuning, we observe a nearly complete suppression of the photoassociation rate. This suppression is consistent with a model based upon quantum destructive interference between two photoassociation pathways for colliding atoms with different spin combinations. This model also explains the measured dependence of the photoassociation rate on the Raman detuning at a moderate Raman coupling. Our work thus suggests that preparing atoms in quantum superpositions may represent a powerful new technique to coherently control photochemical reactions.


title: A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics

abstract: From the output produced by a memoryless deletion channel from a uniformly random input of known length $n$, one obtains a posterior distribution on the channel input. The difference between the Shannon entropy of this distribution and that of the uniform prior measures the amount of information about the channel input which is conveyed by the output of length $m$, and it is natural to ask for which outputs this is extremized. This question was posed in a previous work, where it was conjectured on the basis of experimental data that the entropy of the posterior is minimized and maximized by the constant strings $\texttt{000}\ldots$ and $\texttt{111}\ldots$ and the alternating strings $\texttt{0101}\ldots$ and $\texttt{1010}\ldots$ respectively. In the present work we confirm the minimization conjecture in the asymptotic limit using results from hidden word statistics. We show how the analytic-combinatorial methods of Flajolet, Szpankowski and Vall\'ee for dealing with the hidden pattern matching problem can be applied to resolve the case of fixed output length and $n\rightarrow\infty$, by obtaining estimates for the entropy in terms of the moments of the posterior distribution and establishing its minimization via a measure of autocorrelation.


title: Toward Automatic Verification of Quantum Programs

abstract: This paper summarises the results obtained by the author and his collaborators in a program logic approach to the verification of quantum programs, including quantum Hoare logic, invariant generation and termination analysis for quantum programs. It also introduces the notion of proof outline and several auxiliary rules for more conveniently reasoning about quantum programs. Some problems for future research are proposed at the end of the paper.


title: Spectral identities and smoothing estimates for evolution operators

abstract: Smoothing (and decay) spacetime estimates are discussed for evolution groups of self-adjoint operators in an abstract setting. The basic assumption is the existence (and weak continuity) of the spectral density in a functional setting. Spectral identities for the time evolution of such operators are derived, enabling results concerning "best constants" for smoothing estimates. When combined with suitable "comparison principles" (analogous to those established in our previous work), they yield smoothing estimates for classes of functions of the operators . A important particular case is the derivation of global spacetime estimates for a perturbed operator $H+V$ on the basis of its comparison with the unperturbed operator $H.$ A number of applications are given, including smoothing estimates for fractional Laplacians, Stark Hamiltonians and Schr\"odinger operators with potentials.


title: Perturbation of eigenvalues of the Klein-Gordon operators

abstract: We prove inclusion theorems for both spectra and essential spectra as well as two-sided bounds for isolated eigenvalues for Klein-Gordon type Hamiltonian operators. We first study operators of the form $JG$, where $J$, $G$ are selfadjoint operators on a Hilbert space, $J = J^* = J^{-1}$ and $G$ is positive definite and then we apply these results to obtain bounds of the Klein-Gordon eigenvalues under the change of the electrostatic potential. The developed general theory allows applications to some other instances, as e.g. the Sturm-Liouville problems with indefinite weight.


title: Complex Lasers with Controllable Coherence

abstract: The invention of lasers 60 years ago is one of the greatest breakthroughs in modern optics. Throughout the years, lasers have enabled major scientific and technological advancements, and have been exploited in numerous applications due to their advantages such as high brightness and high coherence. However, the high spatial coherence of laser illumination is not always desirable, as it can cause adverse artifacts such as speckle noise. To reduce the spatial coherence, novel laser cavity geometries and alternative feedback mechanisms have been developed. By tailoring the spatial and spectral properties of cavity resonances, the number of lasing modes, the emission profiles and the coherence properties can be controlled. This review presents an overview of such unconventional, complex lasers, with a focus on their spatial coherence properties. Laser coherence control not only provides an efficient means for eliminating coherent artifacts, but also enables new applications.


title: On the fixed point property in Banach spaces isomorphic to $c_0$

abstract: We prove that every Banach space containing a subspace isomorphic to $\co$ fails the fixed point property. The proof is based on an amalgamation approach involving a suitable combination of known results and techniques, including James's distortion theorem, Ramsey's combinatorial theorem, Brunel-Sucheston spreading model techniques and Dowling, Lennard and Turett's fixed point methodology employed in their characterization of weak compactness in $\co$.


title: Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

abstract: The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision tables, and their combination into more complex decision requirements graphs (DRGs), which bridge between business process models and decision logic models. DRGs may rely on additional, external business knowledge models, whose functioning is not part of the standard. In this work, we consider one of the most important types of business knowledge, namely background knowledge that conceptually accounts for the structural aspects of the domain of interest, and propose decision knowledge bases (DKBs), which semantically combine DRGs modeled in DMN, and domain knowledge captured by means of first-order logic with datatypes. We provide a logic-based semantics for such an integration, and formalize different DMN reasoning tasks for DKBs. We then consider background knowledge formulated as a description logic ontology with datatypes, and show how the main verification tasks for DMN in this enriched setting can be formalized as standard DL reasoning services, and actually carried out in ExpTime. We discuss the effectiveness of our framework on a case study in maritime security.


title: NSPT estimate of the improvement coefficient $c_A$ to two loops

abstract: By using Numerical Stochastic Perturbation Theory (NSPT), we carry out a quenched two-loop computation of the improvement coefficient $c_A$ associated to the isovector axial current. Within the Schr\"odinger Functional formalism, we compute the bare quark mass $m$ and fix $c_A$ by requiring discretization corrections on $m$ to be of order $O(a^2)$ in the lattice spacing $a$.


title: Tight Upper Bounds on the Crossing Number in a Minor-Closed Class

abstract: The crossing number of a graph is the minimum number of crossings in a drawing of the graph in the plane. Our main result is that every graph $G$ that does not contain a fixed graph as a minor has crossing number $O(\Delta n)$, where $G$ has $n$ vertices and maximum degree $\Delta$. This dependence on $n$ and $\Delta$ is best possible. This result answers an open question of Wood and Telle [New York J. Mathematics, 2007], who proved the best previous bound of $O(\Delta^2 n)$. We also study the convex and rectilinear crossing numbers, and prove an $O(\Delta n)$ bound for the convex crossing number of bounded pathwidth graphs, and a $\sum_v\deg(v)^2$ bound for the rectilinear crossing number of $K_{3,3}$-minor-free graphs.


title: An Enhanced Latent Semantic Analysis Approach for Arabic Document Summarization

abstract: The fast-growing amount of information on the Internet makes the research in automatic document summarization very urgent. It is an effective solution for information overload. Many approaches have been proposed based on different strategies, such as latent semantic analysis (LSA). However, LSA, when applied to document summarization, has some limitations which diminish its performance. In this work, we try to overcome these limitations by applying statistic and linear algebraic approaches combined with syntactic and semantic processing of text. First, the part of speech tagger is utilized to reduce the dimension of LSA. Then, the weight of the term in four adjacent sentences is added to the weighting schemes while calculating the input matrix to take into account the word order and the syntactic relations. In addition, a new LSA-based sentence selection algorithm is proposed, in which the term description is combined with sentence description for each topic which in turn makes the generated summary more informative and diverse. To ensure the effectiveness of the proposed LSA-based sentence selection algorithm, extensive experiment on Arabic and English are done. Four datasets are used to evaluate the new model, Linguistic Data Consortium (LDC) Arabic Newswire-a corpus, Essex Arabic Summaries Corpus (EASC), DUC2002, and Multilingual MSS 2015 dataset. Experimental results on the four datasets show the effectiveness of the proposed model on Arabic and English datasets. It performs comprehensively better compared to the state-of-the-art methods.


title: Shared Spectrum for Mobile-Cells Backhaul and Access Link

abstract: Offloading cellular hotspot regions to small-cells has been the main theme for the fifth generation of cellular network. One such hotspot is the public transport which carries a large number of cellular users who frequently receive low quality of service (QoS) due to vehicular penetration effect (VPE). Hence installation of mobile-cell (MC) within public transport is seen as a potential enabler to enhance QoS for commuting users. However, unlike fixed cells, MC requires wireless backhaul (BH) connectivity along with in-vehicle Access-Link (AL) communication. These additional wireless links for MC communication will pose an excessive burden on an already scarce frequency spectrum. Hence, in this research, we exploit VPE and line-of-sight (LOS) communication to allow the downlink backhaul (DL-BH) sub-channels to be shared by in-vehicle downlink access-link (DL-AL) transmission. Our analysis and simulations show that using the above-mentioned technique, both links maintain high success probability, especially in regions with low signal to interference ratios.


title: K-medoids Clustering of Data Sequences with Composite Distributions

abstract: This paper studies clustering of data sequences using the k-medoids algorithm. All the data sequences are assumed to be generated from \emph{unknown} continuous distributions, which form clusters with each cluster containing a composite set of closely located distributions (based on a certain distance metric between distributions). The maximum intra-cluster distance is assumed to be smaller than the minimum inter-cluster distance, and both values are assumed to be known. The goal is to group the data sequences together if their underlying generative distributions (which are unknown) belong to one cluster. Distribution distance metrics based k-medoids algorithms are proposed for known and unknown number of distribution clusters. Upper bounds on the error probability and convergence results in the large sample regime are also provided. It is shown that the error probability decays exponentially fast as the number of samples in each data sequence goes to infinity. The error exponent has a simple form regardless of the distance metric applied when certain conditions are satisfied. In particular, the error exponent is characterized when either the Kolmogrov-Smirnov distance or the maximum mean discrepancy are used as the distance metric. Simulation results are provided to validate the analysis.


title: On the Security Analysis of a Cooperative Incremental Relaying Protocol in the Presence of an Active Eavesdropper

abstract: Physical layer security offers an efficient means to decrease the risk of confidential information leakage through wiretap links. In this paper, we address the physical-layer security in a cooperative wireless subnetwork that includes a source-destination pair and multiple relays, exchanging information in the presence of a malevolent eavesdropper. Specifically, the eavesdropper is active in the network and transmits artificial noise (AN) with a multiple-antenna transmitter to confound both the relays and the destination. We first analyse the secrecy capacity of the direct source-to-destination transmission in terms of intercept probability (IP) and secrecy outage probability (SOP). A decode-and-forward incremental relaying (IR) protocol is then introduced to improve reliability and security of communications in the presence of the active eavesdropper. Within this context, and depending on the availability of channel state information, three different schemes (one optimal and two sub-optimal) are proposed to select a trusted relay to improve the achievable secrecy rate. For each one of these schemes, and for both selection and maximum ratio combining at the destination and eavesdropper, we derive new and exact closed-form expressions for the IP and SOP. Our analysis and simulation results demonstrate the superior performance of the proposed IR-based selection schemes for secure communication. They also confirm the existence of a floor phenomenon for the SOP in the absence of AN.


title: Count-Based Exploration with the Successor Representation

abstract: In this paper we introduce a simple approach for exploration in reinforcement learning (RL) that allows us to develop theoretically justified algorithms in the tabular case but that is also extendable to settings where function approximation is required. Our approach is based on the successor representation (SR), which was originally introduced as a representation defining state generalization by the similarity of successor states. Here we show that the norm of the SR, while it is being learned, can be used as a reward bonus to incentivize exploration. In order to better understand this transient behavior of the norm of the SR we introduce the substochastic successor representation (SSR) and we show that it implicitly counts the number of times each state (or feature) has been observed. We use this result to introduce an algorithm that performs as well as some theoretically sample-efficient approaches. Finally, we extend these ideas to a deep RL algorithm and show that it achieves state-of-the-art performance in Atari 2600 games when in a low sample-complexity regime.


title: On Erasure Broadcast Channels with Hard Deadlines

abstract: This paper considers packet scheduling over a broadcast channel with packet erasures to multiple receivers with different messages (multiple uni-cast) each with possibly different hard deadline constraints. A novel metric is proposed and evaluated: the global deadline outage probability, which gives the probability that the hard communication deadline is not met for at least one of the receivers. The cut-set upper bound is derived and a scheduling policy is proposed to determine which receiver's packets should be sent in each time slot. This policy is shown to be optimal among all scheduling policies, i.e., it achieves all boundary points of cut-set upper bounds when the transmitter knows the erasure patterns for all the receivers ahead of making the scheduling decision. An expression for the global deadline outage probability is obtained for two receivers and is plotted and interpreted for various system parameters. These plots are not Monte-Carlo simulations, and hence the obtained expression may be used in the design of future downlink broadcast networks. Future extensions to per-user deadline outage probabilities as well as to scenarios with causal knowledge of the channel states are briefly discussed.


title: Security against false data injection attack in cyber-physical systems

abstract: In this paper, secure, remote estimation of a linear Gaussian process via observations at multiple sensors is considered. Such a framework is relevant to many cyber-physical systems and internet-of-things applications. Sensors make sequential measurements that are shared with a fusion center; the fusion center applies a certain filtering algorithm to make its estimates. The challenge is the presence of a few unknown malicious sensors which can inject anomalous observations to skew the estimates at the fusion center. The set of malicious sensors may be time-varying. The problems of malicious sensor detection and secure estimation are considered. First, an algorithm for secure estimation is proposed. The proposed estimation scheme uses a novel filtering and learning algorithm, where an optimal filter is learnt over time by using the sensor observations in order to filter out malicious sensor observations while retaining other sensor measurements. Next, a novel detector to detect injection attacks on an unknown sensor subset is developed. Numerical results demonstrate up to 3 dB gain in the mean squared error and up to 75% higher attack detection probability under a small false alarm rate constraint, against a competing algorithm that requires additional side information.


title: On the Total Curvature and Betti Numbers of Complex Projective Manifolds

abstract: We prove an inequality between the sum of the Betti numbers of a complex projective manifold and its total curvature, and we characterize the complex projective manifolds whose total curvature is minimal. These results extend the classical theorems of Chern and Lashof to complex projective space.


title: MnasNet: Platform-Aware Neural Architecture Search for Mobile

abstract: Designing convolutional neural networks (CNN) for mobile devices is challenging because mobile models need to be small and fast, yet still accurate. Although significant efforts have been dedicated to design and improve mobile CNNs on all dimensions, it is very difficult to manually balance these trade-offs when there are so many architectural possibilities to consider. In this paper, we propose an automated mobile neural architecture search (MNAS) approach, which explicitly incorporate model latency into the main objective so that the search can identify a model that achieves a good trade-off between accuracy and latency. Unlike previous work, where latency is considered via another, often inaccurate proxy (e.g., FLOPS), our approach directly measures real-world inference latency by executing the model on mobile phones. To further strike the right balance between flexibility and search space size, we propose a novel factorized hierarchical search space that encourages layer diversity throughout the network. Experimental results show that our approach consistently outperforms state-of-the-art mobile CNN models across multiple vision tasks. On the ImageNet classification task, our MnasNet achieves 75.2% top-1 accuracy with 78ms latency on a Pixel phone, which is 1.8x faster than MobileNetV2 [29] with 0.5% higher accuracy and 2.3x faster than NASNet [36] with 1.2% higher accuracy. Our MnasNet also achieves better mAP quality than MobileNets for COCO object detection. Code is at https://github.com/tensorflow/tpu/tree/master/models/official/mnasnet


title: AniCode: Authoring Coded Artifacts for Network-Free Personalized Animations

abstract: Time-based media (videos, synthetic animations, and virtual reality experiences) are used for communication, in applications such as manufacturers explaining the operation of a new appliance to consumers and scientists illustrating the basis of a new conclusion. However, authoring time-based media that are effective and personalized for the viewer remains a challenge. We introduce AniCode, a novel framework for authoring and consuming time-based media. An author encodes a video animation in a printed code, and affixes the code to an object. A consumer uses a mobile application to capture an image of the object and code, and to generate a video presentation on the fly. Importantly, AniCode presents the video personalized in the consumer's visual context. Our system is designed to be low cost and easy to use. By not requiring an internet connection, and through animations that decode correctly only in the intended context, AniCode enhances privacy of communication using time-based media. Animation schemes in the system include a series of 2D and 3D geometric transformations, color transformation, and annotation. We demonstrate the AniCode framework with sample applications from a wide range of domains, including product "how to" examples, cultural heritage, education, creative art, and design. We evaluate the ease of use and effectiveness of our system with a user study.


title: LAMOST J2217+2104: a new member of carbon-enhanced extremely metal-poor stars with excesses of Mg and Si

abstract: We report on the elemental abundances of the carbon-enhanced metal-poor (CEMP) star J2217+2104 discovered by our metal-poor star survey with LAMOST and Subaru. This object is a red giant having extremely low Fe abundance ([Fe/H]=-4.0) and very large enhancement of C, N, and O with excesses of Na, Mg, Al, and Si. This star is a new example of a small group of such CEMP stars identified by previous studies. We find a very similar abundance pattern for O-Zn in this class of objects that shows enhancement of elements up to Si and normal abundance of Ca and Fe-group elements. Whereas the C/N ratio is different among these stars, the (C+N)/O ratio is similar. This suggests that C was also yielded with similar abundance ratios relative to O-Zn in progenitors, and was later affected by the CN-cycle. By contrast, the heavy neutron-capture elements Sr and Ba are deficient in J2217+2104, compared to the four objects in this class previously studied. This indicates that the neutron-capture process in the early Galaxy, presumably the r-process, has no direct connection to the phenomenon that has formed such CEMP stars. Comparisons of the abundance pattern well determined for such CEMP stars with those of supernova nucleosynthesis models constrain the progenitor mass to be about 25Msun, which is not particularly different from typical mass of progenitors expected for extremely metal-poor stars in general.


title: Lower Assouad type dimensions of uniformly perfect sets in doubling metric spaces

abstract: In this paper, we are concerned with the relationship among the lower Assouad type dimensions. For uniformly perfect sets in doubling metric spaces, we obtain a variational result between two different but closely related lower Assouad spectra. As an application, we show that the limit of the lower Assouad spectrum as $\theta$ tends to 1 equals to the quasi-lower Assouad dimension, which provides an equivalent definition to the latter. On the other hand, although the limit of the lower Assouad spectrum as $\theta$ tends to 0 exists, there exist uniformly perfect sets such that this limit is not equal to the lower box-counting dimension. Moreover, by the example of Cantor cut-out sets, we show that the new definition of quasi lower Assouad dimension is more accessible, and indicate that the lower Assouad dimension could be strictly smaller than the lower spectra and the quasi lower Assouad dimension.


title: Cellular Automata on Racks

abstract: In this paper we initiate the study of cellular automata on racks. A rack $R$ is a set with a self-distributive binary operation. The rack $R$ acts on the set $A^R$ of configurations from $R$ to a set $A$. We define the cellular automaton on a rack $R$ as a continuous self-mapping of $A^R$ defined from a system of local rules. The cellular automata on racks do not commute with the rack action. However, under certain conditions, the cellular automata on racks do commute with the rack action. We study the equivariant cellular automta (which commute with the rack action) on racks and prove several properties of these cellular automata including the analog of Curtis-Hedlund's theorem for cellular automata on groups.


title: Optimized Transmission for Consensus in Wireless Sensor Networks

abstract: In this paper, we present a consensus-based framework for decentralized estimation of deterministic parameters in wireless sensor networks (WSNs). In particular, we propose an optimization algorithm to design (possibly complex) sensor gains in order to achieve an estimate of the parameter of interest that is as accurate as possible. The proposed design algorithm employs a cyclic approach capable of handling various sensor gain constraints. In addition, each iteration of the proposed design framework is comprised of the Gram-Schmidt process and power-method like iterations, and as a result, enjoys a low-computational cost.


title: Scaling and bias codes for modeling speaker-adaptive DNN-based speech synthesis systems

abstract: Most neural-network based speaker-adaptive acoustic models for speech synthesis can be categorized into either layer-based or input-code approaches. Although both approaches have their own pros and cons, most existing works on speaker adaptation focus on improving one or the other. In this paper, after we first systematically overview the common principles of neural-network based speaker-adaptive models, we show that these approaches can be represented in a unified framework and can be generalized further. More specifically, we introduce the use of scaling and bias codes as generalized means for speaker-adaptive transformation. By utilizing these codes, we can create a more efficient factorized speaker-adaptive model and capture advantages of both approaches while reducing their disadvantages. The experiments show that the proposed method can improve the performance of speaker adaptation compared with speaker adaptation based on the conventional input code.


title: Terahertz Spin Transfer Torque Oscillator Based on a Synthetic Antiferromagnet

abstract: Bloch-Bloembergen-Slonczewski equation is adopted to simulate magnetization dynamics in spin-valve based spin-transfer torque oscillator with synthetic antiferromagnet acting as a free magnetic layer. High frequency up to the terahertz scale is predicted in synthetic antiferromagnet spin-transfer torque oscillator with no external magnetic field if the following requirements are fulfilled: antiferromagnetic coupling between synthetic antiferromagnetic layers is sufficiently strong, and the thickness of top (bottom) layer of synthetic antiferromagnet is sufficiently thick (thin) to achieve a wide current density window for the high oscillation frequency. Additionally, the transverse relaxation time of the free magnetic layer should be sufficiently larger compared with the longitudinal relaxation time. Otherwise, stable oscillation cannot be sustained or scenarios similar to regular spin valve-based spin-transfer torque oscillator with relatively low frequency will occur. Our calculations pave a new way for exploring THz spintronics devices.


title: Interactive Summarization and Exploration of Top Aggregate Query Answers

abstract: We present a system for summarization and interactive exploration of high-valued aggregate query answers to make a large set of possible answers more informative to the user. Our system outputs a set of clusters on the high-valued query answers showing their common properties such that the clusters are diverse as much as possible to avoid repeating information, and cover a certain number of top original answers as indicated by the user. Further, the system facilitates interactive exploration of the query answers by helping the user (i) choose combinations of parameters for clustering, (ii) inspect the clusters as well as the elements they contain, and (iii) visualize how changes in parameters affect clustering. We define optimization problems, study their complexity, explore properties of the solutions investigating the semi-lattice structure on the clusters, and propose efficient algorithms and optimizations to achieve these goals. We evaluate our techniques experimentally and discuss our prototype with a graphical user interface that facilitates this interactive exploration. A user study is conducted to evaluate the usability of our approach.


title: Comment on Quantum teleportation and information splitting via four-qubit cluster state and a Bell state

abstract: We study the quantum controlled and probabilistic teleportation protocol via a four-cluster state (Front. Phys. (2017) 12: 120306). The protocol cannot achieve the goal that if the teleportation fails, it can be repeated without copies of the teleported state. And the reason is that all the information of the teleported state shifts to the receiver's particle after Bell measurement and the information cannot shift back to the sender without other entangled states. To realize the claimed goal, a new quantum controlled and probabilistic teleportation protocol using the same four-cluster state is presented. Because no information of the teleported stated is lost during the whole teleportation process, the teleportation process can be repeated until the teleportation success.


abstract: Ultrastrong coupling between light and matter has, in the past decade, transitioned from theoretical idea to experimental reality. It is a new regime of quantum light-matter interaction, going beyond weak and strong coupling to make the coupling strength comparable to the transition frequencies in the system. The achievement of weak and strong coupling has led to increased control of quantum systems and applications like lasers, quantum sensing, and quantum information processing. Here we review the theory of quantum systems with ultrastrong coupling, which includes entangled ground states with virtual excitations, new avenues for nonlinear optics, and connections to several important physical models. We also review the multitude of experimental setups, including superconducting circuits, organic molecules, semiconductor polaritons, and optomechanics, that now have achieved ultrastrong coupling. We then discuss the many potential applications that these achievements enable in physics and chemistry.


title: Deep Graph Laplacian Regularization for Robust Denoising of Real Images

abstract: Recent developments in deep learning have revolutionized the paradigm of image restoration. However, its applications on real image denoising are still limited, due to its sensitivity to training data and the complex nature of real image noise. In this work, we combine the robustness merit of model-based approaches and the learning power of data-driven approaches for real image denoising. Specifically, by integrating graph Laplacian regularization as a trainable module into a deep learning framework, we are less susceptible to overfitting than pure CNN-based approaches, achieving higher robustness to small datasets and cross-domain denoising. First, a sparse neighborhood graph is built from the output of a convolutional neural network (CNN). Then the image is restored by solving an unconstrained quadratic programming problem, using a corresponding graph Laplacian regularizer as a prior term. The proposed restoration pipeline is fully differentiable and hence can be end-to-end trained. Experimental results demonstrate that our work is less prone to overfitting given small training data. It is also endowed with strong cross-domain generalization power, outperforming the state-of-the-art approaches by a remarkable margin.


title: Dark Matter Particle Explorer observations of high-energy cosmic ray electrons plus positrons and their physical implications

abstract: The DArk Matter Particle Explorer (DAMPE) is a satellite-borne, high-energy particle and $\gamma$-ray detector, which is dedicated to indirectly detecting particle dark matter and studying high-energy astrophysics. The first results about precise measurement of the cosmic ray electron plus positron spectrum between 25 GeV and 4.6 TeV were published recently. The DAMPE spectrum reveals an interesting spectral softening around $0.9$ TeV and a tentative peak around $1.4$ TeV. These results have inspired extensive discussion. The detector of DAMPE, the data analysis, and the first results are introduced. In particular, the physical interpretations of the DAMPE data are reviewed.


title: A novel application of probabilistic teleportation: p-Rabin qubit-oblivious transfer

abstract: All existing quantum oblivious transfer protocols are to realize the oblivious transfer of bit or bit-string. In this paper, p-Rabin quantum oblivious transfer of a qubit (abbr. p-Rabin qubit-OT) is achieved by using a probabilistic teleportation (abbr. PT) protocol. Here, this is the first time that the concept of qubit-OT is presented. As the PT protocol is able to transfer an (un)known pure state with a certain probability, this feature makes the PT protocol well fit for Rabin OT. Furthermore, the PT protocol can be used for OT of a bit by encoding classical bit with two pre-agreed orthogonal states. Finally, security analysis shows that the PT protocol can be against participants attacks, and what's more, the discussion of relationship with no-go theorem demonstrates that the PT protocol is able to evade the no-go theorem.


title: New room-temperature ferromagnet: B-added Pd0.75Mn0.25 alloy

abstract: Mn-based room-temperature ferromagnets attract considerable attention due to their high ordered Mn moment. We have found that a Pd0.75Mn0.25 alloy with added B (Pd0.75Mn0.25Bx) shows room-temperature soft ferromagnetism, whereas the parent Pd0.75Mn0.25 alloy is a spin-glass system. The saturated Mn moment at room temperature systematically increases to 2.68\muB/Mn as x increases to 0.125. The maximum Curie temperature of 390 K is also realized at an x of 0.125. The experimental results suggest a tunable soft ferromagnetism, which is governed only by the boron concentration. Our results will pave the way in chemical control of room-temperature bulk ferromagnetism in Mn compounds based on the addition of an atom with a small atomic radius.


title: Adaptive Non-Parametric Regression With the $K$-NN Fused Lasso

abstract: The fused lasso, also known as total-variation denoising, is a locally-adaptive function estimator over a regular grid of design points. In this paper, we extend the fused lasso to settings in which the points do not occur on a regular grid, leading to an approach for non-parametric regression. This approach, which we call the $K$-nearest neighbors ($K$-NN) fused lasso, involves (i) computing the $K$-NN graph of the design points; and (ii) performing the fused lasso over this $K$-NN graph. We show that this procedure has a number of theoretical advantages over competing approaches: specifically, it inherits local adaptivity from its connection to the fused lasso, and it inherits manifold adaptivity from its connection to the $K$-NN approach. We show that excellent results are obtained in a simulation study and on an application to flu data. For completeness, we also study an estimator that makes use of an $\epsilon$-graph rather than a $K$-NN graph, and contrast this with the $K$-NN fused lasso.


title: Extreme values for $S_n(\sigma,t)$ near the critical line

abstract: Let $S(\sigma,t)=\frac{1}{\pi}\arg\zeta(\sigma+it)$ be the argument of the Riemann zeta function at the point $\sigma+it$ of the critical strip. For $n\geq 1$ and $t>0$ we define $$ S_{n}(\sigma,t) = \int_0^t S_{n-1}(\sigma,\tau)\,d\tau\, + \delta_{n,\sigma\,}, $$ where $\delta_{n,\sigma}$ is a specific constant depending on $\sigma$ and $n$. Let $0\leq \beta<1$ be a fixed real number. Assuming the Riemann hypothesis, we show lower bounds for the maximum of the function $S_n(\sigma,t)$ on the interval $T^\beta\leq t \leq T$ and near to the critical line, when $n\equiv 1\mod 4$. Similar estimates are obtained for $|S_n(\sigma,t)|$ when $n\not\equiv 1\mod 4$. This extends a recently results of Bondarenko and Seip for a region near the critical line. In particular we obtain some omega results for these functions on the critical line.