title: A Supervised Learning Methodology for Real-Time Disguised Face Recognition in the Wild

abstract: Facial recognition has always been a challeng- ing task for computer vision scientists and experts. Despite complexities arising due to variations in camera parameters, illumination and face orientations, significant progress has been made in the field with deep learning algorithms now competing with human-level accuracy. But in contrast to the recent advances in face recognition techniques, Disguised Facial Identification continues to be a tougher challenge in the field of computer vision. The modern day scenario, where security is of prime concern, regular face identification techniques do not perform as required when the faces are disguised, which calls for a different approach to handle situations where intruders have their faces masked. Along the same lines, we propose a deep learning architecture for disguised facial recognition (DFR). The algorithm put forward in this paper detects 20 facial key-points in the first stage, using a 14-layered convolutional neural network (CNN). These facial key-points are later utilized by a support vector machine (SVM) for classifying the disguised faces based on the euclidean distance ratios and angles between different facial key-points. This overall architecture imparts a basic intelligence to our system. Our key-point feature prediction accuracy is 65% while the classification rate is 72.4%. Moreover, the architecture works at 19 FPS, thereby performing in almost real-time. The efficiency of our approach is also compared with the state-of-the-art Disguised Facial Identification methods.


title: Real-time control of metro train dynamics with minimization of train time-headway variance

abstract: We present here a real-time control model for the train dynamics in a linear metro line system. The model describes the train dynamics taking into account average passenger arrival rates on platforms, including control laws for train dwell and run times, based on the feedback of the train dynamics. The model extends a recently developed Max-plus linear traffic model with demand-dependent dwell times and a run time control. The extension permits the elimination of eventual irregularities on the train time-headway. The resulting train dynamics are interpreted as a dynamic programming system of a stochastic optimal control problem of a Markov chain. The train dynamics still admit a stable stationary regime with a unique average growth rate interpreted as the asymptotic average train time-headway. Moreover, beyond the transient regime of the train dynamics, our extension guarantees uniformity in time of the train time-headways at every platform.


title: Invariant Solution underlying Oblique Stripe Patterns in Plane Couette Flow

abstract: When subcritical shear flows transition to turbulence, laminar and turbulent flow often coexists in space, giving rise to turbulent-laminar patterns. Most prominent are regular stripe patterns with large-scale periodicity and oblique orientation. Oblique stripes are a robust phenomenon, observed in experiments and flow simulations, yet their origin remains unclear. We demonstrate the existence of an invariant equilibrium solution of the fully nonlinear 3D Navier-Stokes equations that resembles the oblique pattern of turbulent-laminar stripes in plane Couette flow. We uncover the origin of the stripe equilibrium and show how it emerges from the well-studied Nagata equilibrium via two successive symmetry-breaking bifurcations.


title: A study of the ozonolysis of isoprene in a cryogenic buffer gas cell by high resolution microwave spectroscopy

abstract: We have developed a method to quantify reaction product ratios using high resolution microwave spectroscopy in a cryogenic buffer gas cell. We demonstrate the power of this method with the study of the ozonolysis of isoprene, CH2=C(CH3)-CH=CH2, the most abundant, non-methane hydrocarbon emitted into the atmosphere by vegetation. Isoprene is an asymmetric diene, and reacts with O3 at the 1,2 position to produce methyl vinyl ketone (MVK), formaldehyde, and a pair of carbonyl oxides: [CH3CO-CH=CH2 + CH2=OO] + [CH2=O + CH3COO-CH=CH2]. Alternatively, O3 could attack at the 3,4 position to produce methacrolein (MACR), formaldehyde, and two carbonyl oxides [CH2=C(CH3)-CHO + CH2=OO] + [CH2=O + CH2=C(CH3)-CHOO]. Purified O3 and isoprene were mixed for approximately 10 seconds under dilute (1.5-4% in argon) continuous flow conditions in an alumina tube held at 298 K and 5 Torr. Products exiting the tube were rapidly slowed and cooled within the buffer gas cell by collisions with cryogenic (4-7 K) He. High resolution chirped pulse microwave detection between 12 and 26 GHz was used to achieve highly sensitive (ppb scale), isomer-specific product quantification. We observed a ratio of MACR to MVK of 2.1 +/- 0.4 under 1:1 ozone to isoprene conditions and 2.1 +/- 0.2 under 2:1 ozone to isoprene conditions, a finding which is consistent with previous experimental results. Additionally, we discuss relative quantities of formic acid (HCOOH), an isomer of CH2=OO, and formaldehyde (CH2=O) under varying experimental conditions, and characterize the spectroscopic parameters of the singly-substituted 13C trans-isoprene and 13C anti-periplanar-methacrolein species. This work has the potential to be extended towards a complete branching ratio analysis, as well towards the ability to isolate, identify, and quantify new reactive intermediates in the ozonolysis of alkenes.


title: Gapless Triplet Superconductivity in Magnetically Polarized Media

abstract: We reveal that in a magnetically polarized medium, a specific commensurate triplet pair density wave (TPDW) superconducting (SC) state, the staggered d-wave $\Pi$-triplet state, may coexist with homogeneous triplet SC states and even dominate eliminating them under generic conditions. When only this TPDW SC state is present, we have the remarkable phenomenon of gapless superconductivity. This may explain part of the difficulties in the realization of the engineered localized Majorana fermion modes for topological quantum computation. We point out qualitative characteristics of the tunneling density of states, specific heat and charge susceptibility that identify the accessible triplet SC regimes in a spinless medium.


title: PhaseLink: A Deep Learning Approach to Seismic Phase Association

abstract: Seismic phase association is a fundamental task in seismology that pertains to linking together phase detections on different sensors that originate from a common earthquake. It is widely employed to detect earthquakes on permanent and temporary seismic networks, and underlies most seismicity catalogs produced around the world. This task can be challenging because the number of sources is unknown, events frequently overlap in time, or can occur simultaneously in different parts of a network. We present PhaseLink, a framework based on recent advances in deep learning for grid-free earthquake phase association. Our approach learns to link phases together that share a common origin, and is trained entirely on tens of millions of synthetic sequences of P- and S-wave arrival times generated using a simple 1D velocity model. Our approach is simple to implement for any tectonic regime, suitable for real-time processing, and can naturally incorporate errors in arrival time picks. Rather than tuning a set of ad hoc hyperparameters to improve performance, PhaseLink can be improved by simply adding examples of problematic cases to the training dataset. We demonstrate the state-of-the-art performance of PhaseLink on a challenging recent sequence from southern California, and synthesized sequences from Japan designed to test the point at which the method fails. For the examined datasets, PhaseLink can precisely associate P- and S-picks to events that are separated by ~12 seconds in origin time. This approach is expected to improve the resolution of seismicity catalogs, add stability to real-time seismic monitoring, and streamline automated processing of large seismic datasets.


title: Laplace transform approach for the dynamics of N qubits coupled to a resonator

abstract: An approach to use the method of Laplace transform for the perturbative solution of the Schr\"{o}dinger equation at any order of the perturbation for a system of $N$ qubits coupled to a cavity with $n$ photons is suggested. We investigate the dynamics of a system of $N$ superconducting qubits coupled to a common resonator with time-dependent coupling. To account for the contribution of the dynamical Lamb effect to the probability of excitation of the qubit, we consider counter-rotating terms in the qubit-photon interaction Hamiltonian. As an example, we illustrate the method for the case of two qubits coupled to a common cavity. The perturbative solutions for the probability of excitation of the qubit show excellent agreement with the numerical calculations.


title: Cost-Sensitive Active Learning for Intracranial Hemorrhage Detection

abstract: Deep learning for clinical applications is subject to stringent performance requirements, which raises a need for large labeled datasets. However, the enormous cost of labeling medical data makes this challenging. In this paper, we build a cost-sensitive active learning system for the problem of intracranial hemorrhage detection and segmentation on head computed tomography (CT). We show that our ensemble method compares favorably with the state-of-the-art, while running faster and using less memory. Moreover, our experiments are done using a substantially larger dataset than earlier papers on this topic. Since the labeling time could vary tremendously across examples, we model the labeling time and optimize the return on investment. We validate this idea by core-set selection on our large labeled dataset and by growing it with data from the wild.


title: Noise-to-Noise Ratios in Correlation Length Calculations Near Criticality

abstract: For finite random systems, it is possible to define two types of variances (noises). It is demonstrated that their ratio is useful in calculating the correlation length of an infinite and rather general random system, as a function of temperature. The numerical method of obtaining those variables is not relevant. It can be real space numerical renormalization, simulation or any other method. It does not matter. The correlation length obtained by this novel technique may then be used to obtain directly the critical correlation exponent, $\nu$, rather than indirectly, using scaling relations, as is often done. The method is demonstrated by applying it to the random field Ising model.


title: Probing hotspots of plasmon-enhanced Raman scattering by nanomanipulation of carbon nanotubes

abstract: We present a two-step procedure to probe hotspots of plasmon-enhanced Raman scattering with carbon nanotubes. Dielectrophoretic deposition places a small carbon nanotube bundle on top of plasmonic Au nanodimer. After 'pre-characterising' both the nanotubes and dimer structure, we subsequently use the tip of an AFM to push the bundle into the plasmonic hotspot located in the 25nm wide dimer gap, characterize its location inside the gap, and observe the onset of plasmon-enhanced Raman scattering. Evidence for the activation of the carbon nanotube's double-resonant D-mode by the near-field of the plasmonic hotspot is discussed.


title: A Solution to the electroweak horizon problem in the R_h=ct universe

abstract: Particle physics suggests that the Universe may have undergone several phase transitions, including the well-known inflationary event associated with the separation of the strong and electroweak forces in grand unified theories. The accelerated cosmic expansion during this transition, at cosmic time t~10^{-36}-10^{-33} seconds, is often viewed as an explanation for the uniformity of the CMB temperature, T, which would otherwise have required inexplicable initial conditions. With the discovery of the Higgs particle, it is now quite likely that the Universe underwent another (electroweak) phase transition, at T=159.5 +/- 1.5 GeV---roughly ~10^{-11} seconds after the big bang. During this event, the fermions gained mass and the electric force separated from the weak force. There is currently no established explanation, however, for the apparent uniformity of the vacuum expectation value of the Higgs field which, like the uniformity in T, gives rise to its own horizon problem in standard LCDM cosmology. We show in this paper that a solution to the electroweak horizon problem may be found in the choice of cosmological model, and demonstrate that this issue does not exist in the alternative Friedmann-Robertson-Walker cosmology known as the R_h=ct universe.


title: Emergence of oscillations in a mixed-mechanism phosphorylation system

abstract: This work investigates the emergence of oscillations in one of the simplest cellular signaling networks exhibiting oscillations, namely, the dual-site phosphorylation and dephosphorylation network (futile cycle), in which the mechanism for phosphorylation is processive while the one for dephosphorylation is distributive (or vice-versa). The fact that this network yields oscillations was shown recently by Suwanmajo and Krishnan. Our results, which significantly extend their analyses, are as follows. First, in the three-dimensional space of total amounts, the border between systems with a stable versus unstable steady state is a surface defined by the vanishing of a single Hurwitz determinant. Second, this surface consists generically of simple Hopf bifurcations. Next, simulations suggest that when the steady state is unstable, oscillations are the norm. Finally, the emergence of oscillations via a Hopf bifurcation is enabled by the catalytic and association constants of the distributive part of the mechanism: if these rate constants satisfy two inequalities, then the system generically admits a Hopf bifurcation. Our proofs are enabled by the Routh-Hurwitz criterion, a Hopf-bifurcation criterion due to Yang, and a monomial parametrization of steady states.


title: Accelerating Viterbi Algorithm using Custom Instruction Approach

abstract: In recent years, the decoding algorithms in communication networks are becoming increasingly complex aiming to achieve high reliability in correctly decoding received messages. These decoding algorithms involve computationally complex operations requiring high performance computing hardware, which are generally expensive. A cost-effective solution is to enhance the Instruction Set Architecture (ISA) of the processors by creating new custom instructions for the computational parts of the decoding algorithms. In this paper, we propose to utilize the custom instruction approach to efficiently implement the widely used Viterbi decoding algorithm by adding the assembly language instructions to the ISA of DLX, PicoJava II and NIOS II processors, which represent RISC, stack and FPGA-based soft-core processor architectures, respectively. By using the custom instruction approach, the execution time of the Viterbi algorithm is significantly improved by approximately 3 times for DLX and PicoJava II, and by 2 times for NIOS II.


title: Lost in the Digital Wild: Hiding Information in Digital Activities

abstract: This paper presents a new general framework of information hiding, in which the hidden information is embedded into a collection of activities conducted by selected human and computer entities (e.g., a number of online accounts of one or more online social networks) in a selected digital world. Different from other traditional schemes, where the hidden information is embedded into one or more selected or generated cover objects, in the new framework the hidden information is embedded in the fact that some particular digital activities with some particular attributes took place in some particular ways in the receiver-observable digital world. In the new framework the concept of "cover" almost disappears, or one can say that now the whole digital world selected becomes the cover. The new framework can find applications in both security (e.g., steganography) and non-security domains (e.g., gaming). For security applications we expect that the new framework calls for completely new steganalysis techniques, which are likely more complicated, less effective and less efficient than existing ones due to the need to monitor and analyze the whole digital world constantly and in real time. A proof-of-concept system was developed as a mobile app based on Twitter activities to demonstrate the information hiding framework works. We are developing a more hybrid system involving several online social networks.


title: Analytic Computing Methods for Precision Calculations in Quantum Field Theory

abstract: An overview is presented on the current status of main mathematical computation methods for the multi-loop corrections to single scale observables in quantum field theory and the associated mathematical number and function spaces and algebras. At present massless single scale quantities can be calculated analytically in QCD to 4-loop order and single mass and double mass quantities to 3-loop order, while zero scale quantities have been calculated to 5-loop order. The precision requirements of the planned measurements, particularly at the FCC-ee, form important challenges to theory, and will need important extensions of the presently known methods.


title: Directional Frame Timing Synchronization in Wideband Millimeter-Wave Systems with Low-Resolution ADCs

abstract: In this paper, we propose and evaluate a novel beamforming strategy for directional frame timing synchronization in wideband millimeter-wave (mmWave) systems operating with low-resolution analog-to-digital converters (ADCs). In the employed system model, we assume multiple radio frequency chains equipped at the base station to simultaneously form multiple synchronization beams in the analog domain. We formulate the corresponding directional frame timing synchronization problem as a max-min multicast beamforming problem under low-resolution quantization. We first show that the formulated problem cannot be effectively solved by conventional single-stream beamforming based approaches due to large quantization loss and limited beam codebook resolution. We then develop a new multi-beam probing based directional synchronization strategy, targeting at maximizing the minimum received synchronization signal-to-quantization-plus-noise ratio (SQNR) among all users. Leveraging a common synchronization signal structure design, the proposed approach synthesizes an effective composite beam from the simultaneously probed beams to better trade off the beamforming gain and the quantization distortion. Numerical results reveal that for wideband mmWave systems with low-resolution ADCs, the timing synchronization performance of our proposed method outperforms the existing approaches due to the improvement in the received synchronization SQNR.


title: Stable Stair-Climbing of a Quadruped Robot

abstract: Synthesizing a stable gait that enables a quadruped robot to climb stairs is the focus of this paper. To this end, first a stable transition from initial to desired configuration is made based on the minimum number of steps and maximum use of the leg workspace to prepare the robot for the movement. Next, swing leg and body trajectories are planned for a successful stair- climbing gait. Afterwards, a stable spinning gait is proposed to change the orientation of the body. We simulate our gait planning algorithms on a model of quadruped robot. The results show that the robot is able to climb up stairs, rotate about its yaw axis, and climb down stairs while its stability is guaranteed.


title: Dependency Graph Approach for Multiprocessor Real-Time Synchronization

abstract: Over the years, many multiprocessor locking protocols have been designed and analyzed. However, the performance of these protocols highly depends on how the tasks are partitioned and prioritized and how the resources are shared locally and globally. This paper answers a few fundamental questions when real-time tasks share resources in multiprocessor systems. We explore the fundamental difficulty of the multiprocessor synchronization problem and show that a very simplified version of this problem is ${\mathcal NP}$-hard in the strong sense regardless of the number of processors and the underlying scheduling paradigm. Therefore, the allowance of preemption or migration does not reduce the computational complexity. For the positive side, we develop a dependency-graph approach, that is specifically useful for frame-based real-time tasks, in which all tasks have the same period and release their jobs always at the same time. We present a series of algorithms with speedup factors between $2$ and $3$ under semi-partitioned scheduling. We further explore methodologies and tradeoffs of preemptive against non-preemptive scheduling algorithms and partitioned against semi-partitioned scheduling algorithms. The approach is extended to periodic tasks under certain conditions.


title: Outage Probability Analysis of Uplink NOMA over Ultra-High-Speed FSO-Backhauled Systems

abstract: In this paper, we consider a relay-assisted uplink non-orthogonal multiple access (NOMA) system where two radio frequency (RF) users are grouped for simultaneous transmission, over each resource block, to an intermediate relay which forwards the amplified version of the users' aggregated signals in the presence of multiuser interference to a relatively far destination. In order to cope with the users' ever-increasing desire for higher data rates, a high-throughput free-space optics (FSO) link is employed as the relay-destination backhaul link. Dynamic-order decoding is employed at the destination to determine the priority of the users based on their instantaneous channel state information (CSI). Closed-form expressions for the individual- and sum-rate outage probability formulas are derived in the case of independent Rayleigh fading for the users-relay access links when the FSO backhaul link is subject to Gamma-Gamma turbulence with pointing error. This work can be regarded as an initial attempt to incorporate power-domain NOMA over ultra-high-speed FSO-backhauled systems, known as mixed RF-FSO systems.


title: Apparent slow dynamics in the ergodic phase of a driven many-body localized system without extensive conserved quantities

abstract: We numerically study the dynamics on the ergodic side of the many-body localization transition in a periodically driven Floquet model with no global conservation laws. We describe and employ a numerical technique based on the fast Walsh-Hadamard transform that allows us to perform an exact time evolution for large systems and long times. As in models with conserved quantities (e.g., energy and/or particle number) we observe a slowing down of the dynamics as the transition into the many-body localized phase is approached. More specifically, our data is consistent with a subballistic spread of entanglement and a stretched-exponential decay of an autocorrelation function, with their associated exponents reflecting slow dynamics near the transition for a fixed system size. However, with access to larger system sizes, we observe a clear flow of the exponents towards faster dynamics and can not rule out that the slow dynamics is a finite-size effect. Furthermore, we observe examples of non-monotonic dependence of the exponents with time, with dynamics initially slowing down but accelerating again at even larger times, consistent with the slow dynamics being a crossover phenomena with a localized critical point.


title: Nondegenerate Motion of Singular Points in Obstacle Problems with Varying Data

abstract: Recent work by Serfaty and Serra give a formula for the velocity of the free boundary of the obstacle problem at regular points [Serfaty-Serra 2018], and much older work by King, Lacey, and Vazquez gives an example of a singular free boundary point (in the Hele-Shaw flow) that remains stationary for a positive amount of time [King-Lacey-Vazquez 1995]. The authors show how singular free boundaries in the obstacle problem in some settings move immediately in response to varying data. Three applications of this result are given, and in particular, the authors show a uniqueness result: For sufficiently smooth elliptic divergence form operators on domains in $\mathrm{I \! R}^n$ and for the Laplace-Beltrami operator on a smooth manifold, the boundaries of distinct mean value sets (of the type found in [Blank-Hao 2015] and [Benson-Blank-LeCrone 2018]) which are centered at the same point do not intersect.


title: Nanoscale virtual potentials using optical tweezers

abstract: We combine optical tweezers with feedback to impose arbitrary potentials on a colloidal particle. The feedback trap detects a particle's position, calculates a force based on an imposed "virtual potential," and shifts the trap center to generate the desired force. We create virtual harmonic and double-well potentials to manipulate particles. The harmonic potentials can be chosen to be either weaker or stiffer than the underlying optical trap. Using this flexibility, we create an isotropic trap in three dimensions. Finally, we show that we can create a virtual double-well potential with fixed well separation and adjustable barrier height. These are accomplished at length scales down to 11 nm, a feat that is difficult or impossible to create with standard optical-tweezer techniques such as time sharing, dual beams, or spatial light modulators.


title: CrowdExpress: A Probabilistic Framework for On-Time Crowdsourced Package Deliveries

abstract: Speed and cost of logistics are two major concerns to on-line shoppers, but they generally conflict with each other in nature. To alleviate the contradiction, we propose to exploit existing taxis that are transporting passengers on the street to relay packages collaboratively, which can simultaneously lower the cost and accelerate the speed. Specifically, we propose a probabilistic framework containing two phases called CrowdExpress for the on-time package express deliveries. In the first phase, we mine the historical taxi GPS trajectory data offline to build the package transport network. In the second phase, we develop an online adaptive taxi scheduling algorithm to find the path with the maximum arriving-on-time probability "on-the-fly" upon real- time requests, and direct the package routing accordingly. Finally, we evaluate the system using the real-world taxi data generated by over 19,000 taxis in a month in the city of New York, US. Results show that around 9,500 packages can be delivered successfully on time per day with the success rate over 94%, moreover, the average computation time is within 25 milliseconds.


title: Polarization of the C$_{60}$ cage by the photoelectron, interior static polarization of C$_{60}$ by the ion-remainder and atomic-core relaxation in $A$@C$_{60}$ photoionization

abstract: Photoionization cross sections, photoelectron angular-asymmetry parameters and photoionization time delays for $A$@C$_{60}$ endohedral atoms are studied with account for both the individual and combined effects of dipole static polarization (DSP) of C$_{60}$ by the outgoing photoelectron, interior static polarization (ISP) of C$_{60}$ by the ion-remainder, $A^{+}$, and atomic-core relaxation of the encapsulated atom upon its ionization. It is unraveled that the DSP effect is weak; it changes the phase of confinement-resonant oscillations in $\sigma_{n\ell}$, $\beta_{n\ell}$ and $\tau_{n\ell}$ without generally noticeable changes in their magnitudes, unless $\sigma_{n\ell}$ concentrates a relatively large part of oscillator strength of the continuum spectrum near threshold. This is counter-intuitive in view of a large dipole static polarizability of C$_{60}$, $\alpha > 800$ $a.u.$. Furthermore, it is demonstrated that the DSP effect results in the transmission of a part of oscillator strength of the continuum spectrum of $A$@C$_{60}$ into its discrete spectrum. It is shown that the DSP effect is counteracted by ISP. Possible reasons behind the made findings are provided. Photoionization of Xe@C$_{60}$, Ne@C$_{60}$, H@C$_{60}$ and some hypothetical C$^{-}_{60}$ fullerene anions is chosen as a case study. For Xe@C$_{60}$, the role of atomic-core relaxation of the ionized encapsuled Xe$^{+}$-ion-remainder on the $\rm 4d$ photoionization of Xe@C$_{60}$ is revealed to be of utter significance, as in free Xe. The random phase approximation with exchange (RPAE) and generalized RPAE were used in the study. The C$_{60}$ cage is modelled by a spherical attractive potential of a certain inner radius, thickness and depth. Its dipole static polarization potential is approximated by the Bates dipole static potential.


title: Electron energy increase in a laser wakefield accelerator using longitudinally shaped plasma density profiles

abstract: The phase velocity of the wakefield of a laser wakefield accelerator can, theoretically, be manipulated by shaping the longitudinal plasma density profile, thus controlling the parameters of the generated electron beam. We present an experimental method where using a series of shaped longitudinal plasma density profiles we increased the mean electron peak energy by more than 50%, from 174.8 +/- 1.3 MeV to 262 +/- 9.7 MeV and the maximum peak energy from 182.1 MeV to 363.1 MeV. The divergence follows closely the change of mean energy and decreases from 58.95 +/- 0.45 mrad to 12.63 +/- 1.17 mrad along the horizontal axis and from 35.23 +/- 0.27 mrad to 8.26 +/- 0.69 mrad along the vertical axis. Particle-in-cell simulations show that a ramp in a plasma density profile can affect the evolution of the wakefield, thus qualitatively confirming the experimental results. The presented method can increase the electron energy for a fixed laser power and at the same time offer an energy tunable source of electrons.


title: Bold Feynman diagrams and the Luttinger-Ward formalism via Gibbs measures. Part I: Perturbative approach

abstract: Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part I of this two-part series, we illustrate how the combinatorial properties of Feynman diagrams in MBPT can be studied in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature) and provide a self-contained explanation of Feynman diagrams in this setting. We prove the combinatorial validity of the bold diagrammatic expansion, with methods generalizable to several types of field theories and interactions. Our treatment simplifies the presentation and numerical study of known techniques in MBPT such as the self-consistent Hartree-Fock approximation (HF), the second-order Green's function approximation (GF2), and the GW approximation. The bold diagrams are closely related to the Luttinger-Ward (LW) formalism, which was proposed in 1960 but whose analytic properties have not been rigorously established. The analytical study of the LW formalism in the setting of Gibbs measures will be the topic of Part II.


title: Bold Feynman diagrams and the Luttinger-Ward formalism via Gibbs measures. Part II: Non-perturbative analysis

abstract: Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part II of this two-part series, we approach the analytical investigation of the bold diagrammatic expansion in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature). Using non-perturbative methods, we rigorously construct the Luttinger-Ward formalism for the first time, and we prove that the bold diagrammatic series can be obtained directly via an asymptotic expansion of the Luttinger-Ward functional, circumventing the partial resummation technique. Moreover we prove that the Dyson equation can be derived as the Euler-Lagrange equation associated with a variational problem involving the Luttinger-Ward functional. We also establish a number of key facts about the Luttinger-Ward functional, such as its transformation rule, its form in the setting of the impurity problem, and its continuous extension to the boundary of the domain of physical Green's functions.


title: Rigidity of the entire solutions of 2-Hessian equation

abstract: In this paper, we prove some rigidity theorems for the entire 2-convex solutions of 2-Hessian equation in Euclidean space. As an application, we obtain a Bernstein type theorem for global special Lagrangian graphs.


title: Static and rotating black strings in dynamical Chern-Simons modified gravity

abstract: Four-dimensional homogeneous static and rotating black strings in dynamical Chern-Simons modified gravity, with and without torsion, are presented. Each solution is supported by a scalar field that depends linearly on the coordinate that span the string. The solutions are locally $\mbox{AdS}_3 \times \mathbb{R}$ and they represent the continuation of the Ba\~nados-Teitelboim-Zanelli black hole. Moreover, they belong to the so-called Chern-Simons sector of the space of solutions of the theory, since the Cotton tensor contributes nontrivially to the field equations. The case with nonvanishing torsion is studied within the first-order formalism of gravity, and it considers nonminimal couplings of the scalar fields to three topological invariants: Nieh-Yan, Pontryagin and Gauss-Bonnet terms, which are studied separately. These nonminimal couplings generate torsion in vacuum, in contrast to Einstein-Cartan theory. In all cases, torsion contributes to an effective cosmological constant that, in particular cases, can be set to zero by a proper choice of the parameters.


title: A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking

abstract: This paper introduces an information-theoretic method for selecting a subset of problems which gives the most information about a group of problem-solving algorithms. This method was tested on the games in the General Video Game AI (GVGAI) framework, allowing us to identify a smaller set of games that still gives a large amount of information about the abilities of different game-playing agents. This approach can be used to make agent testing more efficient. We can achieve almost as good discriminatory accuracy when testing on only a handful of games as when testing on more than a hundred games, something which is often computationally infeasible. Furthermore, this method can be extended to study the dimensions of the effective variance in game design between these games, allowing us to identify which games differentiate between agents in the most complementary ways.


title: Cosmological spectrum of two-point correlation function from vacuum fluctuation of Stringy Axion field in De Sitter space: A study of the role of Quantum Entanglement

abstract: In this work, we study the impact of quantum entanglement on the two-point correlation function and the associated primordial power spectrum of mean square vacuum fluctuation in a bipartite quantum field theoretic system. The field theory that we consider is the effective theory of axion field arising from Type IIB string theory compactified to four dimensions. We compute the expression for the power spectrum of vacuum fluctuation in three different approaches, namely (1) field operator expansion (FOE) technique with the quantum entangled state, (2) reduced density matrix (RDM) formalism with mixed quantum state and (3) the method of non-entangled state (NES). For massless axion field, in all these three formalism, we reproduce, at the leading order, the exact scale-invariant power spectrum which is well known in the literature. We observe that due to quantum entanglement, the sub-leading terms for these thee formalisms are different. Thus, such correction terms break the degeneracy among the analysis of the FOE, RDM and NES formalisms in the super-horizon limit. On the other hand, for massive axion field, we get a slight deviation from scale invariance and exactly quantify the spectral tilt of the power spectrum in small scales. Apart from that, for massless and massive axion field, we find distinguishable features of the power spectrum for the FOE, RDM, and NES on the large scales, which is the result of quantum entanglement. We also find that such large-scale effects are comparable to or greater than the curvature radius of the de Sitter space. Most importantly, in the near future, if experiments probe for early universe phenomena, one can detect such small quantum effects. In such a scenario, it is possible to test the implications of quantum entanglement in primordial cosmology.

categories: hep-th astro-ph.CO gr-qc hep-ph quant-ph


title: End-to-end Language Identification using NetFV and NetVLAD

abstract: In this paper, we apply the NetFV and NetVLAD layers for the end-to-end language identification task. NetFV and NetVLAD layers are the differentiable implementations of the standard Fisher Vector and Vector of Locally Aggregated Descriptors (VLAD) methods, respectively. Both of them can encode a sequence of feature vectors into a fixed dimensional vector which is very important to process those variable-length utterances. We first present the relevances and differences between the classical i-vector and the aforementioned encoding schemes. Then, we construct a flexible end-to-end framework including a convolutional neural network (CNN) architecture and an encoding layer (NetFV or NetVLAD) for the language identification task. Experimental results on the NIST LRE 2007 close-set task show that the proposed system achieves significant EER reductions against the conventional i-vector baseline and the CNN temporal average pooling system, respectively.


title: Alon-Tarsi number of signed planar graphs

abstract: Let $(G,\sigma)$ be any signed planar graph. We show that the Alon-Tarsi number of $(G,\sigma)$ is at most 5, generalizing a recent result of Zhu for unsigned case. In addition, if $(G,\sigma)$ is $2$-colorable then $(G,\sigma)$ has the Alon-Tarsi number at most 4. We also construct a signed planar graph which is $2$-colorable but not $3$-choosable.


title: On higher level Kirillov--Reshetikhin crystals, Demazure crystals, and related uniform models

abstract: We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR crystals, which allows us to use the uniform models available in the literature in the latter case. We also use our results to give a combinatorial interpretation of the Q-system relations. Our results are conjectured to extend to the exceptional types.


title: Elliptical Distributions-Based Weights-Determining Method for OWA Operators

abstract: The ordered weighted averaging (OWA) operators play a crucial role in aggregating multiple criteria evaluations into an overall assessment supporting the decision makers' choice. One key point steps is to determine the associated weights. In this paper, we first briefly review some main methods for determining the weights by using distribution functions. Then we propose a new approach for determining OWA weights by using the RIM quantifier. Motivated by the idea of normal distribution-based method to determine the OWA weights, we develop a method based on elliptical distributions for determining the OWA weights, and some of its desirable properties have been investigated.


title: Localization Algorithm with Circular Representation in 2D and its Similarity to Mammalian Brains

abstract: Extended Kalman filter (EKF) does not guarantee consistent mean and covariance under linearization, even though it is the main framework for robotic localization. While Lie group improves the modeling of the state space in localization, the EKF on Lie group still relies on the arbitrary Gaussian assumption in face of nonlinear models. We instead use von Mises filter for orientation estimation together with the conventional Kalman filter for position estimation, and thus we are able to characterize the first two moments of the state estimates. Since the proposed algorithm holds a solid probabilistic basis, it is fundamentally relieved from the inconsistency problem. Furthermore, we extend the localization algorithm to fully circular representation even for position, which is similar to grid patterns found in mammalian brains and in recurrent neural networks. The applicability of the proposed algorithms is substantiated not only by strong mathematical foundation but also by the comparison against other common localization methods.


title: Synthesis of Different Autonomous Vehicles Test Approaches

abstract: Currently, the most prevalent way to evaluate an autonomous vehicle is to directly test it on the public road. However, because of recent accidents caused by autonomous vehicles, it becomes controversial about whether on-road tests should be the best approach. Alternatively, people use test tracks or simulation to assess the safety of autonomous vehicles. These approaches are time-efficient and less costly, however, their credibility varies. In this paper, we propose to use a co-Kriging model to synthesize the results from different evaluation approaches, which allows us to fully utilize the information and provides an accurate, affordable, and safe way to assess a design of an autonomous vehicle.


title: Stability of hydraulic shock profiles

abstract: We establish nonlinear $H^2\cap L^1 \to H^2$ stability with sharp rates of decay in $L^p$, $p\geq 2$, of general hydraulic shock profiles, with or without subshocks, of the inviscid Saint-Venant equations of shallow water flow, under the assumption of Evans-Lopatinsky stability of the associated eigenvalue problem. We verify this assumption numerically for all profiles, giving in particular the first nonlinear stability results for shock profiles with subshocks of a hyperbolic relaxation system.


title: $p$-adic Properties of Hauptmoduln with Applications to Moonshine

abstract: The theory of monstrous moonshine asserts that the coefficients of Hauptmoduln, including the $j$-function, coincide precisely with the graded characters of the monster module, an infinite-dimensional graded representation of the monster group. On the other hand, Lehner and Atkin proved that the coefficients of the $j$-function satisfy congruences modulo $p^n$ for $p \in \{2, 3, 5, 7, 11\}$, which led to the theory of $p$-adic modular forms. We combine these two aspects of the $j$-function to give a general theory of congruences modulo powers of primes satisfied by the Hauptmoduln appearing in monstrous moonshine. We prove that many of these Hauptmoduln satisfy such congruences, and we exhibit a relationship between these congruences and the group structure of the monster. We also find a distinguished class of subgroups of the monster with graded characters satisfying such congruences.


title: The twisted cohomological equation over the geodesic flow

abstract: We study the twisted cohomoligical equation over the geodesic flow on $SL(2,\mathbb{R})/\Gamma$. We characterize the obstructions to solving the twisted cohomological equation, construct smooth solution and obtain the tame Sobolev estimates for the solution, i.e, there is finite loss of regularity (with respect to Sobolev norms) between the twisted coboundary and the solution. We also give a tame splittings for non-homogeneous cohomological equations. The result can be viewed as a first step toward the application of KAM method in obtaining differential rigidity for partially hyperbolic actions in products of rank-one groups in future works.


title: The (Non-)Magnetization of 433 Eros: Possible Mechanisms for the Lack of Magnetism as Measured by NEAR

abstract: The Near Earth Asteroid Rendezvous-Shoemaker ("NEAR") spacecraft orbited and ultimately landed on the near-Earth asteroid 433 Eros. One of the primary science objectives of NEAR was the MAG experiment, which measured the magnetic field in the vicinity of Eros during orbit and after landing. Eros is therefore at the present the best characterized asteroid using in situ measurement of magnetism. MAG results suggested that Eros was very unmagnetized-with an upper bound on the natural remanent magnetism (NRM) placed at $1.9\times 10^{-6}\mathrm{A\cdot m^2 \cdot kg^{-1}}$-especially when compared to meteorite samples of analogous composition. Since meteorites and asteroids are typically believed to represent the remnants of disrupted parent bodies, the ramifications of the low level of magnetization of Eros are considerable, since it could imply disparate origins for objects of similar composition. In this paper, we explore whether there are any systematic effects related to the actual process of measurement and derivation of the Erotian NRM, and whether such effects played a role in the low levels of NRM derived for Eros. By simulating the orbit of NEAR around Eros and using the field strength values measured by NEAR, we find that we are able to place a higher bound on the NRM of Eros by a factor of at least an order of magnitude higher than that originally suggested by Acu\~{n}a, et al. (2002). We find that if we suppose Eros to be made up of constituents that have roughly uniform magnetization directionally, that it is possible to infer an L or LL chondrite-type composition for Eros within the bounds of values for remanent magnetism reported in the meteorite record. The results provide a more rigorous confirmation of the suggestion by Wasilewski, et al. (2002) that Eros cannot be ruled out as an L- or LL-type analogue.


title: Another method of viscosity solutions of integro-differential partial equation by concavity

abstract: In this paper we consider the problem of viscosity solution of integro-partial differential equation(IPDE in short) via the solution of backward stochastic differential equations(BSDE in short) with jumps where L\'evy's measure is not necessarily infinite. We mainly use the concavity of the generator at the level of its second variable to establish the existence and uniqueness of the solution with non local terms.


title: Hybrid Pricing for Mobile Collaborative Internet Access

abstract: Mobile Collaborative Internet Access (MCA) enables mobile users to share their Internet through flexible tethering arrangements. This can potentially make better use of network resources. However, from a mobile network operator's (MNO's) viewpoint, it can either reduce revenue or increase congestion, and thus has been blocked by some MNOs in practice. We propose a hybrid pricing framework for MNOs who charge users separately for access and tethering. This scheme serves to coordinate the tethering decisions of mobile users with MNO network management objectives. We analyze the MNOs' equilibrium pricing strategies in both cooperative and competitive scenarios. In the cooperative scenario, at the equilibrium, each user's cost is independent of any chosen tethering links. We then characterize the optimal hybrid pricing strategies of MNOs in this scenario. For the competitive scenario, we formulate the MNOs' competitive interactions as a pricing game, and we show that MNO competition leads to equalized prices for users if an equilibrium exists but does not guarantee its existence. Both insights motivate a quantity competition game, which is shown to guarantee an equilibrium. Simulation results show that in scenarios of interest the proposed hybrid pricing schemes can double both MNOs' profit and users' payoff and such improvements increase with the degree of network heterogeneity.


title: Towards Query Efficient Black-box Attacks: An Input-free Perspective

abstract: Recent studies have highlighted that deep neural networks (DNNs) are vulnerable to adversarial attacks, even in a black-box scenario. However, most of the existing black-box attack algorithms need to make a huge amount of queries to perform attacks, which is not practical in the real world. We note one of the main reasons for the massive queries is that the adversarial example is required to be visually similar to the original image, but in many cases, how adversarial examples look like does not matter much. It inspires us to introduce a new attack called \emph{input-free} attack, under which an adversary can choose an arbitrary image to start with and is allowed to add perceptible perturbations on it. Following this approach, we propose two techniques to significantly reduce the query complexity. First, we initialize an adversarial example with a gray color image on which every pixel has roughly the same importance for the target model. Then we shrink the dimension of the attack space by perturbing a small region and tiling it to cover the input image. To make our algorithm more effective, we stabilize a projected gradient ascent algorithm with momentum, and also propose a heuristic approach for region size selection. Through extensive experiments, we show that with only 1,701 queries on average, we can perturb a gray image to any target class of ImageNet with a 100\% success rate on InceptionV3. Besides, our algorithm has successfully defeated two real-world systems, the Clarifai food detection API and the Baidu Animal Identification API.


title: Phase diffusion in trapped-atom interferometers

abstract: We evaluate the performance and phase diffusion of trapped $^{87}$Rb atoms in an atom-chip sensor with Ramsey interferometry and Hahn's spin echo in the time and phase domains. We trace out how the phase uncertainty of interference fringes grows with time. The phase-domain spin echo enables us to attain many-second-long phase diffusion with a low-cost local oscillator that otherwise seems unrealistic to obtain with such an oscillator. In the Ramsey experiment we record interference fringes with contrast decaying in $12$ s, and with a frequency uncertainty of $80$ mHz corresponding to the dephasing time of $2.8$ s. A clear distinction is drawn between the decoherence of the atomic ensemble, and the dephasing originating from the local oscillator. Spin echo cancels most of the perturbations affecting the Ramsey experiments, and leaves the residual phase noise of only $19$ mHz mostly attributed to the local oscillator frequency instability, yielding the increased coherence time of $11.9$ s which coincides with the contrast decay time in the Ramsey sequence. A number of perturbation sources leading to homogeneous and inhomogeneous dephasing is discussed. Our atom-chip sensor is useful in probing fundamental interactions, atomtronics, microcantilever, and resonant cavity profiling in situ.


title: Communication-Efficient Distributed Strongly Convex Stochastic Optimization: Non-Asymptotic Rates

abstract: We examine fundamental tradeoffs in iterative distributed zeroth and first order stochastic optimization in multi-agent networks in terms of \emph{communication cost} (number of per-node transmissions) and \emph{computational cost}, measured by the number of per-node noisy function (respectively, gradient) evaluations with zeroth order (respectively, first order) methods. Specifically, we develop novel distributed stochastic optimization methods for zeroth and first order strongly convex optimization by utilizing a probabilistic inter-agent communication protocol that increasingly sparsifies communications among agents as time progresses. Under standard assumptions on the cost functions and the noise statistics, we establish with the proposed method the $O(1/(C_{\mathrm{comm}})^{4/3-\zeta})$ and $O(1/(C_{\mathrm{comm}})^{8/9-\zeta})$ mean square error convergence rates, for the first and zeroth order optimization, respectively, where $C_{\mathrm{comm}}$ is the expected number of network communications and $\zeta>0$ is arbitrarily small. The methods are shown to achieve order-optimal convergence rates in terms of computational cost~$C_{\mathrm{comp}}$, $O(1/C_{\mathrm{comp}})$ (first order optimization) and $O(1/(C_{\mathrm{comp}})^{2/3})$ (zeroth order optimization), while achieving the order-optimal convergence rates in terms of iterations. Experiments on real-life datasets illustrate the efficacy of the proposed algorithms.


title: Personalizing Fairness-aware Re-ranking

abstract: Personalized recommendation brings about novel challenges in ensuring fairness, especially in scenarios in which users are not the only stakeholders involved in the recommender system. For example, the system may want to ensure that items from different providers have a fair chance of being recommended. To solve this problem, we propose a Fairness-Aware Re-ranking algorithm (FAR) to balance the ranking quality and provider-side fairness. We iteratively generate the ranking list by trading off between accuracy and the coverage of the providers. Although fair treatment of providers is desirable, users may differ in their receptivity to the addition of this type of diversity. Therefore, personalized user tolerance towards provider diversification is incorporated. Experiments are conducted on both synthetic and real-world data. The results show that our proposed re-ranking algorithm can significantly promote fairness with a slight sacrifice in accuracy and can do so while being attentive to individual user differences.


title: Transforming Question Answering Datasets Into Natural Language Inference Datasets

abstract: Existing datasets for natural language inference (NLI) have propelled research on language understanding. We propose a new method for automatically deriving NLI datasets from the growing abundance of large-scale question answering datasets. Our approach hinges on learning a sentence transformation model which converts question-answer pairs into their declarative forms. Despite being primarily trained on a single QA dataset, we show that it can be successfully applied to a variety of other QA resources. Using this system, we automatically derive a new freely available dataset of over 500k NLI examples (QA-NLI), and show that it exhibits a wide range of inference phenomena rarely seen in previous NLI datasets.


title: Comparison-Based Algorithms for One-Dimensional Stochastic Convex Optimization

abstract: Stochastic optimization finds a wide range of applications in operations research and management science. However, existing stochastic optimization techniques usually require the information of random samples (e.g., demands in the newsvendor problem) or the objective values at the sampled points (e.g., the lost sales cost), which might not be available in practice. In this paper, we consider a new setup for stochastic optimization, in which the decision maker has access to only comparative information between a random sample and two chosen decision points in each iteration. We propose a comparison-based algorithm (CBA) to solve such problems in one dimension with convex objective functions. Particularly, the CBA properly chooses the two points in each iteration and constructs an unbiased gradient estimate for the original problem. We show that the CBA achieves the same convergence rate as the optimal stochastic gradient methods (with the samples observed). We also consider extensions of our approach to multi-dimensional quadratic problems as well as problems with non-convex objective functions. Numerical experiments show that the CBA performs well in test problems.


title: Factorisation of Greedoid Polynomials of Rooted Digraphs

abstract: Gordon and McMahon defined a two-variable greedoid polynomial $ f(G;t,z) $ for any greedoid $ G $. They studied greedoid polynomials for greedoids associated with rooted graphs and rooted digraphs. They proved that greedoid polynomials of rooted digraphs have the multiplicative direct sum property. In addition, these polynomials are divisible by $ 1 + z $ under certain conditions. We compute the greedoid polynomials for all rooted digraphs up to order six. A greedoid polynomial $ f(D) $ of a rooted digraph $ D $ of order $ n $ GM-factorises if $ f(D) = f(G) \cdot f(H) $ such that $ G $ and $ H $ are rooted digraphs of order at most $ n $ and $ f(G),f(H) \ne 1 $. We study the GM-factorability of greedoid polynomials of rooted digraphs, particularly those that are not divisible by $ 1 + z $. We give some examples and an infinite family of rooted digraphs that are not direct sums but their greedoid polynomials GM-factorise.


title: Discriminator-Actor-Critic: Addressing Sample Inefficiency and Reward Bias in Adversarial Imitation Learning

abstract: We identify two issues with the family of algorithms based on the Adversarial Imitation Learning framework. The first problem is implicit bias present in the reward functions used in these algorithms. While these biases might work well for some environments, they can also lead to sub-optimal behavior in others. Secondly, even though these algorithms can learn from few expert demonstrations, they require a prohibitively large number of interactions with the environment in order to imitate the expert for many real-world applications. In order to address these issues, we propose a new algorithm called Discriminator-Actor-Critic that uses off-policy Reinforcement Learning to reduce policy-environment interaction sample complexity by an average factor of 10. Furthermore, since our reward function is designed to be unbiased, we can apply our algorithm to many problems without making any task-specific adjustments.


title: Probabilistic Prediction of Interactive Driving Behavior via Hierarchical Inverse Reinforcement Learning

abstract: Autonomous vehicles (AVs) are on the road. To safely and efficiently interact with other road participants, AVs have to accurately predict the behavior of surrounding vehicles and plan accordingly. Such prediction should be probabilistic, to address the uncertainties in human behavior. Such prediction should also be interactive, since the distribution over all possible trajectories of the predicted vehicle depends not only on historical information, but also on future plans of other vehicles that interact with it. To achieve such interaction-aware predictions, we propose a probabilistic prediction approach based on hierarchical inverse reinforcement learning (IRL). First, we explicitly consider the hierarchical trajectory-generation process of human drivers involving both discrete and continuous driving decisions. Based on this, the distribution over all future trajectories of the predicted vehicle is formulated as a mixture of distributions partitioned by the discrete decisions. Then we apply IRL hierarchically to learn the distributions from real human demonstrations. A case study for the ramp-merging driving scenario is provided. The quantitative results show that the proposed approach can accurately predict both the discrete driving decisions such as yield or pass as well as the continuous trajectories.


title: Generic Probabilistic Interactive Situation Recognition and Prediction: From Virtual to Real

abstract: Accurate and robust recognition and prediction of traffic situation plays an important role in autonomous driving, which is a prerequisite for risk assessment and effective decision making. Although there exist a lot of works dealing with modeling driver behavior of a single object, it remains a challenge to make predictions for multiple highly interactive agents that react to each other simultaneously. In this work, we propose a generic probabilistic hierarchical recognition and prediction framework which employs a two-layer Hidden Markov Model (TLHMM) to obtain the distribution of potential situations and a learning-based dynamic scene evolution model to sample a group of future trajectories. Instead of predicting motions of a single entity, we propose to get the joint distribution by modeling multiple interactive agents as a whole system. Moreover, due to the decoupling property of the layered structure, our model is suitable for knowledge transfer from simulation to real world applications as well as among different traffic scenarios, which can reduce the computational efforts of training and the demand for a large data amount. A case study of highway ramp merging scenario is demonstrated to verify the effectiveness and accuracy of the proposed framework.


title: Topology Adaption for the Quantum Internet

abstract: In the quantum repeater networks of the quantum Internet, the varying stability of entangled quantum links makes dynamic topology adaption an emerging issue. Here we define an efficient topology adaption method for quantum repeater networks. The model assumes the random failures of entangled links and several parallel demands from legal users. The shortest path defines a set of entangled links for which the probability of stability is above a critical threshold. The scheme is utilized in a base-graph of the overlay quantum network to provide an efficient shortest path selection for the demands of all users of the network. We study the problem of entanglement assignment in a quantum repeater network, prove its computational complexity, and show an optimization procedure. The results are particularly convenient for future quantum networking, quantum-Internet, and experimental long-distance quantum communications.


title: Non-invasive imaging of Young's modulus and Poisson's ratio in cancers in vivo

abstract: Objective: Alterations of Young's modulus (YM) and Poisson's ratio (PR) in biological tissues are often early indicators of the onset of pathological conditions. Knowledge of these parameters has been proven to be of great clinical significance for the diagnosis, prognosis and treatment of cancers. Currently, however, there are no non-invasive modalities that can be used to image and quantify these parameters in vivo without assuming incompressibility of the tissue, an assumption that is rarely justified in human tissues. Methods: In this paper, we develop a new method to simultaneously reconstruct YM and PR of a tumor and of its surrounding tissues, irrespective of the boundary conditions and the shape of the tumor based on ellipsoidal approximation. This new non-invasive method allows the generation of high spatial resolution YM and PR maps from axial and lateral strain data obtained via ultrasound elastography. The method was validated using finite element (FE) simulations and controlled experiments performed on phantoms with known mechanical properties. The clinical feasibility of the developed method was also demonstrated in an orthotopic mouse model of breast cancer. Results: Our results from simulations and controlled experiments demonstrate that the proposed reconstruction technique is accurate and robust. Conclusion: Availability of the proposed technique could address the clinical need of a non-invasive modality capable of imaging, quantifying and monitoring the mechanical properties of tumors with high spatial resolution and in real time. Significance: This technique can have a significant impact on the clinical translation of elasticity imaging methods.


title: The difference between Faradaic and non-Faradaic electrode processes

abstract: Both Faradaic and non-Faradaic processes can take place at an electrode. The difference between the two processes is clearly discussed in several classical sources, starting with Grahame (1952). However, later reference to charge transfer across the metal-solution interface as a defining feature of a Faradaic process, has led to ambiguities. Following Grahame, in a Faradaic process, charged particles transfer across the electrode, from one bulk phase to another. Thus, in a Faradaic process, after applying a constant current, the electrode charge, voltage and composition go to constant values. Instead, in a non-Faradaic (capacitive) process, charge is progressively stored. We characterize the intercalation material nickel hexacyanoferrate by two electrochemical methods and compare with theory. Data for the capacitance of this material is well described by the extended Frumkin isotherm. This data, and the correspondence with theory, demonstrates that this is a capacitive material and ion and charge storage in this material a non-Faradaic electrode process. Cyclic Voltammetry (CV) diagrams for this material have broad peaks for certain potential windows, and rectangular shapes for other conditions, both experimentally and in theoretical calculations based on a RC network model that includes how capacitance is a function of charge. Measured and predicted CV diagrams are in perfect agreement with one another. This shows that (broad) peaks in CV diagrams do not establish whether an electrode material is Faradaic or not.


title: From Recommendation Systems to Facility Location Games

abstract: Recommendation systems are extremely popular tools for matching users and contents. However, when content providers are strategic, the basic principle of matching users to the closest content, where both users and contents are modeled as points in some semantic space, may yield low social welfare. This is due to the fact that content providers are strategic and optimize their offered content to be recommended to as many users as possible. Motivated by modern applications, we propose the widely studied framework of facility location games to study recommendation systems with strategic content providers. Our conceptual contribution is the introduction of a $\textit{mediator}$ to facility location models, in the pursuit of better social welfare. We aim at designing mediators that a) induce a game with high social welfare in equilibrium, and b) intervene as little as possible. In service of the latter, we introduce the notion of $\textit{intervention cost}$, which quantifies how much damage a mediator may cause to the social welfare when an off-equilibrium profile is adopted. As a case study in high-welfare low-intervention mediator design, we consider the one-dimensional segment as the user domain. We propose a mediator that implements the socially optimal strategy profile as the unique equilibrium profile, and show a tight bound on its intervention cost. Ultimately, we consider some extensions, and highlight open questions for the general agenda.


title: Regularity of interfaces in phase transitions via obstacle problems

abstract: The aim of this note is to review some recent developments on the regularity theory for the stationary and parabolic obstacle problems. After a general overview, we present some recent results on the structure of singular free boundary points. Then, we show some selected applications to the generic smoothness of the free boundary in the stationary obstacle problem (Schaeffer's conjecture), and to the smoothness of the free boundary in the one-phase Stefan problem for almost every time.


title: Ricci-Positive geodesic flows and point-completion of static monopole fields

abstract: We use methods of complex analysis to extend the bundle structure across a removable point-singularity in a Sasakian three-manifold.


title: Reinforcement Learning for Decentralized Trajectory Design in Cellular UAV Networks with Sense-and-Send Protocol

abstract: Recently, the unmanned aerial vehicles (UAVs) have been widely used in real-time sensing applications over cellular networks, which sense the conditions of the tasks and transmit the real-time sensory data to the base station (BS). The performance of a UAV is determined by the performance of both its sensing and transmission processes, which are influenced by the trajectory of the UAV. However, it is challenging for UAVs to design their trajectories efficiently, since they work in a dynamic environment. To tackle this challenge, in this paper, we adopt the reinforcement learning framework to solve the UAV trajectory design problem in a decentralized manner. To coordinate multiple UAVs performing the real-time sensing tasks, we first propose a sense-and-send protocol, and analyze the probability for successful valid data transmission using nested Markov chains. Then, we formulate the decentralized trajectory design problem and propose an enhanced multi-UAV Q-learning algorithm to solve this problem. Simulation results show that the proposed enhanced multi-UAV Q-learning algorithm converges faster and achieves higher utilities for the UAVs in the real-time task-sensing scenarios.


title: Combining tumour response and progression free survival as surrogate endpoints for overall survival in advanced colorectal cancer

abstract: Progression free survival (PFS) and tumour response (TR) have been investigated as surrogate endpoints for overall survival (OS) in advanced colorectal cancer (aCRC), however their validity has been shown to be suboptimal. In recent years, meta-analytic methods allowing for use of multiple surrogate endpoints jointly have been proposed. The aim of this research was to assess if PFS and TR used jointly as surrogate endpoints to OS improve their predictive value. Data were obtained from a systematic review of randomised controlled trials investigating effectiveness of different pharmacological therapies in aCRC: systemic chemotherapies, anti-epidermal growth factor receptor therapies, anti-angiogenic agents, other multi-targeted antifolate treatments and intra-hepatic arterial chemotherapy. Multivariate meta-analysis was used to model the association patterns between treatment effects on the surrogate endpoints (PFS, TR) and the final outcome (OS). Analysis of 33 trials which reported treatment effects on all three outcomes showed reasonably strong association between treatment effects on PFS and OS. A weak surrogate relationship was noted between the treatment effects on TR and OS. Modelling the two surrogate endpoints, TR and PFS, jointly as predictors of OS gave no marked improvement in neither surrogacy patterns nor the precision of predicted treatment effect in the cross-validation procedure. When investigating subgroups of therapy, only small improvement in precision of predicted treatment effects on the final outcome in studies investigating anti-angiogenic therapy was noted. Overall, the simultaneous modelling of two surrogate endpoints did not lead to improvement in association between treatment effects on surrogate and final endpoints in aCRC.


title: Measurement of $P_T$-weighted Sivers asymmetries in leptoproduction of hadrons

abstract: The transverse spin asymmetries measured in semi-inclusive leptoproduction of hadrons, when weighted with the hadron transverse momentum $P_T$, allow for the extraction of important transverse-momentum-dependent distribution functions. In particular, the weighted Sivers asymmetries provide direct information on the Sivers function, which is a leading-twist distribution that arises from a correlation between the transverse momentum of an unpolarised quark in a transversely polarised nucleon and the spin of the nucleon. Using the high-statistics data collected by the COMPASS Collaboration in 2010 with a transversely polarised proton target, we have evaluated two types of $P_T$-weighted Sivers asymmetries, which are both proportional to the product of the firsttransverse moment of the Sivers function and of the fragmentation function. The results are compared to the standard unweighted Sivers asymmetries and used to extract the first transverse moments of the Sivers distributions for $u$ and $d$ quarks.


title: Quantitative weighted estimates for Rubio de Francia's Littlewood--Paley square function

abstract: We consider the Rubio de Francia's Littlewood--Paley square function associated with an arbitrary family of intervals in $\mathbb{R}$ with finite overlapping. Quantitative weighted estimates are obtained for this operator. The linear dependence on the characteristic of the weight $[w]_{A_{p/2}}$ turns out to be sharp for $3\le p<\infty$, whereas the sharpness in the range $2<p<3$ remains as an open question. Weighted weak-type estimates in the endpoint $p=2$ are also provided. The results arise as a consequence of a sparse domination shown for these operators, obtained by suitably adapting the ideas coming from Benea (2015) and Culiuc et al. (2016).


title: Limits of traces of singular moduli

abstract: Let $f$ and $g$ be weakly holomorphic modular functions on $\Gamma_0(N)$ with the trivial character. For an integer $d$, let $\Tr_d(f)$ denote the modular trace of $f$ of index $d$. Let $r$ be a rational number equivalent to $i\infty$ under the action of $\Gamma_0(4N)$. In this paper, we prove that, when $z$ goes radially to $r$, the limit $Q_{\hat{H}(f)}(r)$ of the sum $H(f)(z) = \sum_{d>0}\Tr_d(f)e^{2\pi idz}$ is a special value of a regularized twisted $L$-function defined by $\Tr_d(f)$ for $d\leq0$. It is proved that the regularized $L$-function is meromorphic on $\mathbb{C}$ and satisfies a certain functional equation. Finally, under the assumption that $N$ is square free, we prove that if $Q_{\hat{H}(f)}(r)=Q_{\hat{H}(g)}(r)$ for all $r$ equivalent to $i \infty$ under the action of $\Gamma_0(4N)$, then $\Tr_d(f)=\Tr_d(g)$ for all integers $d$.


title: Efficient and Robust Recovery of Signal and Image in Impulsive Noise via $\ell_1-\alpha \ell_2$ Minimization

abstract: In this paper, we consider the efficient and robust reconstruction of signals and images via $\ell_{1}-\alpha \ell_{2}~(0<\alpha\leq 1)$ minimization in impulsive noise case. To achieve this goal, we introduce two new models: the $\ell_1-\alpha\ell_2$ minimization with $\ell_1$ constraint, which is called $\ell_1-\alpha\ell_2$-LAD, the $\ell_1-\alpha\ell_2$ minimization with Dantzig selector constraint, which is called $\ell_1-\alpha\ell_2$-DS. We first show that sparse signals or nearly sparse signals can be exactly or stably recovered via $\ell_{1}-\alpha\ell_{2}$ minimization under some conditions based on the restricted $1$-isometry property ($\ell_1$-RIP). Second, for $\ell_1-\alpha\ell_2$-LAD model, we introduce unconstrained $\ell_1-\alpha\ell_2$ minimization model denoting $\ell_1-\alpha\ell_2$-PLAD and propose $\ell_1-\alpha\ell_2$LA algorithm to solve the $\ell_1-\alpha\ell_2$-PLAD. Last, numerical experiments %on success rates of sparse signal recovery demonstrate that when the sensing matrix is ill-conditioned (i.e., the coherence of the matrix is larger than 0.99), the $\ell_1-\alpha\ell_2$LA method is better than the existing convex and non-convex compressed sensing solvers for the recovery of sparse signals. And for the magnetic resonance imaging (MRI) reconstruction with impulsive noise, we show that the $\ell_1-\alpha\ell_2$LA method has better performance than state-of-the-art methods via numerical experiments.


title: Automated Strabismus Detection for Telemedicine Applications

abstract: Strabismus is one of the most influential ophthalmologic diseases in human's life. Timely detection of strabismus contributes to its prognosis and treatment. Telemedicine, which has great potential to alleviate the growing demand of the diagnosis of ophthalmologic diseases, is an effective method to achieve timely strabismus detection. In this paper, a tele strabismus dataset is established by the ophthalmologists. Then an end-to-end framework named as RF-CNN is proposed to achieve automated strabismus detection on the established tele strabismus dataset. RF-CNN first performs eye region segmentation on each individual image, and further classifies the segmented eye regions with deep neural networks. The experimental results on the established tele strabismus dataset demonstrates that the proposed RF-CNN can have a good performance on automated strabismus detection for telemedicine application. Code is made publicly available at: https://github.com/jieWeiLu/Strabismus-Detection-for-Telemedicine-Application.


title: Well Quasiorders and Hierarchy Theory

abstract: We discuss some applications of WQOs to several fields were hierarchies and reducibilities are the principal classification tools, notably to Descriptive Set Theory, Computability theory and Automata Theory. While the classical hierarchies of sets usually degenerate to structures very close to ordinals, the extension of them to functions requires more complicated WQOs, and the same applies to reducibilities. We survey some results obtained so far and discuss open problems and possible research directions.


title: Cellular automata as convolutional neural networks

abstract: Deep learning techniques have recently demonstrated broad success in predicting complex dynamical systems ranging from turbulence to human speech, motivating broader questions about how neural networks encode and represent dynamical rules. We explore this problem in the context of cellular automata (CA), simple dynamical systems that are intrinsically discrete and thus difficult to analyze using standard tools from dynamical systems theory. We show that any CA may readily be represented using a convolutional neural network with a network-in-network architecture. This motivates our development of a general convolutional multilayer perceptron architecture, which we find can learn the dynamical rules for arbitrary CA when given videos of the CA as training data. In the limit of large network widths, we find that training dynamics are nearly identical across replicates, and that common patterns emerge in the structure of networks trained on different CA rulesets. We train ensembles of networks on randomly-sampled CA, and we probe how the trained networks internally represent the CA rules using an information-theoretic technique based on distributions of layer activation patterns. We find that CA with simpler rule tables produce trained networks with hierarchical structure and layer specialization, while more complex CA produce shallower representations---illustrating how the underlying complexity of the CA's rules influences the specificity of these internal representations. Our results suggest how the entropy of a physical process can affect its representation when learned by neural networks.

categories: nlin.CG cond-mat.dis-nn cs.NE physics.comp-ph


title: Resonant state $D_0^\ast(2400)$ in the quasi-two-body $B$ meson decays

abstract: We study four quasi-two-body decay processes including $D^\ast_0(2400)$ as the intermediate state in perturbative QCD (PQCD) approach. The branching fraction predicted in this work for the decay mode $B^-\to D^{*}_0(2400)^0\pi^-\to D^+\pi^-\pi^-$ agree with the data from Belle, BaBar and LHCb Collaborations. The PQCD prediction of the branching ratio for the decay $\bar B^0\to D^{*+}_0K^-\to D^0\pi^+K^-$ is consistent with the value given by LHCb. For the decays $\bar B^0\to D^{*+}_0\pi^-\to D^0\pi^+\pi^-$ and $B^-\to D^{*0}_0K^-\to D^+\pi^-K^-$, the PQCD predicted branch ratios are $2.85^{+1.23}_{-0.80}(\omega_B)^{+1.05}_{-0.81}(\omega_{D\pi})^{+0.33}_{-0.31}(a_{D\pi})^{+0.06}_{-0.05}(\Gamma_{D^{*+}_0}) \times 10^{-4}$ and $4.65^{+1.89}_{-1.30}(\omega_B)^{+1.51}_{-1.24}(\omega_{D\pi})^{+0.40}_{-0.38}(a_{D\pi})^{+0.22}_{-0.18}(\Gamma_{D^{*0}_0}) \times 10^{-5}$, respectively. We analyze the experimental branching fractions using the ratios $R_{D^{*0}_0}$ and $R_{D^{*+}_0}$ which are related to the decays with the neutral and charged $D^\ast_0(2400)$, respectively. The available experimental results for the quasi-two-body decays including $D^\ast_0(2400)$ are not in agreement with the isospin relation and $SU(3)$ flavor symmetry.


title: Entropy and the spectral action

abstract: We compute the information theoretic von Neumann entropy of the state associated to the fermionic second quantization of a spectral triple. We show that this entropy is given by the spectral action of the spectral triple for a specific universal function. The main result of our paper is the surprising relation between this function and the Riemann zeta function. It manifests itself in particular by the values of the coefficients $c(d)$ by which it multiplies the $d$ dimensional terms in the heat expansion of the spectral triple. We find that $c(d)$ is the product of the Riemann xi function evaluated at $-d$ by an elementary expression. In particular $c(4)$ is a rational multiple of $\zeta(5)$ and $c(2)$ a rational multiple of $\zeta(3)$. The functional equation gives a duality between the coefficients in positive dimension, which govern the high energy expansion, and the coefficients in negative dimension, exchanging even dimension with odd dimension.


title: Visual Relationship Prediction via Label Clustering and Incorporation of Depth Information

abstract: In this paper, we investigate the use of an unsupervised label clustering technique and demonstrate that it enables substantial improvements in visual relationship prediction accuracy on the Person in Context (PIC) dataset. We propose to group object labels with similar patterns of relationship distribution in the dataset into fewer categories. Label clustering not only mitigates both the large classification space and class imbalance issues, but also potentially increases data samples for each clustered category. We further propose to incorporate depth information as an additional feature into the instance segmentation model. The additional depth prediction path supplements the relationship prediction model in a way that bounding boxes or segmentation masks are unable to deliver. We have rigorously evaluated the proposed techniques and performed various ablation analysis to validate the benefits of them.


title: Non-coherent Massive SIMO Systems in ISI Channels: Constellation Design and Performance Analysis

abstract: A massive single-input multiple-output (SIMO) system with a single transmit antenna and a large number of receive antennas in intersymbol interference (ISI) channels is considered. Contrast to existing energy detection (ED)-based non-coherent receiver where conventional pulse amplitude modulation (PAM) is employed, we propose a constellation design which minimizes the symbol-error rate (SER) with the knowledge of channel statistics. To make a comparison, we derive the SERs of the ED-based receiver with both the proposed constellation and PAM, namely $P_{e\_opt}$ and $P_{e\_pam}$. Specifically, asymptotic behaviors of the SER in regimes of a large number of receive antennas and high signal-to-noise ratio (SNR) are investigated. Analytical results demonstrate that the logarithms of both $P_{e\_opt}$ and $P_{e\_pam}$ decrease approximately linearly with the number of receive antennas, while $P_{e\_opt}$ degrades faster. It is also shown that the proposed design is of less cost, because compared with PAM, less antennas are required to achieve the same error rate.


title: The $R_\infty$--property for nilpotent quotients of Baumslag--Solitar groups

abstract: A group $G$ has the $R_{\infty}$--property if the number $R(\varphi)$ of twisted conjugacy classes is infinite for any automorphism $\varphi$ of $G$. For such a group $G$, the $R_{\infty}$--nilpotency index is the least integer $c$ such that $G/\gamma_{c+1}(G)$ still has the $R_\infty$--property. In this paper, we determine the $R_{\infty}$--nilpotency degree of all Baumslag--Solitar groups.


title: Fitting a Graph to One-Dimensional Data

abstract: Given n data points in R^d, an appropriate edge-weighted graph connecting the data points finds application in solving clustering, classification, and regresssion problems. The graph proposed by Daitch, Kelner and Spielman (ICML~2009) can be computed by quadratic programming and hence in polynomial time. While a more efficient algorithm would be preferable, replacing quadratic programming is challenging even for the special case of points in one dimension. We develop a dynamic programming algorithm for this case that runs in O(n^2) time.


title: Optical Identification of X-ray Sources from the 14-Year INTEGRAL All-Sky Survey

abstract: We present the results of our optical identifications of several hard X-ray sources from the INTEGRAL all-sky survey obtained over 14 years of observations. Having improved the positions of these objects in the sky with the X-ray telescope (XRT) of the Swift observatory and the XMM-Newton observatory, we have identified their counterparts using optical and infrared sky survey data. We have obtained optical spectra for more than half of the objects from our sample with the RTT-150 and AZT-33IK telescopes, which have allowed us to establish the nature of the objects and to measure their redshifts. Six sources are shown to be extragalactic in origin and to belong to Seyfert 1 and 2 galaxies (IGR J01017+6519, IGR J08215-1320, IGR J08321-1808, IGR J16494-1740, IGR J17098-2344, IGR J17422-2108); we have failed to draw definitive conclusions about the nature of four more objects (IGR J11299-6557, IGR J14417-5533, IGR J18141-1823, IGR J18544+0839), but, judging by circumstantial evidence, they are most likely also extragalactic objects. For one more object (IGR J18044-1829) no unequivocal identification has been made.


title: Spin transfer torques and spin-dependent transport in a metallic F/AF/N tunneling junction

abstract: We study spin-dependent electron transport through a ferromagnetic-antiferromagnetic-normal metal tunneling junction subject to a voltage or temperature bias, in the absence of spin-orbit coupling. We derive microscopic formulas for various types of spin torque acting on the antiferromagnet as well as for charge and spin currents flowing through the junction. The obtained results are applicable in the limit of slow magnetization dynamics. We identify a parameter regime in which an unconventional damping-like torque can become comparable in magnitude to the equivalent of the conventional Slonczewski's torque generalized to antiferromagnets. Moreover, we show that the antiferromagnetic sublattice structure opens up a channel of electron transport which does not have a ferromagnetic analogue and that this mechanism leads to a pronounced field-like torque. Both charge conductance and spin current transmission through the junction depend on the relative orientation of the ferromagnetic and the antiferromagnetic vectors (order parameters). The obtained formulas for charge and spin currents allow us to identify the microscopic mechanisms responsible for this angular dependence and to assess the efficiency of an antiferromagnetic metal acting as a spin current polarizer.


title: The Laurent Extension of Quantum Plane: a Complete List of $U_q(\mathfrak{sl}_2)$-Symmetries

abstract: This work finishes a classification of $U_q(\mathfrak{sl}_2)$-symmetries on the Laurent extension $\mathbb{C}_q\big[x^{\pm 1},y^{\pm 1}\big]$ of the quantum plane. After reproducing the partial results of a previous paper of the author related to symmetries with non-trivial action of the Cartan generator(s) of $U_q(\mathfrak{sl}_2)$ and the generic symmetries, a complete collection of non-generic symmetries is presented. Together, these collections constitute a complete list of $U_q(\mathfrak{sl}_2)$-symmetries on $\mathbb{C}_q\big[x^{\pm 1},y^{\pm 1}\big]$.


title: Data scraping, ingestation, and modeling: bringing data from cars.com into the intro stats class

abstract: New tools have made it much easier for students to develop skills to work with interesting data sets as they begin to extract meaning from data. To fully appreciate the statistical analysis cycle, students benefit from repeated experiences collecting, ingesting, wrangling, analyzing data and communicating results. How can we bring such opportunities into the classroom? We describe a classroom activity, originally developed by Danny Kaplan (Macalester College), in which students can expand upon statistical problem solving by hand-scraping data from cars.com, ingesting these data into R, then carrying out analyses of the relationships between price, mileage, and model year for a selected type of car.


title: What indicators matter? The Analysis of Perception toward Research Assessment Indicators and Leiden Manifesto- The Case Study of Taiwan

abstract: This study aims to investigate the Taiwanese researchers' awareness toward bibliometric indicators and the principles from Leiden Manifesto. The online survey was conducted and obtained a total of 417 valid responses. The results show that evoking the right concept of use of bibliometric indicators and research evaluation has a long way to go. The lack of recognition of bibliometric indicators exists in Taiwanese academia. Generally speaking, researchers may hear of the certain indicator, but they are not familiar with its definition and calculation process. Only JIF and h-index are considered as well-known indicators. The results also suggest that the ten principles from Leiden Manifesto can be considered as the universal guideline in research evaluation since most of Taiwanese researchers agree the contents. Especially for the principle 6 "Account for variation by field in publication and citation practices" has highest degree of agreement. However, it is interesting to compare the result of recognition of relative citation ratio, only few researchers have fully understood the definition. This result indicates the scientometricians should make more effort to disseminate the concept of field-normalization in bibliometric indicators. The researchers do have understanding about the importance of comparison on the same basis, at the meantime, they may use the inappropriate indicators just because of lacking of enough knowledge on the variety of indicators. Hence, it is important to initiate the education of informetrics to all of the stakeholders in research evaluation so that the misuse and abuse of bibliometric indicators may possibly not happen again, and the bibliometric analysis is able to turn to contextualization-based analysis in the future.


title: Non-commutativity in Unified Theories and Gravity

abstract: First, we briefly review the Coset Space Dimensional Reduction scheme and the results of the best model so far. Then, we present the introduction of fuzzy coset spaces used as extra dimensions and perform a dimensional reduction. In turn, we describe a construction which mimics the results of a reduction, starting from a 4-dimensional theory and we present a successful example of a dynamical generation of fuzzy spheres. Finally, we propose a construction of the 3-d gravity as a gauge theory on specific non-commutative spaces.


title: Full vs. no information best choice game with finite horizon

abstract: Let us consider two companies A and B. Both of them are interested in buying a set of some goods. The company A is a big corporation and it knows the actual value of the good on the market and is able to observe the previous values of them. The company B has no information about the actual value of the good but it can compare the actual position of the good on the market with the previous position of the good offered. Both of the players want to choose the very best object overall. The recall is not allowed. The number of the objects is fixed and finite. One can think about these two types of buyers a business customer vs. an individual customer. The mathematical model of the competition between them is presented and the solution is defined and constructed.


title: Epidemiological impact of waning immunization on a vaccinated population

abstract: This is an epidemiological SIRV model based study that is designed to analyze the impact of vaccination in containing infection spread, in a 4-tiered population compartment comprised of susceptible, infected, recovered and vaccinated agents. While many models assume a lifelong protection through vaccination, we focus on the impact of waning immunization due to conversion of vaccinated and recovered agents back to susceptible ones. Two asymptotic states exist, the "disease-free equilibrium" and the "endemic equilibrium"; we express the transitions between these states as function of the vaccination and conversion rates using the basic reproduction number as a descriptor. We find that the vaccination of newborns and adults have different consequences in controlling epidemics. We also find that a decaying disease protection within the recovered sub-population is not sufficient to trigger an epidemic at the linear level. Our simulations focus on parameter sets that could model a disease with waning immunization like pertussis. For a diffusively coupled population, a transition to the endemic state can be initiated via the propagation of a traveling infection wave, described successfully within a Fisher-Kolmogorov framework.


title: A discrete maximum principle for the weak Galerkin finite element method on nonuniform rectangular partitions

abstract: This article establishes a discrete maximum principle (DMP) for the approximate solution of convection-diffusion-reaction problems obtained from the weak Galerkin finite element method on nonuniform rectangular partitions. The DMP analysis is based on a simplified formulation of the weak Galerkin involving only the approximating functions defined on the boundary of each element. The simplified weak Galerkin method has a reduced computational complexity over the usual weak Galerkin, and indeed provides a discretization scheme different from the weak Galerkin when the reaction term presents. An application of the simplified weak Galerkin on uniform rectangular partitions yields some $5$- and $7$-point finite difference schemes for the second order elliptic equation. Numerical experiments are presented to verify the discrete maximum principle and the accuracy of the scheme, particularly the finite difference scheme.


title: External Force Field Modeling for Autonomous Surface Vehicles

abstract: Operating in the presence of strong adverse forces is a particularly challenging problem in field robotics. In most robotic operations where the robot is not firmly grounded, such as aerial, surface, and underwater, minimal external forces are assumed as the standard operating procedures. The first action for operating in the presence of non-trivial forces is modeling the forces and their effect on the robots motion. In this work an Autonomous Surface Vehicle (ASV), operating on lakes and rivers with varying winds and currents, collects wind and current measurements with an inexpensive custom-made sensor suite setup, and generates a model of the force field. The modeling process takes into account depth, wind, and current measurements along with the ASVs trajectory from GPS. In this work, we propose a method for an ASV to build an environmental force map by integrating in a Gaussian Process the wind, depth, and current measurements gathered at the surface. We run extensive experimental field trials for our approach on real Jetyak ASVs. Experimental results from different locations validate the proposed modeling approach.


title: MPS: An R package for modelling new families of distributions

abstract: We introduce an \verb|R| package, called \verb|MPS|, for computing the probability density function, computing the cumulative distribution function, computing the quantile function, simulating random variables, and estimating the parameters of 24 new shifted families of distributions. By considering an extra shift (location) parameter for each family more flexibility yields. Under some situations, since the maximum likelihood estimators may fail to exist, we adopt the well-known maximum product spacings approach to estimate the parameters of shifted 24 new families of distributions. The performance of the \verb|MPS| package for computing the cdf, pdf, and simulating random samples will be checked by examples. The performance of the maximum product spacings approach is demonstrated by executing \verb|MPS| package for three sets of real data. As it will be shown, for the first set, the maximum likelihood estimators break down but \verb|MPS| package find them. For the second set, adding the location parameter leads to acceptance the model while absence of the location parameter makes the model quite inappropriate. For the third set, presence of the location parameter yields a better fit.


title: Laplacian Simplices II: A Coding Theoretic Approach

abstract: This paper further investigates \emph{Laplacian simplices}. A construction by Braun and the first author associates to a simple connected graph $G$ a simplex $\cP_G$ whose vertices are the rows of the Laplacian matrix of $G$. In this paper we associate to a reflexive $\cP_G$ a duality-preserving linear code $\cC(\cP_G)$. This new perspective allows us to build upon previous results relating graphical properties of $G$ to properties of the polytope $\cP_G$. In particular, we make progress towards a graphical characterization of reflexive $\cP_G$ using techniques from Ehrhart theory. We provide a systematic investigation of $\cC(\cP_G)$ for cycles, complete graphs, and graphs with a prime number of vertices. We construct an asymptotically good family of MDS codes. In addition, we show that any rational rate is achievable by such construction.