title: Analytic Evaluation of two-electron Atomic Integrals involving Extended Hylleraas-CI functions with STO basis

abstract: Some typical overlap/potential energy integrals which occur in the use of extended Hylleraas-configuration interaction (E-Hy-CI) functions with Slater-type orbital (STO) basis for two-electron atomic structure calculations, have been evaluated analytically. The corresponding kinetic energy integrals have been simplified first by using formulas derived from Gauss' divergence theorem in vector calculus, and then expressed in terms of overlap / potential energy matrix elements. Also closed-form expressions for such integrals which arise in the application of Hylleraas-CI functions, and CI functions have been obtained as special cases, and the calculated values are found to agree well with correct results published by other investigators.


title: Logistic type attraction-repulsion chemotaxis systems with a free boundary or unbounded boundary. II. Spreading-vanishing dichotomy in a domain with a free boundary

abstract: The current series of research papers is to investigate the asymptotic dynamics in logistic type chemotaxis models in one space dimension with a free boundary or unbounded boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. In this first of the series, we investigated the dynamical behaviors of logistic type chemotaxis models on the half line $\mathbb{R}^+$, which are formally corresponding limit systems of the free boundary problems. In the second of the series, we establish the spreading-vanishing dichotomy in chemoattraction-repulsion systems with a free boundary as well as with double free boundaries.


title: Counterexamples to the Tilting and $(p,r)$-Filtration Conjectures

abstract: In this paper the authors produce a projective indecomposable module for the Frobenius kernel of a simple algebraic group in characteristic $p$ that is not the restriction of an indecomposable tilting module. This yields a counterexample to Donkin's longstanding Tilting Module Conjecture. The authors also produce a Weyl module that does not admit a $p$-Weyl filtration. This answers an old question of Jantzen, and also provides a counterexample to the $(p,r)$-Filtration Conjecture.


title: An elementary introduction to the geometry of quantum states with pictures

abstract: This is a review of the geometry of quantum states using elementary methods and pictures. Quantum states are represented by a convex body, often in high dimensions. In the case of n-qubits, the dimension is exponentially large in n. The space of states can be visualized, to some extent, by its simple cross sections: Regular simplexes, balls and hyper-octahedra. When the dimension gets large there is a precise sense in which the space of states resembles, almost in every direction, a ball. The ball turns out to be a ball of rather low purity states. We also address some of the corresponding, but harder, geometric properties of separable and entangled states and entanglement witnesses.


title: Birationally superrigid Fano 3-folds of codimension 4

abstract: We determine birational superrigidity for a quasi-smooth prime Fano 3-fold of codimension 4 with no projection centers. In particular we prove birational superrigidity for Fano 3-folds of codimension 4 with no projection centers which are recently constructed by Coughlan and Ducat. We also pose some questions and a conjecture regarding the classification of birationally superrigid Fano 3-folds.


title: Rank Bounded Hibi Subrings for Planar Distributive Lattices

abstract: Let $L$ be a distributive lattice and $R[L]$ the associated Hibi ring. We show that if $L$ is planar, then any bounded Hibi subring of $R[L]$ has a quadratic Gr\"obner basis. We characterize all planar distributive lattices $L$ for which any proper rank bounded Hibi subring of $R[L]$ has a linear resolution. Moreover, if $R[L]$ is linearly related for a lattice $L$, we find all the rank bounded Hibi subrings of $R[L]$ which are linearly related too.


title: Four loop scalar $\phi^4$ theory using the functional renormalization group

abstract: We consider a symmetric scalar theory with quartic coupling in 4-dimensions. We show that the 4 loop 2PI calculation can be done using a renormalization group method. The calculation involves one bare coupling constant which is introduced at the level of the Lagrangian and is therefore conceptually simpler than a standard 2PI calculation, which requires multiple counterterms. We explain how our method can be used to do the corresponding calculation at the 4PI level, which cannot be done using any known method by introducing counterterms.


title: Proof of a Conjecture on the Seidel Energy of Graphs

abstract: Let $G$ be a graph with the vertex set $ \lbrace v_1,\ldots,v_n \rbrace$. The Seidel matrix of $G$ is an $n\times n$ matrix whose diagonal entries are zero, $ij$-th entry is $-1$ if $ v_{i} $ and $ v_{j} $ are adjacent and otherwise is $ 1 $. The Seidel energy of $G$ is defined to be the sum of absolute values of all eigenvalues of the Seidel matrix of $G$. Haemers conjectured that the Seidel energy of any graph of order $n$ is at least $2n-2$ and, up to Seidel equivalence, the equality holds for $ K_{n} $. We establish the validity of Haemers' Conjecture in general.


title: Symmetry breaking of quantum droplets in a dual-core trap

abstract: We consider the dynamical model of a binary bosonic gas trapped in a symmetric dual-core cigar-shaped potential. The setting is modeled by a system of linearly-coupled one-dimensional Gross-Pitaevskii equations with the cubic self-repulsive terms and quadratic attractive ones,which represent the Lee-Huang-Yang corrections to the mean-field theory in this geometry. The main subject is spontaneous symmetry breaking (SSB) of quantum droplets (QDs), followed by restoration of the symmetry, with respect to the symmetric parallel-coupled trapping cores, following the increase of the QD's total norm. The SSB transition and inverse symmetry-restoring one form a bifurcation loop, whose shape in concave at small values of the inter-core coupling constant, $\kappa$, and convex at larger $\kappa $. The loop does not exist above a critical value of $\kappa $. At very large values of the norm, QDs do not break their symmetry, featuring a flat-top shape. Some results are obtained in an analytical form, including an exact front solution connecting constant zero and finite values of the wave function. Collisions between moving QDs are considered too, demonstrating a trend to merger into breathers.


title: Performance Characterization Using AoI in a Single-loop Networked Control System

abstract: The joint design of control and communication scheduling in a Networked Control System (NCS) is known to be a hard problem. Several research works have successfully designed optimal sampling and/or control strategies under simplified communication models, where transmission delays/times are negligible or fixed. However, considering sophisticated communication models, with random transmission times, result in highly coupled and difficult-to-solve optimal design problems due to the parameter inter-dependencies between estimation/control and communication layers. To tackle this problem, in this work, we investigate the applicability of Age-of-Information (AoI) for solving control/estimation problems in an NCS under i.i.d. transmission times. Our motivation for this investigation stems from the following facts: 1) recent results indicate that AoI can be tackled under relatively sophisticated communication models, and 2) a lower AoI in an NCS may result in a lower estimation/control cost. We study a joint optimization of sampling and scheduling for a single-loop stochastic LTI networked system with the objective of minimizing the time-average squared norm of the estimation error. We first show that under mild assumptions on information structure the optimal control policy can be designed independently from the sampling and scheduling policies. We then derive a key result that minimizing the estimation error is equivalent to minimizing a function of AoI when the sampling decisions are independent of the state of the LTI system. Noting that minimizing the function of AoI is a stochastic combinatorial optimization problem and is hard to solve, we resort to heuristic algorithms obtained by extending existing algorithms in the AoI literature. We also identify a class of LTI system dynamics for which minimizing the estimation error is equivalent to minimizing the expected AoI.


title: Experimental Detection of Qubit-Ququart Pseudo-Bound Entanglement using Three Nuclear Spins

abstract: In this work, we experimentally created and characterized a class of qubit-ququart PPT (positive under partial transpose) entangled states using three nuclear spins on an nuclear magnetic resonance (NMR) quantum information processor. Entanglement detection and characterization for systems with a Hilbert space dimension $\ge 2 \otimes 3$ is nontrivial since there are states in such systems which are both PPT as well as entangled. The experimental detection scheme that we devised for the detection of qubit-ququart PPT entanglement was based on the measurement of three Pauli operators with high precision, and is a key ingredient of the protocol in detecting entanglement. The family of PPT-entangled states considered in the current study are incoherent mixtures of five pure states. All the five states were prepared with high fidelities and the resulting PPT entangled states were prepared with mean fidelity $\ge 0.95$. The entanglement thus detected was validated by carrying out full quantum state tomography (QST).


title: Optical Flux and Spectral Variability of the TeV blazar PG 1553+113

abstract: We present the results of our optical (VRI) observations of the TeV blazar PG 1553+113 over eight nights in 2016 April. We monitored the blazar quasi-simultaneously in V and R bands each night and examined the light curves (LCs) for intraday flux and color variations using two of the most powerful tests; the power-enhanced F-test and the nested ANOVA test. The source was found to be significantly (> 99%) variable in both V and R bands only on April 13, while clear variations only in R band LCs were seen on April 8 and 12. No temporal variation was seen in the color during the observation period. We did not find any significant correlation between V-R color index and R magnitude on any observing night. We found a mean optical spectral index of $\sim 0.83 \pm 0.02 $ with a maximum variation of 0.21 by fitting a power law ($F_{\nu} \propto \nu^{-\alpha}$) in the optical (VRI) spectral energy distribution of PG 1553+113. We briefly discuss the possible physical processes responsible for the observed flux and spectral variability.


title: Excited state dynamics of some nonsteroidal anti-inflammatory drugs: a surface-hopping investigation

abstract: Here we present a computational investigation of the excited state dynamics of 5 different active medical substances (aspirin, ibuprofen, carprofen, suprofen, indomethacin) which belong to the family of nonsteroidal anti-inflammatory drugs (NSAIDs). The nonadiabatic dynamics simulations were performed using the surface hopping method, with electronic energies and couplings evaluated on the fly in a semiempirical framework. For aspirin, the solvent decay dynamics was also considered by inserting it in a cluster of water molecules, following a QM/MM scheme. A quite diverse behavior was observed for the systems considered, going from fast deactivation to the ground state (aspirin and ibuprofen), to ultrafast intersystem crossing to the triplet manifold (carprofen and suprofen), or to the generation of long lived S1 states (indomethacin). To our knowledge, this is the first computational study of the photodynamics of these NSAIDs.


title: Cloud-Aided Interference Management with Cache-Enabled Edge Nodes and Users

abstract: This paper considers a cloud-RAN architecture with cache-enabled multi-antenna Edge Nodes (ENs) that deliver content to cache-enabled end-users. The ENs are connected to a central server via limited-capacity fronthaul links, and, based on the information received from the central server and the cached contents, they transmit on the shared wireless medium to satisfy users' requests. By leveraging cooperative transmission as enabled by ENs' caches and fronthaul links, as well as multicasting opportunities provided by users' caches, a close-to-optimal caching and delivery scheme is proposed. As a result, the minimum Normalized Delivery Time (NDT), a high-SNR measure of delivery latency, is characterized to within a multiplicative constant gap of $3/2$ under the assumption of uncoded caching and fronthaul transmission, and of one-shot linear precoding. This result demonstrates the interplay among fronthaul links capacity, ENs' caches, and end-users' caches in minimizing the content delivery time.


title: The Road to BOFUSS: The Basic OpenFlow User-space Software Switch

abstract: Software switches are pivotal in the Software-Defined Networking (SDN) paradigm, particularly in the early phases of development, deployment and testing. Currently, the most popular one is Open vSwitch (OVS), leveraged in many production-based environments. However, due to its kernel-based nature, OVS is typically complex to modify when additional features or adaptation is required. To this regard, a simpler user-space is key to perform these modifications. In this article, we present a rich overview of BOFUSS, the basic OpenFlow user-space software switch. BOFUSS has been widely used in the research community for diverse reasons, but it lacked a proper reference document. For this purpose, we describe the switch, its history, architecture, uses cases and evaluation, together with a survey of works that leverage this switch. The main goal is to provide a comprehensive overview of the switch and its characteristics. Although the original BOFUSS is not expected to surpass the high performance of OVS, it is a useful complementary artifact that provides some OpenFlow features missing in OVS and it can be easily modified for extended functionality. Moreover, enhancements provided by the BEBA project brought the performance from BOFUSS close to OVS. In any case, this paper sheds light to researchers looking for the trade-offs between performance and customization of BOFUSS.


title: On the global bifurcation diagram of the Gel'fand problem

abstract: For domains of first kind [7,13] we describe the qualitative behavior of the global bifurcation diagram of the unbounded branch of solutions of the Gel'fand problem crossing the origin. At least to our knowledge this is the first result about the exact monotonicity of the branch of non-minimal solutions which is not just concerned with radial solutions [28] and/or with symmetric domains [23]. Toward our goal we parametrize the branch not by the $L^{\infty}(\Omega)$-norm of the solutions but by the energy of the associated mean field problem. The proof relies on a carefully modified spectral analysis of mean field type equations.


title: Causality of the Einstein-Israel-Stewart Theory with Bulk Viscosity

abstract: We prove that Einstein's equations coupled to equations of Israel-Stewart-type, describing the dynamics of a relativistic fluid with bulk viscosity and nonzero baryon charge (without shear viscosity or baryon diffusion) dynamically coupled to gravity, are causal in the full nonlinear regime. We also show that these equations can be written as a first-order symmetric hyperbolic system, implying local existence and uniqueness of solutions to the equations of motion. We use an arbitrary equation of state and do not make any simplifying symmetry or near-equilibrium assumption, requiring only physically natural conditions on the fields. These results pave the way for the inclusion of bulk viscosity effects in simulations of gravitational-wave signals coming from neutron star mergers.

categories: gr-qc astro-ph.HE hep-ph math-ph math.MP nucl-th


title: Deterministic constructions of high-dimensional sets with small dispersion

abstract: The dispersion of a point set $P\subset[0,1]^d$ is the volume of the largest box with sides parallel to the coordinate axes, which does not intersect $P$. Here, we show a construction of low-dispersion point sets, which can be deduced from solutions of certain $k$-restriction problems, which are well-known in coding theory. It was observed only recently that, for any $\varepsilon>0$, certain randomized constructions provide point sets with dispersion smaller than $\varepsilon$ and number of elements growing only logarithmically in $d$. Based on deep results from coding theory, we present explicit, deterministic algorithms to construct such point sets in time that is only polynomial in $d$. Note that, however, the running-time will be super-exponential in $\varepsilon^{-1}$.


title: Double nuclei in NGC 908 and NGC 1187

abstract: We analyze optical data cubes of the nuclear regions of two late-type galaxies, NGC 908 and NGC 1187, obtained with the Integral Field Unit of the Gemini Multi-Object Spectrograph. Both data cubes show stellar structures consistent with double nuclei. The morphology of the line-emitting areas in the central region of NGC 1187 is also of a double nucleus, while the spatial morphology of the line-emitting areas in the data cube of NGC 908 is consistent with a circumnuclear asymmetric ring. The emission-line ratios of the nuclear spectra (and, actually, along the entire field of view) of both galaxies are characteristic of H II regions. In particular, based on its emission-line properties, the circumnuclear ring in NGC 908 can be identified as a star-forming ring. The observed spatial morphology of the stellar emission and also the differences in the properties of the stellar populations detected in the stellar nuclei of NGC 908 suggest that the most likely scenario to explain the double stellar nucleus in this object involves a minor merger, probably with a high mass ratio. On the other hand, considering the similar properties of the stellar populations in the stellar nuclei of NGC 1187, together with the stellar and gas kinematic properties, we conclude that the most likely scenario to explain the double stellar and gas nucleus in this galaxy involves the stellar and gas kinematics, in the form of a circular nuclear disk subject to perturbations.


title: On the finiteness length of some soluble linear groups

abstract: Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & * \end{smallmatrix} \right)\leq\mathrm{SL}_2(R)$ whenever $G$ admits certain $R$-representations with metabelian image. Combined with results due to Bestvina--Eskin--Wortman and Gandini, this gives a new proof of (a generalization of) Bux's equality on the finiteness length of $S$-arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels' groups $\mathbf{A}_n(R) \leq \mathrm{GL}_n(R)$ in terms of $n$ and $\mathbf{B}_2^\circ(R)$. This generalizes earlier results due to Remeslennikov, Holz, Lyul'ko, Cornulier--Tessera, and points out to a conjecture about the finiteness length of such groups.


title: Influence of morphological instability on grain boundary trajectory during directional solidification

abstract: The interplay between the diffusion-controlled dynamics of a solidification front and the trajectory of a grain boundary groove at the solid-liquid interface is studied by means of thin-sample directional solidification experiments of a transparent alloy, and by numerical simulations with the phase-field method in two dimensions. We find that low-angle grain boundaries (subboundaries) with an anisotropic interfacial free energy grow tilted at an angle $\theta_t$ with respect to the temperature gradient axis. $\theta_t$ remains essentially equal to its value imposed at equilibrium as long as the solidification velocity $V$ remains low. When $V$ increases and approaches the cellular instability threshold, $\theta_t$ decreases, and eventually vanishes when a steady-state cellular morphology forms. The absence of mobility of the subboundary in the solid is key to this transition. These findings are in good agreement with a recent linear-stability analysis of the problem.


title: Visual Entailment: A Novel Task for Fine-Grained Image Understanding

abstract: Existing visual reasoning datasets such as Visual Question Answering (VQA), often suffer from biases conditioned on the question, image or answer distributions. The recently proposed CLEVR dataset addresses these limitations and requires fine-grained reasoning but the dataset is synthetic and consists of similar objects and sentence structures across the dataset. In this paper, we introduce a new inference task, Visual Entailment (VE) - consisting of image-sentence pairs whereby a premise is defined by an image, rather than a natural language sentence as in traditional Textual Entailment tasks. The goal of a trained VE model is to predict whether the image semantically entails the text. To realize this task, we build a dataset SNLI-VE based on the Stanford Natural Language Inference corpus and Flickr30k dataset. We evaluate various existing VQA baselines and build a model called Explainable Visual Entailment (EVE) system to address the VE task. EVE achieves up to 71% accuracy and outperforms several other state-of-the-art VQA based models. Finally, we demonstrate the explainability of EVE through cross-modal attention visualizations. The SNLI-VE dataset is publicly available at https://github.com/ necla-ml/SNLI-VE.


title: Spontaneous Spatiotemporal Ordering of Shape Oscillations Enhances Cell Migration

abstract: The migration of cells is relevant for processes such as morphogenesis, wound healing, and invasion of cancer cells. In order to move, single cells deform cyclically. However, it is not understood how these shape oscillations influence collective properties. Here we demonstrate, using numerical simulations, that the interplay of directed motion, shape oscillations, and excluded volume enables cells to locally "synchronize" their motion and thus enhance collective migration. Our model captures elongation and contraction of crawling ameboid cells controlled by an internal clock with a fixed period, mimicking the internal cycle of biological cells. We show that shape oscillations are crucial for local rearrangements that induce ordering of internal clocks between neighboring cells even in the absence of signaling and regularization. Our findings reveal a novel, purely physical mechanism through which the internal dynamics of cells influences their collective behavior, which is distinct from well known mechanisms like chemotaxis, cell division, and cell-cell adhesion.


title: Fitting A Mixture Distribution to Data: Tutorial

abstract: This paper is a step-by-step tutorial for fitting a mixture distribution to data. It merely assumes the reader has the background of calculus and linear algebra. Other required background is briefly reviewed before explaining the main algorithm. In explaining the main algorithm, first, fitting a mixture of two distributions is detailed and examples of fitting two Gaussians and Poissons, respectively for continuous and discrete cases, are introduced. Thereafter, fitting several distributions in general case is explained and examples of several Gaussians (Gaussian Mixture Model) and Poissons are again provided. Model-based clustering, as one of the applications of mixture distributions, is also introduced. Numerical simulations are also provided for both Gaussian and Poisson examples for the sake of better clarification.


title: Approval-Based Elections and Distortion of Voting Rules

abstract: We consider elections where both voters and candidates can be associated with points in a metric space and voters prefer candidates that are closer to those that are farther away. It is often assumed that the optimal candidate is the one that minimizes the total distance to the voters. Yet, the voting rules often do not have access to the metric space $M$ and only see preference rankings induced by $M$.Consequently, they often are incapable of selecting the optimal candidate. The distortion of a voting rule measures the worst-case loss of the quality being the result of having access only to preference rankings. We extend the idea of distortion to approval-based preferences. First, we compute the distortion of Approval Voting. Second, we introduce the concept of acceptability-based distortion---the main idea behind is that the optimal candidate is the one that is acceptable to most voters. We determine acceptability-distortion for a number of rules, including Plurality, Borda, $k$-Approval, Veto, the Copeland's rule, Ranked Pairs, the Schulze's method, and STV.


title: Non-vanishing of Class Group L-functions for Number Fields with a Small Regulator

abstract: Let $E/\mathbb{Q}$ be a number field of degree $n$. We show that if $\operatorname{Reg}(E)\ll_n |\operatorname{Disc}(E)|^{1/4}$ then the fraction of class group characters for which the Hecke $L$-function does not vanish at the central point is $\gg_{n,\varepsilon} |\operatorname{Disc}|^{-1/4-\varepsilon}$. The proof is an interplay between almost equidistribution of Eisenstein periods over the toral packet in $\mathbf{PGL}_n(\mathbb{Z})\backslash\mathbf{PGL}_n(\mathbb{R})$ associated to the maximal order of $E$, and the escape of mass of the torus orbit associated to the trivial ideal class.


title: View on N-dimensional spherical harmonics from the quantum mechanical P\"oschl-Teller potential well

abstract: In this paper we propose an approach of obtaining of N-dimensional spherical harmonics based exclusively on the methods of solutions of differential equations and the use of the special functions properties. We deduce the Laplace-Beltrami operator on the N-sphere, indicate some instructive relations for the metric, and demonstrate the procedure of separation of the variables. We show that the ordinary differential equations for every variable, except one, can be reduced to the Schr\"odinger equation (SE) with the symmetric P\"oschl-Teller (SPT) potential well by means of certain substitutions. We also exhibit that the solutions of SE with SPT potential are expressed in terms of the Gegenbauer polynomials. The eigenvalues of the Laplace-Beltrami operator and the characteristic numbers of the spherical harmonics are obtained with the use of the properties of the spectrum of SE with SPT potential. The spherical harmonics are constructed as a product of the eigenfunctions of SE with SPT potential multiplied by a easily computable factor function and expressed in terms of the Gegenbauer polynomials. The work has a pedagogical character to some extent.


title: Seed-Driven Geo-Social Data Extraction -- Full Version

abstract: Geo-social data has been an attractive source for a variety of problems such as mining mobility patterns, link prediction, location recommendation, and influence maximization. However, new geo-social data is increasingly unavailable and suffers several limitations. In this paper, we aim to remedy the problem of effective data extraction from geo-social data sources. We first identify and categorize the limitations of extracting geo-social data. In order to overcome the limitations, we propose a novel seed-driven approach that uses the points of one source as the seed to feed as queries for the others. We additionally handle differences between, and dynamics within the sources by proposing three variants for optimizing search radius. Furthermore, we provide an optimization based on recursive clustering to minimize the number of requests and an adaptive procedure to learn the specific data distribution of each source. Our comprehensive experiments with six popular sources show that our seed-driven approach yields 14.3 times more data overall, while our request-optimized algorithm retrieves up to 95% of the data with less than 16% of the requests. Thus, our proposed seed-driven approach set new standards for effective and efficient extraction of geo-social data.


title: CASCLIK: CasADi-Based Closed-Loop Inverse Kinematics

abstract: A Python module for rapid prototyping of constraint-based closed-loop inverse kinematics controllers is presented. The module allows for combining multiple tasks that are resolved with a quadratic, nonlinear, or model predictive optimization-based approach, or a set-based task-priority inverse kinematics approach. The optimization-based approaches are described in relation to the set-based task approach, and a novel multidimensional "in tangent cone" function is presented for set-based tasks. A ROS component is provided, and the controllers are tested with matching a pose using either transformation matrices or dual quaternions, trajectory tracking while remaining in a bounded workspace, maximizing manipulability during a tracking task, tracking an input marker's position, and force compliance.


title: Parametric Convex Quadratic Relaxation of the Quadratic Knapsac Problem

abstract: We consider a parametric convex quadratic programming, CQP, relaxation for the quadratic knapsack problem, QKP. This relaxation maintains partial quadratic information from the original QKP by perturbing the objective function to obtain a concave quadratic term. The nonconcave part generated by the perturbation is then linearized by a standard approach that lifts the problem to the matrix space. We present a primal-dual interior point method to optimize the perturbation of the quadratic function, in a search for the tightest upper bound for the \QKPp. We prove that the same perturbation approach, when applied in the context of semidefinite programming, SDP, relaxations of the QKP, cannot improve the upper bound given by the corresponding linear \SDP relaxation. The result also applies to more general integer quadratic problems. Finally, we propose new valid inequalities on the lifted matrix variable, derived from cover and knapsack inequalities for the QKP, and present the separation problems to generate cuts for the current solution of the CQP relaxation. Our best bounds are obtained from alternating between optimizing the parametric quadratic relaxation over the perturbation and adding cutting planes generated by the valid inequalities proposed.


title: A Backward Simulation Method for Stochastic Optimal Control Problems

abstract: A number of optimal decision problems with uncertainty can be formulated into a stochastic optimal control framework. The Least-Squares Monte Carlo (LSMC) algorithm is a popular numerical method to approach solutions of such stochastic control problems as analytical solutions are not tractable in general. This paper generalizes the LSMC algorithm proposed in Shen and Weng (2017) to solve a wide class of stochastic optimal control models. Our algorithm has three pillars: a construction of auxiliary stochastic control model, an artificial simulation of the post-action value of state process, and a shape-preserving sieve estimation method which equip the algorithm with a number of merits including bypassing forward simulation and control randomization, evading extrapolating the value function, and alleviating computational burden of the tuning parameter selection. The efficacy of the algorithm is corroborated by an application to pricing equity-linked insurance products.


title: Anomalous Hall transport in tilted multi-Weyl semimetals

abstract: We study the effect of a perpendicular magnetic fieldBon a multinode Weyl semimetal (mWSM)of arbitrary integer monopole chargen, with the two Weyl multinodes separated ink-space. Besides type-I mWSMs, there exist type-II mWSMs which are characterized by the tilted minimal dispersion for low-energy excitations; the Weyl points in type-II mWSMs are still protected crossings but appear at the contact of the electron and hole pockets, after the Lifshitz transition. We find that the presence of a perpendicular magnetic field quantizes the occupation pockets due to the presence of Fermi tubes. In this theory, the Hilbert space is spanned by a set of $n$ chiral degenerate groundstates, and a countably infinite number of particle-hole symmetric Landau levels. We calculate the Hall conductivity for the tilt-symmetric case of type-I mWSM using the Kubo formula, in the zero-frequency (DC) limit, and recover the well-known vacuum contribution. We compute the Fermi surface corrections and show that the expression generalizes from the formula for elementary ($n=1$) type-I WSMs. We derive an expression for the type-II mWSM Hall conductivity, which is bounded by a Landau level cutoff introduced on physical grounds. Interestingly, we find that the anomalous vacuum Hall conductivity is vanishing in the type-II phase at all temperatures. The corresponding thermal Hall and Nernst conductivities are evaluated and characterized for both phases. The qualitative and quantitative observations presented here may serve in the characterization of generic mWSMs of both types.


title: Transverse instability magnetic field thresholds of electron phase-space holes

abstract: A detailed comparison is presented of analytical and particle-in-cell (PIC) simulation investigation of the transverse instability, in two dimensions, of initially one-dimensional electron phase-space hole equilibria. Good quantitative agreement is found between the shift-mode analysis and the simulations for the magnetic field ($B$) threshold at which the instability becomes overstable (time-oscillatory) and for the real and imaginary parts of the frequency. The simulation $B$-threshold for full stabilization exceeds the predictions of shift-mode analysis by 20 to 30\%, because the mode becomes substantially narrower in spatial extent than a pure shift. This threshold shift is qualitatively explained by the kinematic mechanism of instability.


title: Exponential decay and symmetry of solitary waves to the Degasperis-Procesi equation

abstract: We improve the decay argument by [Bona and Li, J. Math. Pures Appl., 1997] for solitary waves of general dispersive equations and illustrate it in the proof for the exponential decay of solitary waves to steady Degasperis-Procesi equation in the nonlocal formulation. In addition, we give a method which confirms the symmetry of solitary waves of the maximum height. Finally, we discover how the symmetric structure is connected to the steady structure of solutions to the Degasperis-Procesi equation, and give a more intuitive proof for symmetric solutions to be traveling waves. The improved argument and new methods above can be used for the decay rate of solitary waves to many other dispersive equations and will give new perspectives on symmetric solutions for general evolution equations.


title: Out-of-plane orientation of luminescent excitons in atomically thin indium selenide flakes

abstract: Van der Waals materials offer a wide range of atomic layers with unique properties that can be easily combined to engineer novel electronic and photonic devices. A missing ingredient of the van der Waals platform is a two-dimensional crystal with naturally occurring out-of-plane luminescent dipole orientation. Here we measure the far-field photoluminescence intensity distribution of bulk InSe and two-dimensional InSe, WSe$_2$ and MoSe$_2$. We demonstrate, with the support of ab-initio calculations, that layered InSe flakes sustain luminescent excitons with an intrinsic out-of-plane orientation, in contrast with the in-plane orientation of dipoles we find in two-dimensional WSe$_2$ and MoSe$_2$ at room-temperature. These results, combined with the high tunability of the optical response and outstanding transport properties, position layered InSe as a promising semiconductor for novel optoelectronic devices, in particular for hybrid integrated photonic chips which exploit the out-of-plane dipole orientation.


title: Bivariate Order Polynomials

abstract: Motivated by Dohmen-P\"onitz-Tittmann's bivariate chromatic polynomial $\chi_G(x,y)$, which counts all $x$-colorings of a graph $G$ such that adjacent vertices get different colors if they are $\le y$, we introduce a bivarate version of Stanley's order polynomial, which counts order preserving maps from a given poset to a chain. Our results include decomposition formulas in terms of linear extensions, a combinatorial reciprocity theorem, and connections to bivariate chromatic polynomials.


title: The Eigenvalue Point Process for Symmetric Group Permutation Representations on $k$-tuples

abstract: Equip the symmetric group $\mathfrak{S}_n$ with the Ewens distribution. We study the eigenvalue point process of the permutation representation of $\mathfrak{S}_n$ on $k$-tuples of distinct integers chosen from the set $\{1,2,...,n\}$. Taking $n \to \infty$, we find the limiting point process in the microscopic regime, i.e. when the eigenvalue point process is viewed at the scale of the mean eigenvalue spacing. A formula for the limiting eigenvalue gap probability in an interval is also given. In certain cases, a power series representation exists and a combinatorial procedure is given for computing the coefficients.


title: Fitting 3D Shapes from Partial and Noisy Point Clouds with Evolutionary Computing

abstract: Point clouds obtained from photogrammetry are noisy and incomplete models of reality. We propose an evolutionary optimization methodology that is able to approximate the underlying object geometry on such point clouds. This approach assumes a priori knowledge on the 3D structure modeled and enables the identification of a collection of primitive shapes approximating the scene. Built-in mechanisms that enforce high shape diversity and adaptive population size make this method suitable to modeling both simple and complex scenes. We focus here on the case of cylinder approximations and we describe, test, and compare a set of mutation operators designed for optimal exploration of their search space. We assess the robustness and limitations of this algorithm through a series of synthetic examples, and we finally demonstrate its general applicability on two real-life cases in vegetation and industrial settings.


title: Hidden or missing outflows in highly obscured galaxy nuclei?

abstract: Understanding the nuclear growth and feedback processes in galaxies requires investigating their often obscured central regions. One way to do this is to use (sub)millimeter line emission from vibrationally excited HCN (HCN-vib). It has been suggested that the most intense HCN-vib emission from a galaxy is connected to a phase of nuclear growth that occurs before the nuclear feedback processes have been fully developed. We aim to investigate if there is a connection between the presence of strong HCN-vib emission and the development of feedback in (U)LIRGs. We collected literature and archival data to compare the luminosities of rotational lines of HCN-vib, normalized to the total infrared luminosity, to the median velocities of 119 {\mu}m OH absorption lines, potentially indicating outflows, in a total of 17 (U)LIRGs. The most HCN-vib luminous systems all lack signatures of significant molecular outflows in the far-infrared OH absorption lines. However, at least some of the systems with bright HCN-vib emission do have fast and collimated outflows that can be seen in spectral lines at longer wavelengths. We conclude that the galaxy nuclei with the highest L(HCN-vib)/L(IR) do not drive wide-angle outflows detectable using the median velocities of far-infrared OH absorption lines. It is possible that this is due to an orientation effect where sources which are oriented in such a way that their outflows are not along our line of sight also radiate a smaller proportion of their infrared luminosity in our direction. It could also be that massive wide-angle outflows destroy the deeply embedded regions responsible for bright HCN-vib emission, so that the two phenomena cannot coexist. This would strengthen the idea that vibrationally excited HCN traces a heavily obscured stage of evolution before nuclear feedback mechanisms are fully developed.


title: On the Higgs mechanism in $U(1)\times U(2)\times U(3)$ gauge group as a base for noncommutative standard model

abstract: Noncommutative (NC) space-time leads to some strong constraints on the possible choices of gauge groups and allowed representations of matter and gauge fields. The standard model based on $U(3)\times U(2)\times U(1)$ can be transcribed to NC space-time consistently with these constraints \cite{nNCSM}. In fact, through two new symmetry reduction mechanisms, this gauge group is reduced to the usual standard model one. In this paper, we show that, on the contrary to the usual standard model, the Goldestone boson equivalence theorem is violated due to the incompatibility of the new symmetry reduction mechanisms with the electroweak Higgs mechanism.


title: Display sets of normal and tree-child networks

abstract: Phylogenetic trees canonically arise as embeddings of phylogenetic networks. We recently showed that the problem of deciding if two phylogenetic networks embed the same sets of phylogenetic trees is computationally hard, \blue{in particular, we showed it to be $\Pi^P_2$-complete}. In this paper, we establish a polynomial-time algorithm for this decision problem if the initial two networks consists of a normal network and a tree-child network. The running time of the algorithm is quadratic in the size of the leaf sets.


title: Search for supersymmetry in events with a photon, jets, b-jets, and missing transverse momentum in proton-proton collisions at 13 TeV

abstract: A search for supersymmetry is presented based on events with at least one photon, jets, and large missing transverse momentum produced in proton-proton collisions at a center-of-mass energy of 13 TeV. The data correspond to an integrated luminosity of 35.9 fb$^{-1}$ and were recorded at the LHC with the CMS detector in 2016. The analysis characterizes signal-like events by categorizing the data into various signal regions based on the number of jets, the number of b-tagged jets, and the missing transverse momentum. No significant excess of events is observed with respect to the expectations from standard model processes. Limits are placed on the gluino and top squark pair production cross sections using several simplified models of supersymmetric particle production with gauge-mediated supersymmetry breaking. Depending on the model and the mass of the next-to-lightest supersymmetric particle, the production of gluinos with masses as large as 2120 GeV and the production of top squarks with masses as large as 1230 GeV are excluded at 95% confidence level.


title: Hamiltonian Formulation of Ghost Free Mimetic Massive Gravity

abstract: We present the Hamiltonian formulation of the Ghost Free Mimetic Massive Gravity theory. The linearized theory is studied and the Hamiltonian equations of motion are analyzed. Poisson brackets are computed and closure is proved. To prove that this theory is ghost-free, the number of degrees of freedom is analyzed showing that we have only five degrees of freedom.


title: The Zeeman effect for hydrogen atom in twist-deformed space-time

abstract: In this article we find the Zeeman corrections for hydrogen atom in the case of twist-deformed space-time. Particularly, we derive the corresponding orbital and spin $\hat{g}$-factors as well as we notice, that the second one of them remains undeformed.


title: Two-Dimensional MoS2 Negative Capacitor Transistors for Enhanced (Super Nernstian) Signal-to-Noise Performance of Next-generation Nano Biosensors

abstract: The successful detection of biomolecules by a Field Effect Transistor-based biosensor (BioFET) is dictated by the sensor's intrinsic Signal-to-Noise Ratio (SNR). The detection limit of a traditional BioFET is fundamentally limited by biomolecule diffusion, charge screening, linear charge to surface-potential transduction, and Flicker noise. In this paper, we demonstrate that the recently introduced transistor technology called Negative Capacitor Field effect transistor (NCFET) offers nonlinear charge transduction and suppression of Flicker noise to dramatically improve the SNR over classical Boltzmann sensors. We quantify the SNR improvement by interpreting the experimental results associated with the signal and noise characteristics of 2D MoS2-based transistors. The combined sensitivity enhancement and noise rejection guarantee a high SNR of the NCBioFET, making this device a promising candidate for realizing advanced integrated nanobiosensors.


title: Weakly-Private Information Retrieval

abstract: Private information retrieval (PIR) protocols make it possible to retrieve a file from a database without disclosing any information about the identity of the file being retrieved. These protocols have been rigorously explored from an information-theoretic perspective in recent years. While existing protocols strictly impose that no information is leaked on the file's identity, this work initiates the study of the tradeoffs that can be achieved by relaxing the requirement of perfect privacy. In case the user is willing to leak some information on the identity of the retrieved file, we study how the PIR rate, as well as the upload cost and access complexity, can be improved. For the particular case of replicated servers, we propose two weakly-private information retrieval schemes based on two recent PIR protocols and a family of schemes based on partitioning. Lastly, we compare the performance of the proposed schemes.


title: Four Deviations Suffice for Rank 1 Matrices

abstract: We prove a matrix discrepancy bound that strengthens the famous Kadison-Singer result of Marcus, Spielman, and Srivastava. Consider any independent scalar random variables $\xi_1, \ldots, \xi_n$ with finite support, e.g. $\{ \pm 1 \}$ or $\{ 0,1 \}$-valued random variables, or some combination thereof. Let $u_1, \dots, u_n \in \mathbb{C}^m$ and $$ \sigma^2 = \left\| \sum_{i=1}^n \text{Var}[ \xi_i ] (u_i u_i^{*})^2 \right\|. $$ Then there exists a choice of outcomes $\varepsilon_1,\ldots,\varepsilon_n$ in the support of $\xi_1, \ldots, \xi_n$ s.t. $$ \left \|\sum_{i=1}^n \mathbb{E} [ \xi_i] u_i u_i^* - \sum_{i=1}^n \varepsilon_i u_i u_i^* \right \| \leq 4 \sigma. $$ A simple consequence of our result is an improvement of a Lyapunov-type theorem of Akemann and Weaver.


title: Fundamental limits of many-user MAC with finite payloads and fading

abstract: Consider a (multiple-access) wireless communication system where users are connected to a unique base station over a shared-spectrum radio links. Each user has a fixed number $k$ of bits to send to the base station, and his signal gets attenuated by a random channel gain (quasi-static fading). In this paper we consider the many-user asymptotics of Chen-Chen-Guo'2017, where the number of users grows linearly with the blocklength. Differently, though, we adopt a per-user probability of error (PUPE) criterion (as opposed to classical joint-error probability criterion). Under PUPE the finite energy-per-bit communication is possible, and we are able to derive bounds on the tradeoff between energy and spectral efficiencies. We reconfirm the curious behaviour (previously observed for non-fading MAC) of the possibility of almost perfect multi-user interference (MUI) cancellation for user densities below a critical threshold. Further, we demonstrate the suboptimality of standard solutions such as orthogonalization (i.e., TDMA/FDMA) and treating interference as noise (i.e. pseudo-random CDMA without multi-user detection). Notably, the problem treated here can be seen as a variant of support recovery in compressed sensing for the unusual definition of sparsity with one non-zero entry per each contiguous section of $2^k$ coordinates. This identifies our problem with that of the sparse regression codes (SPARCs) and hence our results can be equivalently understood in the context of SPARCs with sections of length $2^{100}$. Finally, we discuss the relation of the almost perfect MUI cancellation property and the replica-method predictions.


title: Ring Oscillator and its application as Physical Unclonable Function (PUF) for Password Management

abstract: Mobile and embedded devices are becoming inevitable parts of our daily routine. Similar to other electronic devices such as read access memory (RAM) and storage, mobile devices require to authenticate and to be authenticated in a secure way. Usually, this can be accomplished by servers which possess private information for all devices. Since these devices are inherently mobile and operating in untrusted environments, they are prone to be accessed by untrustworthy users. Physical unclonable function (PUF) is a unique physical feature of a semiconductor device such as a microprocessor that can be generated from physical conditions such as supply voltage, temperature, etc. Ring oscillators are the principal parts of PUFs that are synthesized on a field-programmable gate array (FPGA) or an application-specific integrated circuit (ASIC). Password manager systems are used in order to keep a database of usernames and password for clients in order for registration and authentication. This table plays a crucial role in authentication in many systems. Hence, security is one of the important features of these systems. Normally, in these tables only usernames and passwords are stored; however, they are vulnerable to many attacks. So, the first method of enhancing the security is using the hash instead of the original data, but, advanced hackers can break these hash data again. Hence, the method that we are going to use in this project is utilizing PUF to store the challenge of each user instead of saving the hash of passwords.


title: Weak-coupling limit for ergodic environments

abstract: The main aim of this work is to establish an averaging principle for a wide class of interacting particle systems in the continuum. This principle is an important step in the analysis of Markov evolutions and is usually applied for the associated semigroups related to backward Kolmogorov equations, c.f. [Kur73]. Our approach is based on the study of forward Kolmogorov equations (a.k.a. Fokker- Planck equations). We describe a system evolving as a Markov process on the space of finite configurations, whereas its rates depend on the actual state of another (equilibrium) process on the space of locally finite configurations. We will show that ergodicity of the environment process implies the averaging principle for the solutions of the coupled Fokker-Planck equations.


title: Continuously sheared granular matter reproduces in detail seismicity laws

abstract: We introduce a shear experiment that quantitatively reproduces the main laws of seismicity. By continuously and slowly shearing a compressed monolayer of disks in a ring-like geometry, our system delivers events of frictional failures with energies following a Gutenberg-Richter law. Moreover foreshocks and aftershocks are described by Omori laws and inter-event times also follow exactly the same distribution as real earthquakes, showing the existence of memory of past events. Other features of real earthquakes qualitatively reproduced in our system are both the existence of a quiescence preceding mainshocks, as well as magnitude correlations linked to large quakes. The key ingredient of the dynamics is the nature of the force network, governing the distribution of frictional thresholds.


title: Inverse Problems for Nonlinear Quasi-Variational Inequalities with an Application to Implicit Obstacle Problems of $p$-Laplacian Type

abstract: The primary objective of this research is to investigate an inverse problem of parameter identification in nonlinear mixed quasi-variational inequalities posed in a Banach space setting. By using a fixed point theorem, we explore properties of the solution set of the considered quasi-variational inequality. We develop a general regularization framework to give an existence result for the inverse problem. Finally, we apply the abstract framework to a concrete inverse problem of identifying the material parameter in an implicit obstacle problem given by an operator of $p$-Laplacian type.


title: Pareto optimal coalitions of fixed size

abstract: We tackle the problem of partitioning players into groups of fixed size, such as allocating eligible students to shared dormitory rooms. Each student submits preferences over the other individual students. We study several settings, which differ in the size of the rooms to be filled, the orderedness or completeness of the preferences, and the way of calculating the value of a coalition---based on the best or worst roommate in the coalition. In all cases, we determine the complexity of deciding the existence, and then finding a Pareto optimal assignment, and the complexity of verifying Pareto optimality for a given assignment.


title: On the Number of Bins in Equilibria for Signaling Games

abstract: We investigate the equilibrium behavior for the decentralized quadratic cheap talk problem in which an encoder and a decoder, viewed as two decision makers, have misaligned objective functions. In prior work, we have shown that the number of bins under any equilibrium has to be at most countable, generalizing a classical result due to Crawford and Sobel who considered sources with density supported on $[0,1]$. In this paper, we refine this result in the context of exponential and Gaussian sources. For exponential sources, a relation between the upper bound on the number of bins and the misalignment in the objective functions is derived, the equilibrium costs are compared, and it is shown that there also exist equilibria with infinitely many bins under certain parametric assumptions. For Gaussian sources, it is shown that there exist equilibria with infinitely many bins.


title: Chain level insights into tensile-compressive asymmetry in glassy and semicrystalline polymers

abstract: Using molecular dynamics simulations, we provide chain-level insights into the dissimilarities in rearrangements of polymers under uniaxial tensile and compressive deformation in glassy and semicrystalline samples of varying chain lengths. The organization of polymers under tension and compression is distinctively different. The chains align themselves along the tensile axis leading to a net global nematic ordering of their bonds and end-to-end vectors whereas under compression, the polymers arrange themselves in a plane perpendicular to the compressive axis resulting in emergence of an anti-nematic ordering of the bonds and the chain end-to-end vectors. Moreover, the degree of polymers unfolding is greater under tension and they deform less affinely when compared to chains under compression. The difference between the two responses strongly depends on the chain length and is the largest at intermediate chain lengths.


title: A New Algorithm for Two-Stage Group Testing

abstract: Group testing is a well-known search problem that consists in detecting of $s$ defective members of a set of $t$ samples by carrying out tests on properly chosen subsets of samples. In classical group testing the goal is to find all defective elements by using the minimal possible number of tests in the worst case. In this work, two-stage group testing is considered. Using the hypergraph approach we design a new search algorithm, which allows improving the known results for fixed $s$ and $t\to\infty$. For the case $s=2$ this algorithm achieves information-theoretic lower bound $2\log_2t(1+o(1))$ on the number of tests in the worst case. Also, the problem of finding $m$ out of $s$ defectives is considered.


title: Constructions of Batch Codes via Finite Geometry

abstract: A primitive $k$-batch code encodes a string $x$ of length $n$ into string $y$ of length $N$, such that each multiset of $k$ symbols from $x$ has $k$ mutually disjoint recovering sets from $y$. We develop new explicit and random coding constructions of linear primitive batch codes based on finite geometry. In some parameter regimes, our proposed codes have lower redundancy than previously known batch codes.


title: Using Quantization to Deploy Heterogeneous Nodes in Two-Tier Wireless Sensor Networks

abstract: We study a heterogeneous two-tier wireless sensor network in which N heterogeneous access points (APs) collect sensing data from densely distributed sensors and then forward the data to M heterogeneous fusion centers (FCs). This heterogeneous node deployment problem is modeled as a quantization problem with distortion defined as the total power consumption of the network. The necessary conditions of the optimal AP and FC node deployment are explored in this paper. We provide a variation of Voronoi Diagram as the optimal cell partition for this network, and show that each AP should be placed between its connected FC and the geometric center of its cell partition. In addition, we propose a heterogeneous two-tier Lloyd algorithm to optimize the node deployment. Simulation results show that our proposed algorithm outperforms the existing clustering methods like Minimum Energy Routing, Agglomerative Clustering, and Divisive Clustering, on average.


title: Low Regularity Primal-Dual Weak Galerkin Finite Element Methods for Convection-Diffusion Equations

abstract: We propose a numerical method for convection-diffusion problems under low regularity assumptions. We derive the method and analyze it using the primal-dual weak Galerkin (PDWG) finite element framework. The Euler-Lagrange formulation resulting from the PDWG scheme yields a system of equations involving not only the equation for the primal variable but also its adjoint for the dual variable. We show that the proposed PDWG method is stable and convergent. We also derive a priori error estimates for the primal variable in the $H^{\epsilon}$-norm for $\epsilon\in [0,\frac12)$. A series of numerical tests that validate the theory and are presented as well.


title: Stationary Solutions of Damped Stochastic 2-dimensional Euler's Equation

abstract: Existence of stationary point vortices solution to the damped and stochastically driven Euler's equation on the two dimensional torus is proved, by taking limits of solutions with finitely many vortices. A central limit scaling is used to show in a similar manner the existence of stationary solutions with white noise marginals.


title: Orthogonal units of the double Burnside ring

abstract: Given a finite group $G$, its double Burnside ring $B(G,G)$, has a natural duality operation that arises from considering opposite $(G,G)$-bisets. In this article, we systematically study the subgroup of units of $B(G,G)$, where elements are inverse to their dual, so called orthogonal units. We show the existence of an inflation map that embeds the group of orthogonal units of $B(G/N,G/N)$ into the group of orthogonal units of $B(G,G)$, when $N$ is a normal subgroup of $G$, and study some properties and consequences. In particular, we use these maps to determine the orthogonal units of $B(G,G)$, when $G$ is a cyclic $p$-group, and $p$ is an odd prime.


title: Secure Event-Triggered Distributed Kalman Filters for State Estimation over Wireless Sensor Networks

abstract: In this paper, we analyze the adverse effects of cyber-physical attacks as well as mitigate their impacts on the event-triggered distributed Kalman filter (DKF). We first show that although event-triggered mechanisms are highly desirable, the attacker can leverage the event-triggered mechanism to cause non-triggering misbehavior which significantly harms the network connectivity and its collective observability. We also show that an attacker can mislead the event-triggered mechanism to achieve continuous-triggering misbehavior which not only drains the communication resources but also harms the network's performance. An information-theoretic approach is presented next to detect attacks on both sensors and communication channels. In contrast to the existing results, the restrictive Gaussian assumption on the attack signal's probability distribution is not required. To mitigate attacks, a meta-Bayesian approach is presented that incorporates the outcome of the attack detection mechanism to perform second-order inference. The proposed second-order inference forms confidence and trust values about the truthfulness or legitimacy of sensors' own estimates and those of their neighbors, respectively. Each sensor communicates its confidence to its neighbors. Sensors then incorporate the confidence they receive from their neighbors and the trust they formed about their neighbors into their posterior update laws to successfully discard corrupted information. Finally, the simulation result validates the effectiveness of the presented resilient event-triggered DKF.


title: Matter Power Spectra in Viable $f(R)$ Gravity Models with Dynamical Background

abstract: We study the matter power spectra in the viable $f(R)$ gravity models with the dynamical background evolution and linear perturbation theory by using the CosmoMC package. We show that these viable $f(R)$ models generally shorten the age of the universe and suppress the matter density fluctuation. We examine the allowed ranges of the model parameters and the constraints of the cosmological variables from the current observational data, and find that the dynamical evolution of $\rho_{DE}(z)$ plays an important role to constrain the neutrino masses.


title: Affine approximation of parametrized kernels and model order reduction for nonlocal and fractional Laplace models

abstract: We consider parametrized problems driven by spatially nonlocal integral operators with parameter-dependent kernels. In particular, kernels with varying nonlocal interaction radius $\delta > 0$ and fractional Laplace kernels, parametrized by the fractional power $s\in(0,1)$, are studied. In order to provide an efficient and reliable approximation of the solution for different values of the parameters, we develop the reduced basis method as a parametric model order reduction approach. Major difficulties arise since the kernels are not affine in the parameters, singular, and discontinuous. Moreover, the spatial regularity of the solutions depends on the varying fractional power $s$. To address this, we derive regularity and differentiability results with respect to $\delta$ and $s$, which are of independent interest for other applications such as optimization and parameter identification. We then use these results to construct affine approximations of the kernels by local polynomials. Finally, we certify the method by providing reliable a posteriori error estimators, which account for all approximation errors, and support the theoretical findings by numerical experiments.


title: Terahertz Strong-Field Physics without a Strong External Terahertz Field

abstract: Traditionally, strong-field physics explores phenomena in matter (atoms, molecules, and solids) driven by an extremely strong laser field nonperturbatively. However, even in the complete absence of an external electromagnetic field, strong-field phenomena can arise when matter strongly couples with the zero-point field of the quantum vacuum state, i.e., fluctuating electromagnetic waves whose expectation value is zero. Some of the most striking examples of this occur in a cavity setting, in which an ensemble of two-level atoms resonantly interacts with a single photonic mode of vacuum fields, producing vacuum Rabi splitting. In particular, the nature of the matter-vacuum-field coupled system fundamentally changes when the coupling rate (equal to one half of the vacuum Rabi splitting) becomes comparable to, or larger than, the resonance frequency. In this so-called ultrastrong coupling regime, a non-negligible number of photons exist in the ground state of the coupled system. Furthermore, the coupling rate can be cooperatively enhanced (via so-called Dicke cooperativity) when the matter is comprised of a large number of identical two-level particles, and a quantum phase transition is predicted to occur as the coupling rate reaches a critical value. Low-energy electronic or magnetic transitions in many-body condensed matter systems with large dipole moments are ideally suited for searching for these predicted phenomena. Here, we discuss two condensed matter systems that have shown cooperative ultrastrong interactions in the terahertz frequency range: a Landau-quantized two-dimensional electron gas interacting with high-quality-factor cavity photons, and an Er$^{3+}$ spin ensemble interacting with Fe$^{3+}$ magnons in ErFeO$_3$.


title: A simple recipe for making accurate parametric inference in finite sample

abstract: Constructing tests or confidence regions that control over the error rates in the long-run is probably one of the most important problem in statistics. Yet, the theoretical justification for most methods in statistics is asymptotic. The bootstrap for example, despite its simplicity and its widespread usage, is an asymptotic method. There are in general no claim about the exactness of inferential procedures in finite sample. In this paper, we propose an alternative to the parametric bootstrap. We setup general conditions to demonstrate theoretically that accurate inference can be claimed in finite sample.


title: The Chebotarev density theorem for function fields -- incomplete intervals

abstract: We prove a Polya-Vinogradov type variation of the the Chebotarev density theorem for function fields over finite fields valid for "incomplete intervals" $I \subset \mathbb{F}_p$, provided $(p^{1/2}\log p)/|I| = o(1)$. Applications include density results for irreducible trinomials in $\mathbb{F}_p[x]$, i.e. the number of irreducible polynomials in the set $\{ f(x) = x^{d} + a_{1} x + a_{0} \in \mathbb{F}_p[x] \}_{a_{0} \in I_{0}, a_{1}\in I_{1}}$ is $\sim |I_{0}|\cdot |I_{1}|/d$ provided $|I_{0}| > p^{1/2+\epsilon}$, $|I_{1}| > p^{\epsilon}$, or $|I_{1}| > p^{1/2+\epsilon}$, $|I_{0}| > p^{\epsilon}$, and similarly when $x^{d}$ is replaced by any monic degree $d$ polynomial in $\mathbb{F}_p[x]$. Under the above assumptions we can also determine the distribution of factorization types, and find it to be consistent with the distribution of cycle types of permutations in the symmetric group $S_{d}$.


title: Predicting wind pressures around circular cylinders using machine learning techniques

abstract: Numerous studies have been carried out to measure wind pressures around circular cylinders since the early 20th century due to its engineering significance. Consequently, a large amount of wind pressure data sets have accumulated, which presents an excellent opportunity for using machine learning (ML) techniques to train models to predict wind pressures around circular cylinders. Wind pressures around smooth circular cylinders are a function of mainly the Reynolds number (Re), turbulence intensity (Ti) of the incident wind, and circumferential angle of the cylinder. Considering these three parameters as the inputs, this study trained two ML models to predict mean and fluctuating pressures respectively. Three machine learning algorithms including decision tree regressor, random forest, and gradient boosting regression trees (GBRT) were tested. The GBRT models exhibited the best performance for predicting both mean and fluctuating pressures, and they are capable of making accurate predictions for Re ranging from 10^4 to 10^6 and Ti ranging from 0% to 15%. It is believed that the GBRT models provide very efficient and economical alternative to traditional wind tunnel tests and computational fluid dynamic simulations for determining wind pressures around smooth circular cylinders within the studied Re and Ti range.


title: Thermofield Theory for Finite-Temperature Quantum Chemistry

abstract: Thermofield dynamics has proven to be a very useful theory in high-energy physics, particularly since it permits the treatment of both time- and temperature-dependence on an equal footing. We here show that it also has an excellent potential for studying thermal properties of electronic systems in physics and chemistry. We describe a general framework for constructing finite temperature correlated wave function methods typical of ground state methods. We then introduce two distinct approaches to the resulting imaginary time Schrodinger equation, which we refer to as fixed-reference and covariant methods. As an example, we derive the two corresponding versions of thermal configuration interaction theory, and apply them to the Hubbard model, while comparing with exact benchmark results.


title: Block-avoiding sequencings of points in Steiner triple systems

abstract: Given an STS(v), we ask if there is a permutation of the points of the design such that no $\ell$ consecutive points in this permutation contain a block of the design. Results are obtained in the cases $\ell = 3,4$.


title: A Unified Framework for Non-Orthogonal Multiple Access

abstract: This paper proposes a unified framework of non-orthogonal multiple access (NOMA) networks. Stochastic geometry is employed to model the locations of spatially NOMA users. The proposed unified NOMA framework is capable of being applied to both code-domain NOMA (CD-NOMA) and power-domain NOMA (PD-NOMA). Since the detection of NOMA users mainly depend on efficient successive interference cancellation (SIC) schemes, both imperfect SIC (ipSIC) and perfect SIC (pSIC) are taken into account. To characterize the performance of the proposed unified NOMA framework, the exact and asymptotic expressions of outage probabilities as well as delay-limited throughput for CD/PD-NOMA with ipSIC/pSIC are derived. In order to obtain more insights, the diversity analysis of a pair of NOMA users (i.e., the $n$-th user and $m$-th user) are provided. Our analytical results reveal that: i) The diversity orders of the $m$-th and $n$-th user with pSIC for CD-NOMA are $mK$ and $nK$, respectively; ii) Due to the influence of residual interference (RI), the $n$-th user with ipSIC obtains a zero diversity order; and iii) The diversity order is determined by the user who has the poorer channel conditions out of the pair. Finally, Monte Carlo simulations are presented to verify the analytical results: i) When the number of subcarriers becomes lager, the NOMA users are capable of achieving more steep slope in terms of outage probability; and ii) The outage behavior of CD-NOMA is superior to that of PD-NOMA.


title: Backflow Effect on Spin Diffusion Near Ferromagnet-Superconductor Interface

abstract: The behavior of spin propagation in metals in various measurement schemes is shown to be qualitatively different than a simple exponential decay - due to the backflow effect on spin diffusion in the presence of interfaces. To probe this effect we utilize the spin sensitivity of an Andreev contact between gold films of variable thickness deposited on top of a spin injector, Co$_{2}$Mn$_{0.5}$Fe$_{0.5}$Si, with the spin polarization of approximately 45\%, and Nb superconducting tip. While the results are consistent with gradually decaying spin polarization as the film thickness increases, the spin diffusion length in Au found to be 285 nm, is more than two times larger that one would have obtained without taking the backflow effect into account.


title: A construction of UD $k$-ary multi-user codes from $(2^m(k-1)+1)$-ary codes for MAAC

abstract: In this paper, we proposed a construction of a UD $k$-ary $T$-user coding scheme for MAAC. We first give a construction of $k$-ary $T^{f+g}$-user UD code from a $k$-ary $T^{f}$-user UD code and a $k^{\pm}$-ary $T^{g}$-user difference set with its two component sets $\mathcal{D}^{+}$ and $\mathcal{D}^{-}$ {\em a priori}. Based on the $k^{\pm}$-ary $T^{g}$-user difference set constructed from a $(2k-1)$-ary UD code, we recursively construct a UD $k$-ary $T$-user codes with code length of $2^m$ from initial multi-user codes of $k$-ary, $2(k-1)+1$-ary, \dots, $(2^m(k-1)+1)$-ary. Introducing multi-user codes with higer-ary makes the total rate of generated code $\mathcal{A}$ higher than that of conventional code.


title: A deep learning approach to real-time parking occupancy prediction in spatio-temporal networks incorporating multiple spatio-temporal data sources

abstract: A deep learning model is applied for predicting block-level parking occupancy in real time. The model leverages Graph-Convolutional Neural Networks (GCNN) to extract the spatial relations of traffic flow in large-scale networks, and utilizes Recurrent Neural Networks (RNN) with Long-Short Term Memory (LSTM) to capture the temporal features. In addition, the model is capable of taking multiple heterogeneously structured traffic data sources as input, such as parking meter transactions, traffic speed, and weather conditions. The model performance is evaluated through a case study in Pittsburgh downtown area. The proposed model outperforms other baseline methods including multi-layer LSTM and Lasso with an average testing MAPE of 10.6\% when predicting block-level parking occupancies 30 minutes in advance. The case study also shows that, in generally, the prediction model works better for business areas than for recreational locations. We found that incorporating traffic speed and weather information can significantly improve the prediction performance. Weather data is particularly useful for improving predicting accuracy in recreational areas.


title: Submultiplicativity of the numerical radius of commuting matrices of order two

abstract: Denote by $w(T)$ the numerical radius of a matrix $T$. An elementary proof is given to the fact that $w(AB) \leq w(A)w(B)$ for a pair of commuting matrices of order two, and characterization is given for the matrix pairs that attain the quality.


title: Relative hyperbolicity for automorphisms of free products

abstract: We prove that for a free product $G$ with free factor system $\mathcal{G}$, any automorphism $\phi$ preserving $\mathcal{G}$, atoroidal (in a sense relative to $\mathcal{G}$) and none of whose power send two different conjugates of subgroups in $\mathcal{G}$ on conjugates of themselves by the same element, gives rise to a semidirect product $G\rtimes_\phi \mathbb{Z}$ that is relatively hyperbolic with respect to suspensions of groups in $\mathcal{G}$. We recover a theorem of Gautero-Lustig and Ghosh that, if $G$ is a free group, $\phi$ an automorphism of $G$, and $\mathcal{G}$ is its family of polynomially growing subgroups, then the semidirect product by $\phi$ is relatively hyperbolic with respect to the suspensions of these subgroups. We apply the first result to the conjugacy problem for certain automorphisms (atoroidal and toral) of free products of abelian groups.


title: Hyperbolic Metric, Punctured Riemann Sphere and Modular Functions

abstract: We derive a precise asymptotic expansion of the complete K\"{a}hler-Einstein metric on the punctured Riemann sphere with three or more omitting points. By using Schwarzian derivative, we prove that the coefficients of the expansion are polynomials on the two parameters which are uniquely determined by the omitting points. Futhermore, we use the modular form and Schwarzian derivative to explicitly determine the coefficients in the expansion of the complete K\"{a}hler-Einstein metric for punctured Riemann sphere with $3, 4, 6$ or $12$ omitting points.


title: Polynomial invariants for links and tied links

abstract: Notes based on lessons given at {\sc Escuela " Fico Gonz\'alez Acu\~na" de Nudos y 3-variedades}, M\'erida Yucat\'an, M\'exico, 7--10 (2015) and {\sc Encuentro de nudos, trenzas y \'algebras}, Oaxaca--M\'exico, 3--10 October (2018).


title: Pattern Generation Strategies for Improving Recognition of Handwritten Mathematical Expressions

abstract: Recognition of Handwritten Mathematical Expressions (HMEs) is a challenging problem because of the ambiguity and complexity of two-dimensional handwriting. Moreover, the lack of large training data is a serious issue, especially for academic recognition systems. In this paper, we propose pattern generation strategies that generate shape and structural variations to improve the performance of recognition systems based on a small training set. For data generation, we employ the public databases: CROHME 2014 and 2016 of online HMEs. The first strategy employs local and global distortions to generate shape variations. The second strategy decomposes an online HME into sub-online HMEs to get more structural variations. The hybrid strategy combines both these strategies to maximize shape and structural variations. The generated online HMEs are converted to images for offline HME recognition. We tested our strategies in an end-to-end recognition system constructed from a recent deep learning model: Convolutional Neural Network and attention-based encoder-decoder. The results of experiments on the CROHME 2014 and 2016 databases demonstrate the superiority and effectiveness of our strategies: our hybrid strategy achieved classification rates of 48.78% and 45.60%, respectively, on these databases. These results are competitive compared to others reported in recent literature. Our generated datasets are openly available for research community and constitute a useful resource for the HME recognition research in future.


title: Iterative Refinement for $\ell_p$-norm Regression

abstract: We give improved algorithms for the $\ell_{p}$-regression problem, $\min_{x} \|x\|_{p}$ such that $A x=b,$ for all $p \in (1,2) \cup (2,\infty).$ Our algorithms obtain a high accuracy solution in $\tilde{O}_{p}(m^{\frac{|p-2|}{2p + |p-2|}}) \le \tilde{O}_{p}(m^{\frac{1}{3}})$ iterations, where each iteration requires solving an $m \times m$ linear system, $m$ being the dimension of the ambient space. By maintaining an approximate inverse of the linear systems that we solve in each iteration, we give algorithms for solving $\ell_{p}$-regression to $1 / \text{poly}(n)$ accuracy that run in time $\tilde{O}_p(m^{\max\{\omega, 7/3\}}),$ where $\omega$ is the matrix multiplication constant. For the current best value of $\omega > 2.37$, we can thus solve $\ell_{p}$ regression as fast as $\ell_{2}$ regression, for all constant $p$ bounded away from $1.$ Our algorithms can be combined with fast graph Laplacian linear equation solvers to give minimum $\ell_{p}$-norm flow / voltage solutions to $1 / \text{poly}(n)$ accuracy on an undirected graph with $m$ edges in $\tilde{O}_{p}(m^{1 + \frac{|p-2|}{2p + |p-2|}}) \le \tilde{O}_{p}(m^{\frac{4}{3}})$ time. For sparse graphs and for matrices with similar dimensions, our iteration counts and running times improve on the $p$-norm regression algorithm by [Bubeck-Cohen-Lee-Li STOC`18] and general-purpose convex optimization algorithms. At the core of our algorithms is an iterative refinement scheme for $\ell_{p}$-norms, using the smoothed $\ell_{p}$-norms introduced in the work of Bubeck et al. Given an initial solution, we construct a problem that seeks to minimize a quadratically-smoothed $\ell_{p}$ norm over a subspace, such that a crude solution to this problem allows us to improve the initial solution by a constant factor, leading to algorithms with fast convergence.


title: Real-time 3D Face-Eye Performance Capture of a Person Wearing VR Headset

abstract: Teleconference or telepresence based on virtual reality (VR) headmount display (HMD) device is a very interesting and promising application since HMD can provide immersive feelings for users. However, in order to facilitate face-to-face communications for HMD users, real-time 3D facial performance capture of a person wearing HMD is needed, which is a very challenging task due to the large occlusion caused by HMD. The existing limited solutions are very complex either in setting or in approach as well as lacking the performance capture of 3D eye gaze movement. In this paper, we propose a convolutional neural network (CNN) based solution for real-time 3D face-eye performance capture of HMD users without complex modification to devices. To address the issue of lacking training data, we generate massive pairs of HMD face-label dataset by data synthesis as well as collecting VR-IR eye dataset from multiple subjects. Then, we train a dense-fitting network for facial region and an eye gaze network to regress 3D eye model parameters. Extensive experimental results demonstrate that our system can efficiently and effectively produce in real time a vivid personalized 3D avatar with the correct identity, pose, expression and eye motion corresponding to the HMD user.


title: Understanding and predicting travel time with spatio-temporal features of network traffic flow, weather and incidents

abstract: Travel time on a route varies substantially by time of day and from day to day. It is critical to understand to what extent this variation is correlated with various factors, such as weather, incidents, events or travel demand level in the context of dynamic networks. This helps a better decision making for infrastructure planning and real-time traffic operation. We propose a data-driven approach to understand and predict highway travel time using spatio-temporal features of those factors, all of which are acquired from multiple data sources. The prediction model holistically selects the most related features from a high-dimensional feature space by correlation analysis, principle component analysis and LASSO. We test and compare the performance of several regression models in predicting travel time 30 min in advance via two case studies: (1) a 6-mile highway corridor of I-270N in D.C. region, and (2) a 2.3-mile corridor of I-376E in Pittsburgh region. We found that some bottlenecks scattered in the network can imply congestion on those corridors at least 30 minutes in advance, including those on the alternative route to the corridors of study. In addition, real-time travel time is statistically related to incidents on some specific locations, morning/afternoon travel demand, visibility, precipitation, wind speed/gust and the weather type. All those spatio-temporal information together help improve prediction accuracy, comparing to using only speed data. In both case studies, random forest shows the most promise, reaching a root-mean-squared error of 16.6\% and 17.0\% respectively in afternoon peak hours for the entire year of 2014.


title: LayoutGAN: Generating Graphic Layouts with Wireframe Discriminators

abstract: Layout is important for graphic design and scene generation. We propose a novel Generative Adversarial Network, called LayoutGAN, that synthesizes layouts by modeling geometric relations of different types of 2D elements. The generator of LayoutGAN takes as input a set of randomly-placed 2D graphic elements and uses self-attention modules to refine their labels and geometric parameters jointly to produce a realistic layout. Accurate alignment is critical for good layouts. We thus propose a novel differentiable wireframe rendering layer that maps the generated layout to a wireframe image, upon which a CNN-based discriminator is used to optimize the layouts in image space. We validate the effectiveness of LayoutGAN in various experiments including MNIST digit generation, document layout generation, clipart abstract scene generation and tangram graphic design.


title: Structure of inert layer 4He adsorbed on a mesoporous silica

abstract: We have studied the structure of inert layer 4He adsorbed on mesoporous silica (FSM-16), by the vapor pressure and heat capacity measurements. The heat capacity shows a Schottky-like peak due to the excitation of a part of localized solid to fluid. We analyzed the heat capacity over a wide temperature region based on the model including the contribution of the localized solid and excited fluid and clarified that the excited fluid coexists with the localized solid at high temperature. As the areal density approaches the value at which superfluid appears (n_C), the fluid amount is likely to go to zero, suggesting a possibility that the inert layer is solidified just below n_C.


title: Twist-angle dependence of the proximity spin-orbit coupling in graphene on transition-metal dichalcogenides

abstract: We theoretically study the proximity spin-orbit coupling in graphene on transition-metal dichalcogenides monolayer stacked with arbitrary twist angles. We find that the relative rotation greatly enhances the spin splitting of graphene, typically by a few to ten times compared to the non-rotated geometry,and the maximum splitting is achieved around $20^\circ$. The induced SOC can be changed from the Zeeman-type to the Rashba-type by rotation. The spin-splitting is also quite sensitive to the gate-induced potential, and it sharply rises when the graphene's Dirac point is shifted toward the TMDC band. The theoretical method does not need the exact lattice matching and it is applicable to any incommensurate bilayer systems. It is useful for the twist-angle engineering of a variety of van der Waals proximity effects.


title: Black branes in asymptotically Lifshitz spacetime and viscosity/entropy ratios in Horndeski gravity

abstract: We investigate black brane solutions in asymptotically Lifshitz spacetime in 3+1-dimensional Horndeski gravity, which admit a critical exponent fixed at $z=1/2$. The cosmological constant depends on $z$ as $\Lambda=-(1+2z)/L^{2}$. We compute the shear viscosity in the 2+1-dimensional dual boundary field theory via holographic correspondence. We investigate the violation of the bound for viscosity to entropy density ratio of $\eta/s\geq1/(4\pi)$ at $z=1/2$.


title: A symplectic refinement of shifted Hecke insertion

abstract: Buch, Kresch, Shimozono, Tamvakis, and Yong defined Hecke insertion to formulate a combinatorial rule for the expansion of the stable Grothendieck polynomials $G_\pi$ indexed by permutations in the basis of stable Grothendieck polynomials $G_\lambda$ indexed by partitions. Patrias and Pylyavskyy introduced a shifted analogue of Hecke insertion whose natural domain is the set of maximal chains in a weak order on orbit closures of the orthogonal group acting on the complete flag variety. We construct a generalization of shifted Hecke insertion for maximal chains in an analogous weak order on orbit closures of the symplectic group. As an application, we identify a combinatorial rule for the expansion of "orthogonal" and "symplectic" shifted analogues of $G_\pi$ in Ikeda and Naruse's basis of $K$-theoretic Schur $P$-functions.


title: Horizontal transfer between loose compartments stabilizes replication of fragmented ribozymes

abstract: The emergence of replicases that can replicate themselves is a central issue in the origin of life. Recent experiments suggest that such replicases can be realized if an RNA polymerase ribozyme is divided into fragments short enough to be replicable by the ribozyme and if these fragments self-assemble into a functional ribozyme. However, the continued self-replication of such replicases requires that the production of every essential fragment be balanced and sustained. Here, we use mathematical modeling to investigate whether and under what conditions fragmented replicases achieve continued self-replication. We first show that under a simple batch condition, the replicases fail to display continued self-replication owing to positive feedback inherent in these replicases. This positive feedback inevitably biases replication toward a subset of fragments, so that the replicases eventually fail to sustain the production of all essential fragments. We then show that this inherent instability can be resolved by small rates of random content exchange between loose compartments (i.e., horizontal transfer). In this case, the balanced production of all fragments is achieved through negative frequency-dependent selection operating in the population dynamics of compartments. This selection mechanism arises from an interaction mediated by horizontal transfer between intracellular and intercellular symmetry breaking. The horizontal transfer also ensures the presence of all essential fragments in each compartment, sustaining self-replication. Taken together, our results underline compartmentalization and horizontal transfer in the origin of the first self-replicating replicases.


title: AccUDNN: A GPU Memory Efficient Accelerator for Training Ultra-deep Neural Networks

abstract: Typically, Ultra-deep neural network(UDNN) tends to yield high-quality model, but its training process is usually resource intensive and time-consuming. Modern GPU's scarce DRAM capacity is the primary bottleneck that hinders the trainability and the training efficiency of UDNN. In this paper, we present "AccUDNN", an accelerator that aims to make the utmost use of finite GPU memory resources to speed up the training process of UDNN. AccUDNN mainly includes two modules: memory optimizer and hyperparameter tuner. Memory optimizer develops a performance-model guided dynamic swap out/in strategy, by offloading appropriate data to host memory, GPU memory footprint can be significantly slashed to overcome the restriction of trainability of UDNN. After applying the memory optimization strategy, hyperparameter tuner is designed to explore the efficiency-optimal minibatch size and the matched learning rate. Evaluations demonstrate that AccUDNN cuts down the GPU memory requirement of ResNet-152 from more than 24GB to 8GB. In turn, given 12GB GPU memory budget, the efficiency-optimal minibatch size can reach 4.2x larger than original Caffe. Benefiting from better utilization of single GPU's computing resources and fewer parameter synchronization of large minibatch size, 7.7x speed-up is achieved by 8 GPUs' cluster without any communication optimization and no accuracy losses.


title: An indefinite range inclusion theorem for triplets of bounded linear operators on a Hilbert space

abstract: We study triplets of Hilbert space operators satisfying a certain inequality. A range inclusion theorem with norm estimate for those triplets is given with the language of Kre\u{\i}n space geometry and de Branges-Rovnyak space theory.


title: Comparing Direct and Indirect Representations for Environment-Specific Robot Component Design

abstract: We compare two representations used to define the morphology of legs for a hexapod robot, which are subsequently 3D printed. A leg morphology occupies a set of voxels in a voxel grid. One method, a direct representation, uses a collection of Bezier splines. The second, an indirect method, utilises CPPN-NEAT. In our first experiment, we investigate two strategies to post-process the CPPN output and ensure leg length constraints are met. The first uses an adaptive threshold on the output neuron, the second, previously reported in the literature, scales the largest generated artefact to our desired length. In our second experiment, we build on our past work that evolves the tibia of a hexapod to provide environment-specific performance benefits. We compare the performance of our direct and indirect legs across three distinct environments, represented in a high-fidelity simulator. Results are significant and support our hypothesis that the indirect representation allows for further exploration of the design space leading to improved fitness.


title: An Improved Dipole Extraction Method From Magnitude-Only Electromagnetic-Field Data

abstract: Infinitesimal electric and magnetic dipoles are widely used as an equivalent radiating source model. In this paper, an improved method for dipole extraction from magnitude-only electromagnetic-field data based on genetic algorithm and back-and-forth iteration algorithm [1] is proposed. Compared with conventional back-and-forth iteration algorithm, this method offers an automatic flow to extract the equivalent dipoles without prior decision of the type, position, orientation and number of dipoles. It can be easily applied to electromagnetic-field data on arbitrarily shaped surfaces and minimize the number of required dipoles. The extracted dipoles can be close to original radiating structure, thus being physical. Compared with conventional genetic algorithm based method, this method reduces the optimization time and will not easily get trapped into local minima during optimization, thus being more robust. This method is validated by both simulation data and measurement data and its advantages are proved. The potential application of this method in phase retrieval is also discussed.


title: Accelerated scale bridging with sparsely approximated Gaussian learning

abstract: Multiscale modeling is a systematic approach to describe the behavior of complex systems by coupling models from different scales. The approach has been demonstrated to be very effective in areas of science as diverse as materials science, climate modeling and chemistry. However, routine use of multiscale simulations is often hindered by the very high cost of individual at-scale models. Approaches aiming to alleviate that cost by means of Gaussian process regression based surrogate models have been proposed. Yet, many of these surrogate models are expensive to construct, especially when the number of data needed is large. In this article, we employ a hierarchical sparse Cholesky decomposition to develop a sparse Gaussian process regression method and apply the method to approximate the equation of state of an energetic material in a multiscale model of dynamic deformation. We demonstrate that the method provides a substantial reduction both in computational cost and solution error as compared with previous methods.


title: Hybrid coarse-fine classification for head pose estimation

abstract: Head pose estimation, which computes the intrinsic Euler angles (yaw, pitch, roll) from the human, is crucial for gaze estimation, face alignment, and 3D reconstruction. Traditional approaches heavily relies on the accuracy of facial landmarks. It limits their performances, especially when the visibility of the face is not in good condition. In this paper, to do the estimation without facial landmarks, we combine the coarse and fine regression output together for a deep network. Utilizing more quantization units for the angles, a fine classifier is trained with the help of other auxiliary coarse units. Integrating regression is adopted to get the final prediction. The proposed approach is evaluated on three challenging benchmarks. It achieves the state-of-the-art on AFLW2000, BIWI and performs favorably on AFLW. The code has been released on Github.


title: Temperature-dependent spectral function of a Kondo impurity in an $s$-wave superconductor

abstract: Using the numerical renormalization group method, the effect due to a Kondo impurity in an $s$-wave superconductor is examined at finite temperature ($T$). The $T$-behaviors of the spectral function and the magnetic moment at the impurity site are calculated. At $T$=0, the spin due to the impurity is in singlet state when the ratio between the Kondo temperature $T_k$ and the superconducting gap $\Delta$ is larger than 0.26. Otherwise, the spin of the impurity is in a doublet state. We show that the separation of the double Yu-Shiba-Rusinov peaks in the spectral function shrinks as $T$ increases if $T_k/\Delta<0.26$ while it is expanding if $T_k/\Delta>0.26$ and $\Delta$ remains to be a constant. These features could be measured by experiments and thus provide a unique way to determine whether the spin of the single Kondo impurity is in singlet or doublet state at zero temperature.


title: Markov Chain Decomposition Based On Total Expectation Theorem

abstract: A divide-and-conquer approach to analyzing Markov chains (MCs) is not utilized as widely as it could be, despite its potential benefits. One primary reason for this is the fact that most MC decomposition approaches involve a complex and inflexible methodology: decomposed subchains must be disjoint, transition rates of these decomposed subchains must be altered in a way tailored to the particular MC model, and the procedure to aggregate suchains needs to incorporate a nonlinear normalization constraint, complicating the analytical expression of performance measures. In contrast, we propose a versatile yet simple decomposition method for continuous time MCs based on the total expectation theorem. Leveraging the properties of this theorem, our method has great flexibility in the choice of subchains, and the procedure to obtain expected values of interest is simply a linear summation of subchains' properties, which is not affected by the normalization constraint. We prove that to maintain the correct distribution of decomposed subchains one may use our novel termination scheme, a modification of transition rates, that ensures partial flow conservation at boundary states. This termination scheme is applicable to MCs with any structure, since the scheme depends only on the boundary-state distribution, not on the structure of the MCs. To demonstrate the generality and capability of our method, we analytically solve various models, such as a congestion-based staffing queue and a Markov-modulated Mt/Mt/1 queue. As not all systems admit an analytical solution, we complement this analysis with numerical studies of MCs with various sizes using the algorithm based on our method.


title: Directed Ramsey and Anti-Ramsey Schemes and the Flexible Atom Conjecture

abstract: In this paper, we shed new light on the Flexible Atom Conjecture. We first give finite representation results for relation algebras $33_{37}, 35_{37}$, $77_{83}$, $78_{83}$, $80_{83}$, $82_{83}$, $83_{83}$, $1310_{1316}$, $1313_{1316}$, $1315_{1316}$, and $1316_{1316}$. Prior to our paper, only $83_{83}$ and $1316_{1316}$ were known to be finitely representable. We accomplish this by generalizing the notion of a relation algebra generated by a Ramsey scheme to the directed (antisymmetric) setting, and then showing that each of these algebras embeds into a finite directed (anti-)Ramsey scheme. The notion of a directed (anti-)Ramsey scheme may be of independent interest. We complement our upper bounds with some lower bounds. Namely, we show that any square representation of $31_{37}$ requires at least $14$ points, any square representation of $33_{37}$ requires at least $11$ points, and any square representation of $35_{37}$ requires at least $12$ points. Our technique adapts previous work of Alm, et. al. (Algebra Universalis 2022), in that we examine the combinatorial structure induced by the flexible atom.