title: Pattern formation in the doubly-nonlocal Fisher-KPP equation

abstract: We study the existence, bifurcations, and stability of stationary solutions for the doubly-nonlocal Fisher-KPP equation. We prove using Lyapunov-Schmidt reduction that under suitable conditions on the parameters, a bifurcation from the non-trivial homogeneous state can occur. The kernel of the linearized operator at the bifurcation is two-dimensional and periodic stationary patterns are generated. Then we prove that these patterns are, again under suitable conditions, locally asymptotically stable. We also compare our results to previous work on the nonlocal Fisher-KPP equation containing a local diffusion term and a nonlocal reaction term. If the diffusion is approximated by a nonlocal kernel, we show that our results are consistent and reduce to the local ones in the local singular diffusion limit. Furthermore, we prove that there are parameter regimes, where no bifurcations can occur for the doubly-nonlocal Fisher-KPP equation. The results demonstrate that intricate different parameter regimes are possible. In summary, our results provide a very detailed classification of the multi-parameter dependence of the stationary solutions for the doubly-nonlocal Fisher-KPP equation.


title: On the Distributions of Infinite Server Queues with Batch Arrivals

abstract: Queues that feature multiple entities arriving simultaneously are among the oldest models in queueing theory, and are often referred to as "batch" (or, in some cases, "bulk") arrival queueing systems. In this work we study the affect of batch arrivals on infinite server queues. We assume that the arrival epochs occur according to a Poisson process, with treatment of both stationary and non-stationary arrival rates. We consider both exponentially and generally distributed service durations and we analyze both fixed and random arrival batch sizes. In addition to deriving the transient mean, variance, and moment generating function for time-varying arrival rates, we also find that the steady-state distribution of the queue is equivalent to the sum of scaled Poisson random variables with rates proportional to the order statistics of its service distribution. We do so through viewing the batch arrival system as a collection of correlated sub-queues. Furthermore, we investigate the limiting behavior of the process through a batch scaling of the queue and through fluid and diffusion limits of the arrival rate. In the course of our analysis, we make important connections between our model and the harmonic numbers, generalized Hermite distributions, and truncated polylogarithms.


title: Electrical Detection of Single Graphene Plasmons

abstract: Plasmons --the collective oscillations of electrons in conducting materials-- play a pivotal role in nanophotonics because of their ability to couple electronic and photonic degrees of freedom. In particular, plasmons in graphene --the atomically thin carbon material-- offer strong spatial confinement and long lifetimes, accompanied by extraordinary optoelectronic properties derived from its peculiar electronic band structure. Understandably, this material has generated great expectations for its application to enhanced integrated devices. However, an efficient scheme for detecting graphene plasmons remains a challenge. Here we show that extremely compact graphene nanostructures are capable of realizing on-chip electrical detection of single plasmons. Specifically, we predict a twofold increase in the electrical current across a graphene nanostructure junction caused by the excitation of a single plasmon. This effect, which is due to the increase in electron temperature following plasmon decay, should persist during a picosecond time interval characteristic of electron-gas relaxation. We further show that a broad spectral detection range is accessible either by electrically doping the junction or by varying the size of the nanostructure. The proposed graphene plasmometer could find application as a basic component of future optics-free integrated nanoplasmonic devices.


title: The Two Eyes Lemma: a linking problem for horoball necklaces

abstract: In the course of our work on low-volume hyperbolic 3-manifolds, we came upon a linking problem for horoball necklaces in $\mathbb{H}^3$. A horoball necklace is a collection of sequentially tangent beards (i.e. spheres) with disjoint interiors lying on a flat table (i.e. a plane) such that each bead is of diameter at most one and is tangent to the table. In this note, we analyze the possible configurations of an 8-bead necklace linking around two other diameter-one spheres on the table. We show that all the beads are forced to have diameter one, the two linked spheres are tangent, and that each bead must kiss (i.e. be tangent to) at least one of the two linked spheres. In fact, there is a 1-parameter family of distinct configurations.


title: Molecular Sensing with Tunable Graphene Plasmons

abstract: We study the potential of graphene plasmons for spectrometer-free sensing based on surface-enhanced infrared absorption and Raman scattering. The large electrical tunability of these excitations enables an accurate identification of infrared molecular resonances by recording broadband absorption or inelastic scattering, replacing wavelength-resolved light collection by a signal integrated over photon energy as a function of the graphene doping level. The high quality factor of graphene plasmons plays a central role in the proposed detection techniques, which we show to be capable of providing label-free identification of the molecular vibration fingerprints. We find an enhancement of the absorption and inelastic scattering cross-sections by 3-4 orders of magnitude for molecules in close proximity to doped graphene nanodisks under currently feasible conditions. Our results pave the way for the development of novel cost-effective sensors capable of identifying spectral signatures of molecules without using spectrometers and laser sources.


title: Analytical Modeling of Graphene Plasmons

abstract: The two-dimensionality of graphene and other layered materials can be exploited to simplify the theoretical description of their plasmonic and polaritonic modes. We present an analytical theory that allows us to simulate these excitations in terms of plasmon wave functions (PWFs). Closed-form expressions are offered for their associated extinction spectra, involving only two real parameters for each plasmon mode and graphene morphology, which we calculate and tabulate once and for all. Classical and quantum-mechanical formulations of this PWF formalism are introduced, in excellent mutual agreement for armchaired islands with $>10\,$nm characteristic size. Examples of application are presented to predict both plasmon-induced transparency in interacting nanoribbons and excellent sensing capabilities through the response to the dielectric environment. We argue that the PWF formalism has general applicability and allows us to analytically describe a wide range of 2D polaritonic behavior, thus facilitating their use for the design of actual devices.


title: Four genera of links and Heegaard Floer homology

abstract: For links with vanishing pairwise linking numbers, the link components bound pairwise disjoint surfaces in $B^{4}$. In this paper, we describe the set of genera of such surfaces in terms of the $h$-function, which is a link invariant from Heegaard Floer homology. In particular, we use the $h$-function to give lower bounds for the 4-genus of the link. For $L$-space links, the $h$-function is explicitly determined by Alexander polynomials of the link and sublinks. We show some $L$-space links where the lower bounds are sharp, and also describe all possible genera of disjoint surfaces bounded by such links.


title: Population Anomaly Detection through Deep Gaussianization

abstract: We introduce an algorithmic method for population anomaly detection based on gaussianization through an adversarial autoencoder. This method is applicable to detection of `soft' anomalies in arbitrarily distributed highly-dimensional data. A soft, or population, anomaly is characterized by a shift in the distribution of the data set, where certain elements appear with higher probability than anticipated. Such anomalies must be detected by considering a sufficiently large sample set rather than a single sample. Applications include, but not limited to, payment fraud trends, data exfiltration, disease clusters and epidemics, and social unrests. We evaluate the method on several domains and obtain both quantitative results and qualitative insights.


title: Genetic Drift and Mutation

abstract: In genetic drift of small population, it is well known that even when the ratio of alleles is 0.5, specific genes are fixed in or disappear from the population. It seems the reason why inbreeding is avoided. On the other hand, this phenomenon suggests an interesting possibility. The mutant gene does not increase the number of genes at once in a large population. A gene is partially fixed by increasing the number within a small population because of inbreeding, and the gene increases in a large group by Darwin's natural selection. It would be more reasonable to think in this way. We studied this mathematically based on the concept of genetic drift. This suggested that inbreeding could be useful as a trigger for fixation of mutation.


title: Estimation and Tracking of AP-diameter of the Inferior Vena Cava in Ultrasound Images Using a Novel Active Circle Algorithm

abstract: Medical research suggests that the anterior-posterior (AP)-diameter of the inferior vena cava (IVC) and its associated temporal variation as imaged by bedside ultrasound is useful in guiding fluid resuscitation of the critically-ill patient. Unfortunately, indistinct edges and gaps in vessel walls are frequently present which impede accurate estimation of the IVC AP-diameter for both human operators and segmentation algorithms. The majority of research involving use of the IVC to guide fluid resuscitation involves manual measurement of the maximum and minimum AP-diameter as it varies over time. This effort proposes using a time-varying circle fitted inside the typically ellipsoid IVC as an efficient, consistent and novel approach to tracking and approximating the AP-diameter even in the context of poor image quality. In this active-circle algorithm, a novel evolution functional is proposed and shown to be a useful tool for ultrasound image processing. The proposed algorithm is compared with an expert manual measurement, and state-of-the-art relevant algorithms. It is shown that the algorithm outperforms other techniques and performs very close to manual measurement.


title: Motivic multiple zeta values reletive to \mu_2

abstract: We establish a short exact sequence about depth-graded motivic double zeta values of even weight relative to $\mu_2$. We find a basis for the depth-graded motivic double zeta values relative to $\mu_2$ of even weight and a basis for the depth-graded motivic triple zeta values relative to $\mu_2$ of odd weight. As an application of our main results, we prove Kaneko and Tasaka's conjectures about the sum odd double zeta values and the classical double zeta values. We also prove an analogue of Kaneko and Tasaka's conjecture in depth three. At last we formulate a conjecture which is related to sum odd multiple zeta values in higher depth.


title: An explicit Floquet-type representation of Riccati aperiodic exponential semigroups

abstract: The article presents a rather surprising Floquet-type representation of time-varying transition matrices associated with a class of nonlinear matrix differential Riccati equations. The main difference with conventional Floquet theory comes from the fact that the underlying flow of the solution matrix is aperiodic. The monodromy matrix associated with this Floquet representation coincides with the exponential (fundamental) matrix associated with the stabilizing fixed point of the Riccati equation. The second part of this article is dedicated to the application of this representation to the stability of matrix differential Riccati equations. We provide refined global and local contraction inequalities for the Riccati exponential semigroup that depend linearly on the spectral norm of the initial condition. These refinements improve upon existing results and are a direct consequence of the Floquet-type representation, yielding what seems to be the first results of this type for this class of models.


title: Resolvent-analysis-based design of airfoil separation control

abstract: We combine three-dimensional (3D) large-eddy simulations (LES) and resolvent analysis to design active separation control techniques on a NACA 0012 airfoil. Spanwise-periodic flows over the airfoil at a chord-based Reynolds number of $23,000$ and a free-stream Mach number of $0.3$ are considered at two post-stall angles of attack of $6^\circ$ and $9^\circ$. Near the leading edge, localized unsteady thermal actuation is introduced in an open-loop manner with two tunable parameters of actuation frequency and spanwise wavelength. For the most successful control case that achieves full reattachment, we observe a reduction in drag by up to $49\%$ and increase in lift by up to $54\%$. To provide physics-based guidance for the effective choice of these control input parameters, we conduct global resolvent analysis on the baseline turbulent mean flows to identify the actuation frequency and wavenumber that provide high energy amplification. The present analysis also considers the use of a temporal filter to limit the time horizon for assessing the energy amplification to extend resolvent analysis to unstable base flows. We incorporate the amplification and response mode from resolvent analysis to provide a metric that quantifies momentum mixing associated with the modal structure. By comparing this metric from resolvent analysis and the LES results of controlled flows, we demonstrate that resolvent analysis can predict the effective range of actuation frequency as well as the global response to the actuation input. Supported by the agreements between the results from resolvent analysis and LES, we believe that this study provides insights for the use of resolvent analysis in guiding future active flow control.


title: On the Sen limit squared

abstract: We introduce a class of F-theory vacua which may be viewed as a specialization of the so-called $E_6$ fibration, and construct a weak coupling limit associated with such vacua which we view as the `square' of the Sen limit. We find that while Sen's limit is naturally viewed as an orientifold theory, the universal tadpole relation which equates the D3 charge between the associated F-theory compactification and the limit we construct suggests that perhaps the limiting theory is in fact an oriented theory compactified on the base of the F-theory elliptic fibration.


title: On integral structure types

abstract: We introduce integral structure types as a categorical analogue of virtual combinatorial species. Integral structure types then categorify power series with possibly negative coefficients in the same way that combinatorial species categorify power series with non-negative rational coefficients. The notion of an operator on combinatorial species naturally extends to integral structure types, and in light of their `negativity' we define the notion of the commutator of two operators on integral structure types. We then extend integral structure types to the setting of stuff types as introduced by Baez and Dolan, and then conclude by using integral structure types to give a combinatorial description for Chern classes of projective hypersurfaces.


title: A Counter-Forensic Method for CNN-Based Camera Model Identification

abstract: An increasing number of digital images are being shared and accessed through websites, media, and social applications. Many of these images have been modified and are not authentic. Recent advances in the use of deep convolutional neural networks (CNNs) have facilitated the task of analyzing the veracity and authenticity of largely distributed image datasets. We examine in this paper the problem of identifying the camera model or type that was used to take an image and that can be spoofed. Due to the linear nature of CNNs and the high-dimensionality of images, neural networks are vulnerable to attacks with adversarial examples. These examples are imperceptibly different from correctly classified images but are misclassified with high confidence by CNNs. In this paper, we describe a counter-forensic method capable of subtly altering images to change their estimated camera model when they are analyzed by any CNN-based camera model detector. Our method can use both the Fast Gradient Sign Method (FGSM) or the Jacobian-based Saliency Map Attack (JSMA) to craft these adversarial images and does not require direct access to the CNN. Our results show that even advanced deep learning architectures trained to analyze images and obtain camera model information are still vulnerable to our proposed method.


title: On the $q$-partial differential equations and $q$-series

abstract: Using the theory of functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the Rogers-Szeg\H{o} polynomials. This expansion theorem allows us to develop a general method for proving $q$-identities. A general $q$-transformation formula is derived, which implies Watson's $q$-analog of Whipple's theorem as a special case. A multilinear generating function for the Rogers-Szeg\H{o} polynomials is given. The theory of $q$-exponential operator is revisited.


title: From billiards to thermodynamic laws: I. Stochastic energy exchange model

abstract: This paper studies a billiards-like microscopic heat conduction model, which describes the dynamics of gas molecules in a long tube with thermalized boundary. We numerically investigate the law of energy exchange between adjacent cells. A stochastic energy exchange model that preserves these properties is then derived. We further numerically justified that the stochastic energy exchange model preserves the ergodicity and the thermal conductivity of the original billiard model.


title: Space-Charge Simulation of Integrable Rapid Cycling Synchrotron

abstract: Integrable optics is an innovation in particle accelerator design that enables strong nonlinear focusing without generating parametric resonances. We use the Synergia tracking code to investigate the application of integrable optics to high-intensity hadron rings. We consider an integrable rapid-cycling synchrotron (iRCS) designed to replace the Fermilab Booster. We find that incorporating integrability into the design suppresses the beam halo generated by a mismatched KV beam. Our iRCS design includes other features of modern ring design such as low momentum compaction factor and harmonically canceling sextupoles. Experimental tests of high-intensity beams in integrable lattices will take place over the next several years at the Fermilab Integrable Optics Test Accelerator (IOTA) and the University of Maryland Electron Ring (UMER).


title: $K$-theory of regular compactification bundles

abstract: Let $G$ be a connected reductive algebraic group. Let $\mathcal{E}\rightarrow \mathcal{B}$ be a principal $G\times G$-bundle and $X$ be a regular compactification of $G$. We describe the Grothendieck ring of the associated fibre bundle $\mathcal{E}(X):=\mathcal{E}\times_{G\times G} X$, as an algebra over the Grothendieck ring of a canonical toric bundle over a flag bundle on $\mathcal{B}$. These are relative versions of the results on equivariant $K$-theory of regular compactifications of $G$. They also generalize the well known results on the Grothendieck rings of projective bundles, toric bundles and flag bundles.


title: Private Sequential Learning

abstract: We formulate a private learning model to study an intrinsic tradeoff between privacy and query complexity in sequential learning. Our model involves a learner who aims to determine a scalar value, $v^*$, by sequentially querying an external database and receiving binary responses. In the meantime, an adversary observes the learner's queries, though not the responses, and tries to infer from them the value of $v^*$. The objective of the learner is to obtain an accurate estimate of $v^*$ using only a small number of queries, while simultaneously protecting her privacy by making $v^*$ provably difficult to learn for the adversary. Our main results provide tight upper and lower bounds on the learner's query complexity as a function of desired levels of privacy and estimation accuracy. We also construct explicit query strategies whose complexity is optimal up to an additive constant.


title: A splitting algorithm for fixed points of nonexpansive mappings and equilibrium problems

abstract: We consider the problem of finding a fixed point of a nonexpansive mapping, which is also a solution of a pseudo-monotone equilibrium problem, where the bifunction in the equilibrium problem is the sum of two ones. We propose a splitting algorithm combining the gradient method for equilibrium problem and the Mann iteration scheme for fixed points of nonexpansive mappings. At each iteration of the algorithm, two strongly convex subprograms are required to solve separately, one for each of the component bifunctions. Our main result states that, under paramonotonicity property of the given bifunction, the algorithm converges to a solution without any Lipschitz type condition as well as H\"older continuity of the bifunctions involved.


title: The Power Allocation Game on A Network: Computation Issue

abstract: In this paper two algorithms with the goal of generating the equilibrium set of the power allocation game first developed in \cite{allocation} are proposed. Based on the first algorithm, the geometric property of the pure strategy Nash equilibrium set will be proven to be a collection of convex polytopes. The second, simulation-based, algorithm is developed to overcome the shortcoming of the first algorithm in terms of generating the equilibrium set efficiently and then making policy-relevant predictions based on the set. The second algorithm will be usefully applied to a real-world case study, which draws on the current crisis between North Korea and certain key players including the US and China.


title: Fishnet Model with Order Statistics for Tail Probability of Failure of Nacreous Biomimetic Materials with Softening Interlaminar Links

abstract: The staggered (or imbricated) lamellar "brick-and-mortar" nanostructure of nacre endows nacre with strength and fracture toughness values exceeding by an order of magnitude those of the constituents, and inspires the advent of new robust biomimetic materials. While many deterministic studies clarified these advantageous features in the mean sense, a closed-form statistical model is indispensable for determining the tail probability of failure in the range of 1 in a million, which is what is demanded for most engineering applications. In the authors' preceding study, the so-called `fishnet' statistics, exemplified by a diagonally pulled fishnet, was conceived to describe the probability distribution. The fishnet links, representing interlaminar bonds, were considered to be elastic perfectly-brittle. However, the links may be quasibrittle or almost ductile, exhibiting gradual postpeak softening in their stress-strain relation. This paper extends the fishnet statistics to links with post-peak softening slope of arbitrary steepness. Probabilistic analysis is enabled by assuming the postpeak softening of a link to occur as a series of finite drops of stress and stiffness. The maximum load of the structure is approximated by the strength of the k-th weakest link (k >= 1), and the distribution of structure strength is expressed as a weighted sum of the distributions of order statistics. The analytically obtained probabilities are compared and verified by histograms of strength data obtained by millions of Monte Carlo simulations for each of many nacreous bodies with different link softening steepness and with various overall shapes.


title: Fundamental limits to near-field optical response, over any bandwidth

abstract: We develop an analytical framework to derive upper bounds to light--matter interactions in the optical near field, where applications ranging from spontaneous-emission amplification to greater-than-blackbody heat transfer show transformative potential. Our framework connects the classic complex-analytic properties of causal fields with newly developed energy-conservation principles, resulting in a new class of power--bandwidth limits. These limits demonstrate the possibility of orders-of-magnitude enhancement in near-field optical response with the right combination of material and geometry. At specific frequency and bandwidth combinations, the bounds can be closely approached by canonical plasmonic geometries, with the opportunity for new designs to emerge away from those frequency ranges. Embedded in the bounds is a material "figure of merit," which determines the maximum response of any material (metal/dielectric, bulk/2D, etc.), for any frequency and bandwidth. Our bounds on local density of states (LDOS) represent maximal spontaneous-emission enhancements, our bounds on cross density of states (CDOS) limit electromagnetic-field correlations, and our bounds on radiative heat transfer (RHT) represent the first such analytical rule, revealing fundamental limits relative to the classical Stefan--Boltzmann law.


title: Smoothing and Mapping using Multiple Robots

abstract: Mapping expansive regions is an arduous and often times incomplete when performed by a single agent. In this paper we illustrate an extension of \texttt{Full SLAM} \cite{Dellaert06ijrr} and \cite{dong}, which ensures smooth maps with loop-closure for multi-robot settings. The current development and the associated mathematical formulation ensure without loss of generality the applicability of full bundle adjustment approach for multiple robots operating in relatively static environments. We illustrate the efficacy of this system by presenting relevant results from experiments performed in an indoor setting. In addition to end-to-end description of the pipeline for performing smoothing and mapping \texttt{SAM} with a fleet of robots, we discuss a one-time prior estimation technique that ensures the incremental concatenation of measurements from respective robots in order to generate one smooth global map - thus emulating large scale mapping with single robot. Along with an interpretation of the non-linear estimates, we present necessary implementation details for adopting this SAM system.


title: An Image dehazing approach based on the airlight field estimation

abstract: This paper proposes a scheme for single image haze removal based on the airlight field (ALF) estimation. Conventional image dehazing methods which are based on a physical model generally take the global atmospheric light as a constant. However, the constant-airlight assumption may be unsuitable for images with large sky regions, which causes unacceptable brightness imbalance and color distortion in recovery images. This paper models the atmospheric light as a field function, and presents a maximum a-priori (MAP) method for jointly estimating the airlight field, the transmission rate and the haze free image. We also introduce a valid haze-level prior for effective estimate of transmission. Evaluation on real world images shows that the proposed approach outperforms existing methods in single image dehazing, especially when the large sky region is included.


title: Bell's Theory of Beables and the Concept of `Universe'

abstract: From its earliest days nearly a century ago, quantum mechanics has proven itself to be a tremendously accurate yet intellectually unsatisfying theory to many. Not the least of its problems is that it is a theory about the results of measurements. As John Bell once said in introducing the concept of `beables', it should be possible to say what is rather than merely what is observed. In this essay I consider the question of whether a universe can be a (nonlocal) beable and what that implies about the fundamental nature of that universe. I conclude that a universe that is a beable within the framework of certain theories, cannot also be fundamental.


title: Further development of efficient and accurate time integration schemes for meteorological models

abstract: In this paper, we investigate the use of higher-order exponential Rosenbrock time integration methods on the shallow water equations on the sphere. This stiff, nonlinear model provides a testing ground for accurate and stable time integration methods in weather modeling, serving as the focus for exploration of novel methods for many years. We therefore identify a candidate set of three recent exponential Rosenbrock methods of orders four and five (exprb42, pexprb43 and exprb53) for use on this model. Based on their multi-stage structure, we propose a set of modifications to the phipm_IOM2 algorithm for efficiently calculating the matrix phi-functions. We then investigate the performance of these methods on a suite of four challenging test problems, comparing them against the epi3 method investigated previously in [1, 2] on these problems. In all cases, the proposed methods enable accurate solutions at much longer time-steps than epi3, proving considerably more efficient as either the desired solution error decreases, or as the test problem nonlinearity increases.


title: Quantum evolution speed in the finite-temperature bosonic environment

abstract: We investigate the quantum evolution speed of a qubit in two kinds of finite-temperature environments. The first environment is a bosonic bath with Ohmic-like spectrum. It is found that the high temperature not only leads to the speed-up but also speed-down processes in the weak-coupling regime, which is different from the strong-coupling case where only exhibits speed-up process, and the effects of Ohmicity parameter of the bath on the quantum evolution speed are also different in the strong-coupling and weak-coupling regimes. Furthermore, we realize the controllable and stationary quantum evolution speed by applying the bang-bang pulse. For the second nonlinear bath, we study the quantum evolution speed of a qubit by resorting to the hierarchical equations of motion method beyond the Born-Markov approximation. It is shown that the performances of quantum evolution speed in weak-coupling and strong-coupling regimes are also different. In particular, the quantum evolution speed can be decelerated by the rise of temperature in the strong-coupling regime which is an anomalous phenomenon and contrary to the common recognition that quantum evolution speed always increases with the temperature.


title: Automatic Classification of Object Code Using Machine Learning

abstract: Recent research has repeatedly shown that machine learning techniques can be applied to either whole files or file fragments to classify them for analysis. We build upon these techniques to show that for samples of un-labeled compiled computer object code, one can apply the same type of analysis to classify important aspects of the code, such as its target architecture and endianess. We show that using simple byte-value histograms we retain enough information about the opcodes within a sample to classify the target architecture with high accuracy, and then discuss heuristic-based features that exploit information within the operands to determine endianess. We introduce a dataset with over 16000 code samples from 20 architectures and experimentally show that by using our features, classifiers can achieve very high accuracy with relatively small sample sizes.


title: Criticality, The List Color Function, and List Coloring the Cartesian Product of Graphs

abstract: We introduce a notion of color-criticality in the context of chromatic-choosability. We define a graph $G$ to be strong $k$-chromatic-choosable if $\chi(G) = k$ and every $(k-1)$-assignment for which $G$ is not list-colorable has the property that the lists are the same for all vertices. That is the usual coloring is, in some sense, the obstacle to list-coloring. We prove basic properties of strongly chromatic-choosable graphs such as chromatic-choosability and vertex-criticality, and we construct infinite families of strongly chromatic-choosable graphs. We derive a sufficient condition for the existence of at least two list colorings of strongly chromatic-choosable graphs and use it to show that: if $M$ is a strong $k$-chromatic-choosable graph with $|E(M)| \leq |V(M)|(k-2)$ and $H$ is a graph that contains a Hamilton path, $w_1, w_2, \ldots, w_m$, such that $w_i$ has at most $\rho \geq 1$ neighbors among $w_1, \ldots, w_{i-1}$, then $\chi_{\ell}(M \square H) \le k+ \rho - 1$. We show that this bound is sharp for all $\rho \ge 1$ by generalizing the theorem to apply to $H$ that are $(M,\rho)$-Cartesian accommodating which is a notion we define with the help of the list color function, $ P_{\ell}(G,k)$, the list analogue of the chromatic polynomial. We also use the list color function to determine the list chromatic number of certain star-like graphs: $\chi_{\ell}(M \square K_{1,s}) =$ $k \; \text{if } s < P_{\ell}(M,k)$, or $k+1 \; \text{if } s \geq P_{\ell}(M,k)$, where $M$ is a strong $k$-chromatic-choosable graph. We show that $ P_{\ell}(M,k)$ equals $P(M,k)$, the chromatic polynomial, when $M$ is an odd cycle, complete graph, or the join of an odd cycle with a complete graph.


title: Generalizations of Ramanujan integral associated with infinite Fourier cosine transforms in terms of hypergeometric functions and its applications

abstract: In this paper, we obtain analytical solution of an unsolved integral $\textbf{R}_{C}(m,n)$ of Srinivasa Ramanujan [$\textit{Mess. Math}$., XLIV, 75-86, 1915], using hypergeometric approach, Mellin transforms, Infinite Fourier cosine transforms, Infinite series decomposition identity and some algebraic properties of Pochhammer's symbol. Also we have given some generalizations of the Ramanujan's integral $\textbf{R}_{C}(m,n)$ in the form of integrals $\textbf{I}^{*}_{C}(\upsilon,b,c,\lambda,y), \textbf{J}_C (\upsilon,b,c,\lambda,y), \textbf{K}_{C} (\upsilon,b,c, \lambda,y), \textbf{I}_{C}(\upsilon,b,\lambda,y)$ and solved it in terms of ordinary hypergeometric functions ${}_2 F_3$, with suitable convergence conditions. Moreover as applications of Ramanujan's integral $\textbf{R}_{C}(m,n)$, the new nine infinite summation formulas associated with hypergeometric functions ${}_{0}F_{1}$, ${}_{1}F_{2}$ and ${}_{2}F_{3}$ are obtained.


title: Gauge (in)dependence and background field formalism

abstract: It is shown that the gauge invariance and gauge dependence properties of effective action for Yang-Mills theories should be considered as two independent issues in the background field formalism. Application of this formalism to formulate the functional renormalization group approach is discussed. It is proven that there is a possibility to construct the corresponding average effective action invariant under the gauge transformations of background vector field. Nevertheless, being gauge invariant this action remains gauge dependent on-shell.


title: Multiscale analysis and simulation of a signalling process with surface diffusion

abstract: We present and analyse a model for cell signalling processes in biological tissues. The model includes diffusion and nonlinear reactions on the cell surfaces, and both inter- and intracellular signalling. Using techniques from the theory of two-scale convergence as well the unfolding method, we show convergence of the solutions to the model to solutions of a two-scale macroscopic problem. We also present a two-scale bulk-surface finite element method for the approximation of the macroscopic model. We report on some benchmarking results as well as numerical simulations in a biologically relevant regime that illustrate the influence of cell-scale heterogeneities on macroscopic concentrations.


title: Asymptotic analysis of the linearized Boltzmann collision operator from angular cutoff to non-cutoff

abstract: We give quantitative estimates on the asymptotics of the linearized Boltzmann collision operator and its associated equation from angular cutoff to non cutoff. On one hand, the results disclose the link between the hyperbolic property resulting from the Grad's cutoff assumption and the smoothing property due to the long-range interaction. On the other hand, with the help of the localization techniques in the phase space, we observe some new phenomenon in the asymptotic limit process. As a consequence, we give the affirmative answer to the question that there is no jump for the property that the collision operator with cutoff does not have the spectrum gap but the operator without cutoff does have for the moderate soft potentials.


title: Quantization Mimic: Towards Very Tiny CNN for Object Detection

abstract: In this paper, we propose a simple and general framework for training very tiny CNNs for object detection. Due to limited representation ability, it is challenging to train very tiny networks for complicated tasks like detection. To the best of our knowledge, our method, called Quantization Mimic, is the first one focusing on very tiny networks. We utilize two types of acceleration methods: mimic and quantization. Mimic improves the performance of a student network by transfering knowledge from a teacher network. Quantization converts a full-precision network to a quantized one without large degradation of performance. If the teacher network is quantized, the search scope of the student network will be smaller. Using this feature of the quantization, we propose Quantization Mimic. It first quantizes the large network, then mimic a quantized small network. The quantization operation can help student network to better match the feature maps from teacher network. To evaluate our approach, we carry out experiments on various popular CNNs including VGG and Resnet, as well as different detection frameworks including Faster R-CNN and R-FCN. Experiments on Pascal VOC and WIDER FACE verify that our Quantization Mimic algorithm can be applied on various settings and outperforms state-of-the-art model acceleration methods given limited computing resouces.


title: Direct N-body simulation of the Galactic centre

abstract: We study the dynamics and evolution of the Milky Way nuclear star cluster performing a high resolution direct one-million-body simulation. Focusing on the interactions between such stellar system and the central supermassive black hole, we find that different stellar components adapt their overall distribution differently. After 5 Gyr, stellar mass black holes are characterized by a spatial distribution with power-slope $-1.75$, fully consistent with the prediction of Bahcall-Wolf pioneering work. Using the vast amount of data available, we infer the rate for tidal disruption events, being $4 \times 10^{-6}$ per yr, and estimate the number of objects that emit gravitational waves during the phases preceding the accretion onto the super-massive black hole, $\sim 270$ per Gyr. We show that some of these sources could form extreme mass-ratio inspirals. We follow the evolution of binary stars population, showing that the initial binary fraction of $5\%$ drops down to $2.5\%$ inside the inner parsec. Also, we explored the possible formation of binary systems containing a compact object, discussing the implications for millisecond pulsars formation and the development of Ia Supernovae.


title: Synchronizing Random Almost-Group Automata

abstract: In this paper we address the question of synchronizing random automata in the critical settings of almost-group automata. Group automata are automata where all letters act as permutations on the set of states, and they are not synchronizing (unless they have one state). In almost-group automata, one of the letters acts as a permutation on $n-1$ states, and the others as permutations. We prove that this small change is enough for automata to become synchronizing with high probability. More precisely, we establish that the probability that a strongly connected almost-group automaton is not synchronizing is $\frac{2^{k-1}-1}{n^{2(k-1)}}(1+o(1))$, for a $k$-letter alphabet.


title: Comparison Study of Nonlinear Optimization of Step Durations and Foot Placement for Dynamic Walking

abstract: This paper studies bipedal locomotion as a nonlinear optimization problem based on continuous and discrete dynamics, by simultaneously optimizing the remaining step duration, the next step duration and the foot location to achieve robustness. The linear inverted pendulum as the motion model captures the center of mass dynamics and its low-dimensionality makes the problem more tractable. We first formulate a holistic approach to search for optimality in the three-dimensional parametric space and use these results as baseline. To further improve computational efficiency, our study investigates a sequential approach with two stages of customized optimization that first optimizes the current step duration, and subsequently the duration and location of the next step. The effectiveness of both approaches is successfully demonstrated in simulation by applying different perturbations. The comparison study shows that these two approaches find mostly the same optimal solutions, but the latter requires considerably less computational time, which suggests that the proposed sequential approach is well suited for real-time implementation with a minor trade-off in optimality.


title: Tree-like distance colouring for planar graphs of sufficient girth

abstract: Given a multigraph $G$ and a positive integer $t$, the distance-$t$ chromatic index of $G$ is the least number of colours needed for a colouring of the edges so that every pair of distinct edges connected by a path of fewer than $t$ edges must receive different colours. Let $\pi'_t(d)$ and $\tau'_t(d)$ be the largest values of this parameter over the class of planar multigraphs and of (simple) trees, respectively, of maximum degree $d$. We have that $\pi'_t(d)$ is at most and at least a non-trivial constant multiple larger than $\tau'_t(d)$. (We conjecture $\limsup_{d\to\infty}\pi'_2(d)/\tau'_2(d) =9/4$ in particular.) We prove for odd $t$ the existence of a quantity $g$ depending only on $t$ such that the distance-$t$ chromatic index of any planar multigraph of maximum degree $d$ and girth at least $g$ is at most $\tau'_t(d)$ if $d$ is sufficiently large. Such a quantity does not exist for even $t$. We also show a related, similar phenomenon for distance vertex-colouring.


title: Berry curvature dipole current in transition metal dichalcogenides family

abstract: We study the quantum nonlinear Hall effect in two-dimensional materials with time-reversal symmetry. When only one mirror line exists, a transverse charge current occurs in second-order response to an external electric field, as a result of the Berry curvature dipole in momentum space. Candidate 2D materials to observe this effect are two-dimensional transition-metal dichalcogenides~(TMDCs). First we use an ab initio based tight-binding approach to demonstrate that monolayer $T_d$-stricture TMDCs exhibit a finite Berry curvature dipole. In the $1H$ and $1T'$ phase of TMDCs, we show the emergence of finite Berry curvature dipole with the application of strain and electrical displacement field respectively.


title: Acceleration of RED via Vector Extrapolation

abstract: Models play an important role in inverse problems, serving as the prior for representing the original signal to be recovered. REgularization by Denoising (RED) is a recently introduced general framework for constructing such priors using state-of-the-art denoising algorithms. Using RED, solving inverse problems is shown to amount to an iterated denoising process. However, as the complexity of denoising algorithms is generally high, this might lead to an overall slow algorithm. In this paper, we suggest an accelerated technique based on vector extrapolation (VE) to speed-up existing RED solvers. Numerical experiments validate the obtained gain by VE, leading to a substantial savings in computations compared with the original fixed-point method.


title: Characteristics of in-out intermittency in delay-coupled FitzHugh-Nagumo oscillators

abstract: We analyze a pair of delay-coupled FitzHugh-Nagumo oscillators exhibiting in-out intermittency as a part of the generating mechanism of extreme events. We study in detail the characteristics of in-out intermittency and identify the invariant subsets involved --- a saddle fixed point and a saddle periodic orbit --- neither of which are chaotic as in the previously reported cases of in-out intermittency. Based on the analysis of a periodic attractor possessing in-out dynamics, we can characterize the approach to the invariant synchronization manifold and the spiralling out to the saddle periodic orbit with subsequent ejection from the manifold. Due to the striking similarities, this analysis of in-out dynamics explains also in-out intermittency.


title: Ruling out Critical Higgs Inflation?

abstract: We consider critical Higgs inflation, namely Higgs inflation with a rising inflection point at smaller field values than those of the plateau induced by the non-minimal coupling to gravity. It has been proposed that such configuration is compatible with the present CMB observational constraints on inflation, and also with primordial black hole production accounting for the totality or a fraction of the observed dark matter. We study the model taking into account the NNLO corrections to the Higgs effective potential: such corrections are extremely important to reduce the theoretical error associated to the calculation. We find that, in the 3 sigma window for the relevant low energy parameters, which are the strong coupling and the Higgs mass (the top mass follows by requiring an inflection point), the potential at the inflection point is so large (and so is the Hubble constant during inflation) that the present bound on the tensor-to-scalar ratio is violated. The model is viable only allowing the strong coupling to take its upper 3-4 sigma value. In our opinion, this tension shows that the model of critical Higgs inflation is likely to be not viable: neither inflation nor black holes as dark matter can be originated in this version of the model.


title: Branching embedding: A heuristic dimensionality reduction algorithm based on hierarchical clustering

abstract: This paper proposes a new dimensionality reduction algorithm named branching embedding (BE). It converts a dendrogram to a two-dimensional scatter plot, and visualizes the inherent structures of the original high-dimensional data. Since the conversion part is not computationally demanding, the BE algorithm would be beneficial for the case where hierarchical clustering is already performed. Numerical experiments revealed that the outputs of the algorithm moderately preserve the original hierarchical structures.


title: Velocity formulae between entropy and hitting time for Markov chains

abstract: In the absence of acceleration, the velocity formula gives "distance travelled equals speed multiplied by time". For a broad class of Markov chains such as circulant Markov chains or random walk on complete graphs, we prove a probabilistic analogue of the velocity formula between entropy and hitting time, where distance is the entropy of the Markov trajectories from state $i$ to state $j$ in the sense of [L. Ekroot and T. M. Cover. The entropy of Markov trajectories. IEEE Trans. Inform. Theory 39(4): 1418-1421.], speed is the classical entropy rate of the chain, and the time variable is the expected hitting time between $i$ and $j$. This motivates us to define new entropic counterparts of various hitting time parameters such as average hitting time or commute time, and prove analogous velocity formulae and estimates between these quantities.


title: Carleman estimates for geodesic X-ray transforms

abstract: In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carleman estimate with logarithmic weights (resp. linear weights) on the frequency side. As a particular consequence, on negatively curved simple manifolds the geodesic X-ray transform with attenuation given by a general connection and Higgs field is invertible modulo natural obstructions. The proof is based on showing that the Pestov energy identity for the geodesic vector field completely localizes in frequency. Our approach works in all dimensions $\geq 2$, on negatively curved manifolds with or without boundary, and for tensor fields of any order.


title: Multi-Scale Face Restoration with Sequential Gating Ensemble Network

abstract: Restoring face images from distortions is important in face recognition applications and is challenged by multiple scale issues, which is still not well-solved in research area. In this paper, we present a Sequential Gating Ensemble Network (SGEN) for multi-scale face restoration issue. We first employ the principle of ensemble learning into SGEN architecture design to reinforce predictive performance of the network. The SGEN aggregates multi-level base-encoders and base-decoders into the network, which enables the network to contain multiple scales of receptive field. Instead of combining these base-en/decoders directly with non-sequential operations, the SGEN takes base-en/decoders from different levels as sequential data. Specifically, the SGEN learns to sequentially extract high level information from base-encoders in bottom-up manner and restore low level information from base-decoders in top-down manner. Besides, we propose to realize bottom-up and top-down information combination and selection with Sequential Gating Unit (SGU). The SGU sequentially takes two inputs from different levels and decides the output based on one active input. Experiment results demonstrate that our SGEN is more effective at multi-scale human face restoration with more image details and less noise than state-of-the-art image restoration models. By using adversarial training, SGEN also produces more visually preferred results than other models through subjective evaluation.


title: Joint CS-MRI Reconstruction and Segmentation with a Unified Deep Network

abstract: The need for fast acquisition and automatic analysis of MRI data is growing in the age of big data. Although compressed sensing magnetic resonance imaging (CS-MRI) has been studied to accelerate MRI by reducing k-space measurements, in current CS-MRI techniques MRI applications such as segmentation are overlooked when doing image reconstruction. In this paper, we test the utility of CS-MRI methods in automatic segmentation models and propose a unified deep neural network architecture called SegNetMRI which we apply to the combined CS-MRI reconstruction and segmentation problem. SegNetMRI is built upon a MRI reconstruction network with multiple cascaded blocks each containing an encoder-decoder unit and a data fidelity unit, and MRI segmentation networks having the same encoder-decoder structure. The two subnetworks are pre-trained and fine-tuned with shared reconstruction encoders. The outputs are merged into the final segmentation. Our experiments show that SegNetMRI can improve both the reconstruction and segmentation performance when using compressive measurements.


title: On the Erd\H{o}s-Burgess constant of the multiplicative semigroup of a factor ring of $\mathbb{F}_q[x]$

abstract: Let $\mathcal{S}$ be a commutative semigroup endowed with a binary associative operation $+$. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The {\sl Erd\H{o}s-Burgess constant} of $\mathcal{S}$ is defined as the smallest $\ell\in \mathbb{N}\cup \{\infty\}$ such that any sequence $T$ of terms from $S$ and of length $\ell$ contains a nonempty subsequence the sum of whose terms is idempotent. Let $q$ be a prime power, and let $\F_q[x]$ be the polynomial ring over the finite field $\F_q$. Let $R=\F_q[x]\diagup K$ be a quotient ring of $\F_q[x]$ modulo any ideal $K$. We gave a sharp lower bound of the Erd\H{o}s-Burgess constant of the multiplicative semigroup of the ring $R$, in particular, we determined the Erd\H{o}s-Burgess constant in the case when $K$ is the power of a prime ideal or a product of pairwise distinct prime ideals in $\F_q[x]$.


title: Bound States of Charged Adatoms on MoS2: Screening and Multivalley Effects

abstract: Adsorbate engineering is a promising route for controlling the electronic properties of monolayer transition-metal dichalcogenide materials. Here, we study shallow bound states induced by charged adatoms on MoS$_2$ using large-scale tight-binding simulations with screened adatom potentials obtained from ab initio calculations. The interplay of unconventional screening in two-dimensional systems and multivalley effects in the transition-metal dichalcogenide (TMDC) band structure results in a rich diversity of bound impurity states. We present results for impurity state wavefunctions and energies, as well as for the local density of states in the vicinity of the adatom which can be measured using scanning tunnelling spectroscopy. We find that the presence of several distinct valleys in the MoS$_2$ band structure gives rise to crossovers of impurity states at critical charge strengths, altering the orbital character of the most strongly bound state. We compare our results to simpler methods, such as the 2D hydrogen atom and effective mass theory, and we discuss limitations of these approaches.


title: Coset decision trees and the Fourier algebra

abstract: We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).


title: Impact of memory on opinion dynamics

abstract: We investigate an agent-based model of opinion dynamics with two types of social response: conformity and independence. Conformity is introduced to the model analogously as in the Sznajd model or $q$-voter model, which means that only unanimous group exerts peer pressure on individuals. The novelty, in relation to previous versions of the $q$-voter model, is memory possessed by each agent and external noise $T$, which plays the role of social temperature. Each agent has its own memories of past experiences related to the social costs and benefits of being independent or conformist. If an agent was awarded in past more for being independent, it will have a greater tendency to be independent than conformist and vice versa. We will show that depending on the social temperature $T$ the system spontaneously organizes into one of two regimes. Below a certain critical social temperature $T_c$, all agents in the society acquire personal traits (so called person state). Some of them become permanent conformists and others start to behave forever independently. This means that initially homogeneous population becomes heterogeneous, and agents respond differently to social influence. For $T>T_c$, all agents with equal probabilities behave independently or conform to peer pressure (so called situation state). This regime change between person and situation state, which reminds the idea of an annealed vs. quenched disorder, affects also public opinion. Particularly interesting results are obtained for individualistic societies, in which public opinion is non-monotonic function of $T$, which means that there is an optimal social temperature for which an agreement in the society is the highest.


title: Mapping the Complete Reaction Path of a Complex Photochemical Reaction

abstract: We probe the dynamics of dissociating CS$_2$ molecules across the entire reaction pathway upon excitation. Photoelectron spectroscopy measurements using laboratory-generated femtosecond extreme ultraviolet pulses monitor the competing dissociation, internal conversion, and intersystem crossing dynamics. Dissociation occurs either in the initially excited singlet manifold or, via intersystem crossing, in the triplet manifold. Both product channels are monitored and show that, despite being more rapid, the singlet dissociation is the minor product and that triplet state products dominate the final yield. We explain this by a consideration of accurate potential energy curves for both the singlet and triplet states. We propose that rapid internal conversion stabilizes the singlet population dynamically, allowing for singlet-triplet relaxation via intersystem crossing and the efficient formation of spin-forbidden dissociation products on longer timescales. The study demonstrates the importance of measuring the full reaction pathway for defining accurate reaction mechanisms.


title: Algorithms for finding global and local equilibrium points of Nash-Cournot equilibrium models involving concave cost

abstract: We consider Nash-Cournot oligopolistic equilibrium models involving separable concave cost functions. In contrast to the models with linear and convex cost functions, in these models a local equilibrium point may not be a global one. We propose algorithms for finding global and local equilibrium points for the models having separable concave cost functions. The proposed algorithms use the convex envelope of a separable concave cost function over boxes to approximate a concave cost model with an affine cost one. The latter is equivalent to a strongly convex quadratic program that can be solved efficiently. To obtain better approximate solutions the algorithms use an adaptive rectangular bisection which is performed only in the space of concave variables Computational results on a lot number of randomly generated data show that the proposed algorithm for global equilibrium point are efficient for the models with moderate number of concave cost functions while the algorithm for local equilibrium point can solve efficiently the models with much larger size.


title: Relationship between crystal structure and multiferroic orders in orthorhombic perovskite manganites

abstract: We use resonant and non-resonant X-ray diffraction measurements in combination with first-principles electronic structure calculations and Monte Carlo simulations to study the relationship between crystal structure and multiferroic orders in the orthorhombic perovskite manganites, o-$R$MnO$_3$ ($R$ is a rare-earth cation or Y). In particular, we focus on how the internal lattice parameters (Mn-O bond lengths and Mn-O-Mn bond angles) evolve under chemical pressure and epitaxial strain, and the effect of these structural variations on the microscopic exchange interactions and long-range magnetic order. We show that chemical pressure and epitaxial strain are accommodated differently by the crystal lattice of o-$R$MnO$_3$, which is key for understanding the difference in magnetic properties between bulk samples and strained films. Finally, we discuss the effects of these differences in the magnetism on the electric polarization in o-$R$MnO$_3$.


title: An Interval Type-2 Fuzzy Approach to Automatic PDF Generation for Histogram Specification

abstract: Image enhancement plays an important role in several application in the field of computer vision and image processing. Histogram specification (HS) is one of the most widely used techniques for contrast enhancement of an image, which requires an appropriate probability density function for the transformation. In this paper, we propose a fuzzy method to find a suitable PDF automatically for histogram specification using interval type - 2 (IT2) fuzzy approach, based on the fuzzy membership values obtained from the histogram of input image. The proposed algorithm works in 5 stages which includes - symmetric Gaussian fitting on the histogram, extraction of IT2 fuzzy membership functions (MFs) and therefore, footprint of uncertainty (FOU), obtaining membership value (MV), generating PDF and application of HS. We have proposed 4 different methods to find membership values - point-wise method, center of weight method, area method, and karnik-mendel (KM) method. The framework is sensitive to local variations in the histogram and chooses the best PDF so as to improve contrast enhancement. Experimental validity of the methods used is illustrated by qualitative and quantitative analysis on several images using the image quality index - Average Information Content (AIC) or Entropy, and by comparison with the commonly used algorithms such as Histogram Equalization (HE), Recursive Mean-Separate Histogram Equalization (RMSHE) and Brightness Preserving Fuzzy Histogram Equalization (BPFHE). It has been found out that on an average, our algorithm improves the AIC index by 11.5% as compared to the index obtained by histogram equalisation.


title: Universal driven critical dynamics across a quantum phase transition in ferromagnetic spinor atomic Bose-Einstein condensates

abstract: We study the equilibrium and dynamical properties of a ferromagnetic spinor atomic Bose-Einstein condensate. In the vicinity of the critical point for a continuous quantum phase transition, universal behaviors are observed both in the equilibrium state and in the dynamics when the quadratic Zeeman shift is swept linearly. Three distinct dynamical regions are identified for different sweeping time scales ($\tau$), when compared to the time scale $\tau_{\rm KZ}\sim N^{(1+\nu z)/\nu d}$ decided by external driving in a system with finite size $N$ ($\nu,z$ are critical exponents and $d$ the dimensionality). They are manifested by the excitation probability $\mathcal{P}$ and the excess heat density $\mathcal{Q}$. The adiabatic region of $\,\mathcal{P}\sim\mathcal{Q}\sim\tau^{-2}\,$ follows from the adiabatic perturbation theory when $\tau >\tau_{\rm KZ}$, while the non-adiabatic universal region of $\,\mathcal{P}\sim\mathcal{Q}\sim\tau^{-1}\,$ in the thermodynamic limit is described by the Kibble-Zurek mechanism when $\tau_{\rm KZ}>\tau >$ the time scale given by initial gap. The Kibble-Zurek scaling hypothesis is augmented with finite-size scaling in the latter region and several experimentally falsifiable features for the finite system we consider are predicted. The region of the fastest sweeping is found to be non-universal and far-from-equilibrium with $\mathcal{P}$ and $\mathcal{Q}$ essentially being constants independent of $\tau$.


title: ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity

abstract: We present a new graphical calculus that is sound and complete for a universal family of quantum circuits, which can be seen as the natural string-diagrammatic extension of the approximately (real-valued) universal family of Hadamard+CCZ circuits. The diagrammatic language is generated by two kinds of nodes: the so-called 'spider' associated with the computational basis, as well as a new arity-N generalisation of the Hadamard gate, which satisfies a variation of the spider fusion law. Unlike previous graphical calculi, this admits compact encodings of non-linear classical functions. For example, the AND gate can be depicted as a diagram of just 2 generators, compared to ~25 in the ZX-calculus. Consequently, N-controlled gates, hypergraph states, Hadamard+Toffoli circuits, and diagonal circuits at arbitrary levels of the Clifford hierarchy also enjoy encodings with low constant overhead. This suggests that this calculus will be significantly more convenient for reasoning about the interplay between classical non-linear behaviour (e.g. in an oracle) and purely quantum operations. After presenting the calculus, we will prove it is sound and complete for universal quantum computation by demonstrating the reduction of any diagram to an easily describable normal form.


title: Predicting clinical significance of BRCA1 and BRCA2 single nucleotide substitution variants with unknown clinical significance using probabilistic neural network and deep neural network-stacked autoencoder

abstract: Non-synonymous single nucleotide polymorphisms (nsSNPs) are single nucleotide substitution occurring in the coding region of a gene and leads to a change in amino-acid sequence of protein. The studies have shown these variations may be associated with disease. Thus, investigating the effects of nsSNPs on protein function will give a greater insight on how nsSNPs can lead into disease. Breast cancer is the most common cancer among women causing highest cancer death every year. BRCA1 and BRCA2 tumor suppressor genes are two main candidates of which, mutations in them can increase the risk of developing breast cancer. For prediction and detection of the cancer one can use experimental or computational methods, but the experimental method is very costly and time consuming in comparison with the computational method. The computer and computational methods have been used for more than 30 years. Here we try to predict the clinical significance of BRCA1 and BRCA2 nsSNPs as well as the unknown clinical significances. Nearly 500 BRCA1 and BRCA2 nsSNPs with known clinical significances retrieved from NCBI database. Based on hydrophobicity or hydrophilicity and their role in proteins' second structure, they are divided into 6 groups, each assigned with scores. The data are prepared in the acceptable form to the automated prediction mechanisms, Probabilistic Neural Network (PNN) and Deep Neural NetworkStacked AutoEncoder (DNN). With Jackknife cross validation we show that the prediction accuracy achieved for BRCA1 and BRCA2 using PNN are 87.97% and 82.17% respectively, while 95.41% and 92.80% accuracies achieved using DNN. The total required processing time for the training and testing the PNN is 0.9 second and DNN requires about 7 hours of training and it can predict instantly. both methods show great improvement in accuracy and speed compared to previous attempts.


title: On the Haagerup and Kazhdan properties of R. Thompson's groups

abstract: A machine developed by the second author produces a rich family of unitary representations of the Thompson groups F,T and V. We use it to give direct proofs of two previously known results. First, we exhibit a unitary representation of V that has an almost invariant vector but no nonzero [F,F]-invariant vectors reproving, at least for T, Reznikov's result that any intermediate subgroup between the commutator subgroup of F and V does not have Kazhdan's property (T). Second, we construct a one parameter family interpolating between the trivial and the left regular representations of V. We exhibit a net of coefficients for those representations which vanish at infinity on T and converge to 1 thus reproving Farley's result that T has the Haagerup property.


title: Potential Theory on Gromov Hyperbolic Manifolds of Bounded Geometry

abstract: In the 1980s Alano Ancona developed a profound potential theory on Gromov hyperbolic manifolds of bounded geometry. Since then, such hyperbolic spaces have become basic in geometry, topology and group theory. In this paper we make Ancona's original work, addressed to a rather advanced audience, approachable for a wider readership without firm background in potential theory. We streamline the arguments to make the results depend only on coarse geometro-analytic invariants and we derive useful details not found in the original sources. We explain remarkable relations of these results to recent developments in the potential theory and quasi-conformal geometry of Euclidean domains.


title: Hamiltonian structure of bi-gravity, problem of ghost and bifurcation

abstract: We analyze the Hamiltonian structure of a general theory of bi-gravity where the interaction term is a scalar function of the form $ V(\mathcal{X}^{n}) $ where $ \mathcal{X} $ may be $\sqrt{g^{-1}f} $ or $ g^{-1}f $. We give necessary conditions for the interaction term of such a theory to be ghost free. We give a precise constraint analysis of the bi-gravity theory of Hassan- Rosen and show that the additional constraint which omit the ghost is just one possibility at the bifurcation point.


title: Hyperbolic Unfoldings of Minimal Hypersurfaces

abstract: We study the intrinsic geometry of area minimizing (and also of almost minimizing) hypersurfaces from a new point of view by relating this subject to quasiconformal geometry. For any such hypersurface we define and construct a so-called S-structure which reveals some unexpected geometric and analytic properties of the hypersurface and its singularity set. In this paper, this is used to prove the existence of hyperbolic unfoldings: canonical conformal deformations of the regular part of these hypersurfaces into complete Gromov hyperbolic spaces of bounded geometry with Gromov boundary homeomorphic to the singular set.


title: Context Spaces as the Cornerstone of a Near-Transparent & Self-Reorganizing Semantic Desktop

abstract: Existing Semantic Desktops are still reproached for being too complicated to use or not scaling well. Besides, a real "killer app" is still missing. In this paper, we present a new prototype inspired by NEPOMUK and its successors having a semantic graph and ontologies as its basis. In addition, we introduce the idea of context spaces that users can directly interact with and work on. To make them available in all applications without further ado, the system is transparently integrated using mostly standard protocols complemented by a sidebar for advanced features. By exploiting collected context information and applying Managed Forgetting features (like hiding, condensation or deletion), the system is able to dynamically reorganize itself, which also includes a kind of tidy-up-itself functionality. We therefore expect it to be more scalable while providing new levels of user support. An early prototype has been implemented and is presented in this demo.


title: Distributed Joint Offloading Decision and Resource Allocation for Multi-User Mobile Edge Computing: A Game Theory Approach

abstract: Due to the spectrum reuse in small cell network, the inter-cell interference has great effect on MEC's performance. In this paper, for reducing the energy consumption and latency of MEC, we propose a game theory based jointing offloading decision and resource allocation algorithm for multi-user MEC. In this algorithm, the transmission power, offloading decision, and mobile user's CPU capability are determined jointly. We prove that this game is an exact potential game and the NE of this game exists and is unique. For reaching the NE, the best response dynamic is applied. We calculate the best responses of these three variables. Moreover, we investigate the properties of this algorithm, including the convergence, the computation complexity, and the price of anarchy. The theoretical analysis shows that the inter-cell interference has great effect on the performance of MEC. The NE of this game is Pareto efficiency and also the global optimal solution of the proposed optimal issue. Finally, we evaluate the performance of this algorithm by simulation. The simulation results illustrates that this algorithm is effective on improving the performance of the multi-user MEC system.


title: On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier

abstract: In 2005 Kumar studied the Restricted Disjunctive Temporal Problem (RDTP), a restricted but very expressive class of disjunctive temporal problems (DTPs). It was shown that that RDTPs are solvable in deterministic strongly-polynomial time by reducing them to the Connected Row-Convex (CRC) constraints problem; plus, Kumar devised a randomized algorithm whose expected running time is less than that of the deterministic one. Instead, the most general form of DTPs allows for multi-variable disjunctions of many interval constraints and it is NP-complete. This work offers a deeper comprehension on the tractability of RDTPs, leading to an elementary deterministic strongly-polynomial time algorithm for them, significantly improving the asymptotic running times of both the deterministic and randomized algorithms of Kumar. The result is obtained by reducing RDTPs to the Single-Source Shortest-Paths (SSSP) and the 2-SAT problem (jointly), instead of reducing to CRCs. In passing, we obtain a faster (quadratic-time) algorithm for RDTPs having only Type-1 and Type-2 constraints (and no Type-3 constraint). As a second main contribution, we study the tractability frontier of solving RDTPs by considering Hyper Temporal Networks (\HTNs), a strict generalization of \STNs grounded on hypergraphs: on one side, we prove that solving temporal problems having only Type-2 constraints and either only multi-tail or only multi-head hyperarc constraints lies in both NP and co-NP and it admits deterministic pseudo-polynomial time algorithms; on the other side, solving problems with Type-3 constraints and either only multi-tail or only multi-head hyperarc constraints turns strongly NP-complete.


title: Modeling Multidimensional User Relevance in IR using Vector Spaces

abstract: It has been shown that relevance judgment of documents is influenced by multiple factors beyond topicality. Some multidimensional user relevance models (MURM) proposed in literature have investigated the impact of different dimensions of relevance on user judgment. Our hypothesis is that a user might give more importance to certain relevance dimensions in a session which might change dynamically as the session progresses. This motivates the need to capture the weights of different relevance dimensions using feedback and build a model to rank documents for subsequent queries according to these weights. We propose a geometric model inspired by the mathematical framework of Quantum theory to capture the user's importance given to each dimension of relevance and test our hypothesis on data from a web search engine and TREC Session track.


title: Equation of state for all regimes of a fluid: from gas to liquid

abstract: The study of Mayer's cluster expansion (CE) for the partition function demonstrates a possible way to resolve the problem of the CE non-physical behavior at condensed states of fluids. In particular, a general equation of state is derived for finite closed systems of interacting particles, where the pressure is expressed directly in terms of the density (or system volume) and temperature-volume dependent reducible cluster integrals. Although its accuracy is now greatly affected by the limited character of the existing data on the reducible cluster integrals and, especially, the absence of any information on their density dependence, a number of simple approximations indicate the qualitative adequacy of this equation in various regimes of a fluid: from gaseous to liquid states (including the transition region).


title: Enhanced Fritz John Stationarity, New Constraint Qualifications and Local Error Bound for Mathematical Programs with Vanishing Constraints

abstract: In this paper, we study the difficult class of optimization problems called the mathematical programs with vanishing constraints or MPVC. Extensive research has been done for MPVC regarding stationary conditions and constraint qualifications using geometric approaches. We use the Fritz John approach for MPVC to derive the M-stationary conditions under weak constraint qualifications. An enhanced Fritz John type stationary condition is also derived for MPVC, which provides the notion of enhanced M-stationarity under a new and weaker constraint qualification: MPVC-generalized quasinormality. We show that this new constraint qualification is even weaker than MPVC-CPLD. A local error bound result is also established under MPVC-generalized quasinormality.


title: A strange dwarf scenario for the formation of the peculiar double white dwarf binary SDSS J125733.63+542850.5

abstract: The Hubble Space Telescope observation of the double white dwarf (WD) binary SDSS J125733.63$+$542850.5 reveal that the massive WD has a surface gravity log$g_1\sim8.7$ (which implies a mass of $M_1\sim1.06~{\rm M_\odot}$) and an effective temperature $T_1\sim13000$ K, while the effective temperature of the low-mass WD ($M_2<0.24$ {\rm M$_\odot$}) is $T_2\sim6400K$. Therefore, the massive and the low-mass WDs have a cooling age $\tau_1\sim1$ {\rm Gyr} and $\tau_2\geq5$ {\rm Gyr}, respectively. This is in contradiction with traditional binary evolution theory. In this Letter, we propose a strange dwarf scenario to explain the formation of this double WD binary. We assume that the massive WD is a strange dwarf originating from a phase transition in a $\sim1.1$ M$_\odot$ WD, which has experienced accretion and spin-down processes. Its high effective temperature could arise from the heating process during the phase transition. Our simulations suggest that the progenitor of SDSS J125733.63$+$542850.5 can be a binary system consisting of a $0.65~\rm M_{\odot}$ WD and a $1.5~\rm M_{\odot}$ main sequence star in a 1.492 day orbit. Especially, the secondary star (i.e., the progenitor of the low mass WD) is likely to have an ultra-low metallicity of $Z=0.0001$.


title: The Type IIn Supernova 2010bt: The Explosion of a Star in Outburst

abstract: It is well known that massive stars (M > 8 M_sun) evolve up to the collapse of the stellar core, resulting in most cases as a supernova (SN) explosion. Their heterogeneity is related mainly to different configurations of the progenitor star at the moment of the explosion, and to their immediate environments. We present photometry and spectroscopy of SN 2010bt, which was classified as a Type IIn SN from a spectrum obtained soon after discovery and was observed extensively for about two months. After the seasonal interruption owing to its proximity to the Sun, the SN was below the detection threshold, indicative of a rapid luminosity decline. We can identify the likely progenitor with a very luminous star (log L/L_sun ~ 7) through comparison of Hubble Space Telescope images of the host galaxy prior to explosion with those of the SN obtained after maximum light. Such a luminosity is not expected for a quiescent star, but rather for a massive star in an active phase. This progenitor candidate was later confirmed via images taken in 2015 (~ 5 yr post-discovery), in which no bright point source was detected at the SN position. Given these results and the SN behavior, we conclude that SN 2010bt was likely a Type IIn SN and that its progenitor was a massive star that experienced an outburst shortly before the final explosion, leading to a dense H-rich circumstellar environment around the SN progenitor.


title: Multivariate Alexander colorings

abstract: We extend the notion of link colorings with values in an Alexander quandle to link colorings with values in a module $M$ over the Laurent polynomial ring $\Lambda_{\mu}=\mathbb{Z}[t_1^{\pm1},\dots,t_{\mu}^{\pm1}]$. If $D$ is a diagram of a link $L$ with $\mu$ components, then the colorings of $D$ with values in $M$ form a $\Lambda_{\mu}$-module $\mathrm{Color}_A(D,M)$. Extending a result of Inoue [Kodai Math.\ J.\ 33 (2010), 116-122], we show that $\mathrm{Color}_A(D,M)$ is isomorphic to the module of $\Lambda_{\mu}$-linear maps from the Alexander module of $L$ to $M$. In particular, suppose $M$ is a field and $\varphi:\Lambda_{\mu} \to M$ is a homomorphism of rings with unity. Then $\varphi$ defines a $\Lambda_{\mu}$-module structure on $M$, which we denote $M_\varphi$. We show that the dimension of $\mathrm{Color}_A(D,M_\varphi)$ as a vector space over $M$ is determined by the images under $\varphi$ of the elementary ideals of $L$. This result applies in the special case of Fox tricolorings, which correspond to $M=GF(3)$ and $\varphi(t_i) \equiv-1$. Examples show that even in this special case, the higher Alexander polynomials do not suffice to determine $|\mathrm{Color}_A(D,M_\varphi)|$; this observation corrects erroneous statements of Inoue [J. Knot Theory Ramifications 10 (2001), 813-821; op. cit.].


title: Stationary and oscillatory bound states of dissipative solitons created by the third-order dispersion

abstract: We consider the model of fiber-laser cavities near the zero-dispersion point, based on the complex Ginzburg-Landau equation with the cubic-quintic nonlinearity, including the third-order dispersion (TOD) term. It is well known that this model supports stable dissipative solitons. We demonstrate that the same model gives rise to several families of robust bound states of the solitons, which exists only in the presence of the TOD. There are both stationary and dynamical bound states, with oscillating separation between the bound solitons. Stationary states are multistable, corresponding to different values of the separation. With the increase of the TOD coefficient, the bound state with the smallest separation gives rise the oscillatory state through the Hopf bifurcation. Further growth of TOD leads to a bifurcation transforming the oscillatory limit cycle into a strange attractor, which represents a chaotically oscillating dynamical bound state. Families of multistable three- and four-soliton complexes are found too, the ones with the smallest separation between the solitons again ending by a transition to oscillatory states through the Hopf bifurcation.


title: The influence of femtosecond laser wavelength on waveguide fabrication inside fused silica

abstract: We have investigated the effect of the laser wavelength on the fabrication of optical waveguides and tracks of modified material via direct laser writing inside fused silica. The size of the laserinscribed tracks, the material modification thresholds, the structural changes, and the waveguide writing energy range show a strong dependence on laser wavelengths ranging from ultraviolet to near-infrared. We used numerical simulations that consider the laser-excited electron plasma dynamics (via multiple rate equations) along with Gaussian beams theory to calculate the size of the laser-affected volume that has been further compared with the experimental results. This study yields insight into how to predict and design the spatial features of laser-inscribed lines and also aids of understanding the underlying physical mechanisms linked to laser-glass interaction when using different laser wavelengths.


title: Simple Games versus Weighted Voting Games

abstract: A simple game $(N,v)$ is given by a set $N$ of $n$ players and a partition of $2^N$ into a set $\mathcal{L}$ of losing coalitions $L$ with value $v(L)=0$ that is closed under taking subsets and a set $\mathcal{W}$ of winning coalitions $W$ with $v(W)=1$. Simple games with $\alpha= \min_{p\geq 0}\max_{W\in {\cal W},L\in {\cal L}} \frac{p(L)}{p(W)}<1$ are known as weighted voting games. Freixas and Kurz (IJGT, 2014) conjectured that $\alpha\leq \frac{1}{4}n$ for every simple game $(N,v)$. We confirm this conjecture for two complementary cases, namely when all minimal winning coalitions have size $3$ and when no minimal winning coalition has size $3$. As a general bound we prove that $\alpha\leq \frac{2}{7}n$ for every simple game $(N,v)$. For complete simple games, Freixas and Kurz conjectured that $\alpha=O(\sqrt{n})$. We prove this conjecture up to a $\ln n$ factor. We also prove that for graphic simple games, that is, simple games in which every minimal winning coalition has size 2, computing $\alpha$ is \NP-hard, but polynomial-time solvable if the underlying graph is bipartite. Moreover, we show that for every graphic simple game, deciding if $\alpha<a$ is polynomial-time solvable for every fixed $a>0$.


title: Terahertz spectroscopy for all-optical spintronic characterization of the spin-Hall-effect metals Pt, W and Cu$_{80}$Ir$_{20}$

abstract: Identifying materials with an efficient spin-to-charge conversion is crucial for future spintronic applications. The spin Hall effect is a central mechanism as it allows for the interconversion of spin and charge currents. Spintronic material research aims at maximizing its efficiency, quantified by the spin Hall angle $\Theta_{\textrm{SH}}$ and the spin-current relaxation length $\lambda_{\textrm{rel}}$. We develop an all-optical method with large sample throughput that allows us to extract $\Theta_{\textrm{SH}}$ and $\lambda_{\textrm{rel}}$. Employing terahertz spectroscopy, we characterize magnetic metallic heterostructures involving Pt, W and Cu$_{80}$Ir$_{20}$ in terms of their optical and spintronic properties. We furthermore find indications that the interface plays a minor role for the spin-current transmission. Our analytical model is validated by the good agreement with literature DC values. These findings establish terahertz emission spectroscopy as a reliable tool complementing the spintronics workbench.


title: The properties of the quasars astrometric solution in Gaia DR2

abstract: Gaia data release 2 (DR2) provides the best non-rotating optical frame aligned with the radio frame (ICRF) thanks to the inclusion of about half-million quasars in the 5-parameter astrometric solution. Given their crucial diagnostic role for characterizing the properties of the celestial reference frame, we aim to make an independent assessment of the astrometry of quasars in DR2. We cross-match with Gaia DR2 the quasars from LQAC3, SDSS and LAMOST, obtaining 208743 new sources (denominated as KQCG). With the quasars already identified in DR2, we estimate the global offsets of parallaxes and proper motions of different quasar subsets to check their astrometric consistency. The features of the proper motion field are analyzed by means of vectorial spherical harmonics (VSH); the scalar field of parallaxes is expanded into spherical harmonics to investigate their spatial correlation. We find a bias of $\sim$ $-0.030$ $mas$ in KQCG parallaxes, and a bias of $-9.1$ $\mu as/yr$ in $\mu_{\alpha\ast}$; a $\sim$ +10 $\mu as/yr$ bias in $\mu_{\delta}$ consistently found in the entire quasar sample. The results of the VSH analysis on different subsets indicate good agreement between them. The proper motion field exhibits a ((-6,-5,-5) $\pm$ 1) $\mu as/yr$ rotation in the northern hemisphere and a rotation of ((0,+1,+3) $\pm$ 1 ) $\mu as /yr$ in the southern one. The spherical harmonics expansion of the parallax field reveals an angular scale of systematics of $\approx$ 18 degrees with a RMS amplitude of 13 $\mu$as. The positional comparison shows that the axes of the current Gaia Celestial Reference Frame and the ICRF2 are aligned within 30 $\mu$as.


title: Mixed type Hermite-Pad\'e approximation inspired by the Degasperis-Procesi equation

abstract: In this work we present new results on the convergence of diagonal sequences of certain mixed type Hermite-Pad\'e approximants of a Nikishin system. The study is motivated by a mixed Hermite-Pad\'e approximation scheme used in the construction of solutions of a Degasperis-Procesi peakon problem and germane to the analysis of the inverse spectral problem for the discrete cubic string.


title: Geometry of symplectic log Calabi-Yau pairs

abstract: We will survey some aspects of the smooth topology, algebraic geometry, symplectic geometry and contact geometry of anti-canonical pairs in complex dimension two.


title: On the $q$-TASEP with a random initial condition

abstract: When studying fluctuations of models in the 1D KPZ class including the ASEP and the $q$-TASEP, a standard approach has been to first write down a formula for $q$-deformed moments and constitute their generating function. This works well for the step initial condition, but there is a difficulty for a random initial condition (including the stationary case): in this case only the first few moments are finite and the rest diverge. In a previous work [16], we presented a method dealing directly with the $q$-deformed Laplace transform of an observable, in which the above difficulty does not appear. There the Ramanujan's summation formula and the Cauchy determinant for the theta functions play an important role. In this note, we give an alternative approach for the $q$-TASEP without using them.


title: Some New Results on Proper Colouring of Edge-set Graphs

abstract: In this paper, we present a foundation study for proper colouring of edge-set graphs. The authors consider that a detailed study of the colouring of edge-set graphs corresponding to the family of paths is best suitable for such foundation study. The main result is deriving the chromatic number of the edge-set graph of a path, $P_{n+1}$, $n \geq 1$. It is also shown that edge-set graphs for paths are perfect graphs.


title: Asynchronous Multiple Access in Optical Wireless Scattering Communication: Achievable Transmission Rates and Receiver Design

abstract: We investigate the asynchronous multiple user access communication in optical wireless scattering communication, where different users transmit signals without perfect alignment in the time domain. Firstly, we characterize the received signal based on hidden markov model (HMM) such that the misalignment among different users can be characterized by the state transition. Then, we investigate the achievable rates based on that of the HMM and obtain the approximated solution using Monte Carlo method. We propose the channel estimation based on expectation-maximization (EM) algorithm. Furthermore, we adopt Viterbi and Bahl-Cocke-Jelinek-Raviv (BCJR) algorithms for joint iterative multi-user decoding. Numerical and experimental results illustrate the performance of proposed channel estimation, joint detection and decoding. It is seen from the experimental results that the proposed approaches perform close to the simulation results.


title: Wormhole: A Fast Ordered Index for In-memory Data Management

abstract: In-memory data management systems, such as key-value stores, have become an essential infrastructure in today's big-data processing and cloud computing. They rely on efficient index structures to access data. While unordered indexes, such as hash tables, can perform point search with O(1) time, they cannot be used in many scenarios where range queries must be supported. Many ordered indexes, such as B+ tree and skip list, have a O(log N) lookup cost, where N is number of keys in an index. For an ordered index hosting billions of keys, it may take more than 30 key-comparisons in a lookup, which is an order of magnitude more expensive than that on a hash table. With availability of large memory and fast network in today's data centers, this O(log N) time is taking a heavy toll on applications that rely on ordered indexes. In this paper we introduce a new ordered index structure, named Wormhole, that takes O(log L) worst-case time for looking up a key with a length of L. The low cost is achieved by simultaneously leveraging strengths of three indexing structures, namely hash table, prefix tree, and B+ tree, to orchestrate a single fast ordered index. Wormhole's range operations can be performed by a linear scan of a list after an initial lookup. This improvement of access efficiency does not come at a price of compromised space efficiency. Instead, Wormhole's index space is comparable to those of B+ tree and skip list. Experiment results show that Wormhole outperforms skip list, B+ tree, ART, and Masstree by up to 8.4x, 4.9x, 4.3x, and 6.6x in terms of key lookup throughput, respectively.


title: RealCertify: a Maple package for certifying non-negativity

abstract: Let $\mathbb{Q}$ (resp. $\mathbb{R}$) be the field of rational (resp. real) numbers and $X = (X_1, \ldots, X_n)$ be variables. Deciding the non-negativity of polynomials in $\mathbb{Q}[X]$ over $\mathbb{R}^n$ or over semi-algebraic domains defined by polynomial constraints in $\mathbb{Q}[X]$ is a classical algorithmic problem for symbolic computation. The Maple package \textsc{RealCertify} tackles this decision problem by computing sum of squares certificates of non-negativity for inputs where such certificates hold over the rational numbers. It can be applied to numerous problems coming from engineering sciences, program verification and cyber-physical systems. It is based on hybrid symbolic-numeric algorithms based on semi-definite programming.


title: A Trustworthy Electronic Voting System for Australian Federal Elections

abstract: The existing system for determining election results in Australia is, for the most part, secure, accurate and understandable by the average voter. This thesis explores the design of electronic voting systems designed to achieve these same goals, while also improving on the existing system in the areas of counting speed, accuracy, tamper resistance and accessibility. Electronic voting systems have seen limited use within Australian elections, most prominently for State Elections in Victoria (2014), New South Wales (2015) and Western Australia (2017), along with trials of electronic voting systems in federal elections in 2007. This thesis presents an analysis of the iVote electronic voting system used for the 2017 Western Australian State Election (iVote WA), outlining a number of security risks introduced by the use of cloud-based distributed denial of service mitigation. In addition, this thesis presents the results of a cross-sectional survey of Australian voters regarding levels of trust for three voting systems: the existing paper-based system used for Australian federal elections, the iVote WA system, and the vVote system used for the 2014 Victorian State Election. The analysis of iVote, combined with the survey results, are used to inform a recommendation for future research and public policy regarding the use of electronic voting systems in Australian federal elections.


title: Dynamic and Static Topic Model for Analyzing Time-Series Document Collections

abstract: For extracting meaningful topics from texts, their structures should be considered properly. In this paper, we aim to analyze structured time-series documents such as a collection of news articles and a series of scientific papers, wherein topics evolve along time depending on multiple topics in the past and are also related to each other at each time. To this end, we propose a dynamic and static topic model, which simultaneously considers the dynamic structures of the temporal topic evolution and the static structures of the topic hierarchy at each time. We show the results of experiments on collections of scientific papers, in which the proposed method outperformed conventional models. Moreover, we show an example of extracted topic structures, which we found helpful for analyzing research activities.


title: On the second rigidity theorem of Huneke and Wiegand

abstract: In 2007 Huneke and Wiegand announced in an erratum that one of the conclusions of their depth formula theorem is flawed due to an incorrect convention for the depth of the zero module. Since then, the deleted claim has remained unresolved. In this paper we give examples to prove that the deleted claim is false, in general. Moreover, we point out several places in the literature which relied upon this deleted claim or the initial argument from 2007.


title: Correlation Heuristics for Constraint Programming

abstract: Effective general-purpose search strategies are an important component in Constraint Programming. We introduce a new idea, namely, using correlations between variables to guide search. Variable correlations are measured and maintained by using domain changes during constraint propagation. We propose two variable heuristics based on the correlation matrix, crbs-sum and crbs-max. We evaluate our correlation heuristics with well known heuristics, namely, dom/wdeg, impact-based search and activity-based search. Experiments on a large set of benchmarks show that our correlation heuristics are competitive with the other heuristics, and can be the fastest on many series.


title: Distributed Monitoring of Election Winners

abstract: We consider distributed elections, where there is a center and $k$ sites. In such distributed elections, each voter has preferences over some set of candidates, and each voter is assigned to exactly one site such that each site is aware only of the voters assigned to it. The center is able to directly communicate with all sites. We are interested in designing communication-efficient protocols, allowing the center to maintain a candidate which, with arbitrarily high probability, is guaranteed to be a winner, or at least close to being a winner. We consider various single-winner voting rules, such as variants of Approval voting and scoring rules, tournament-based voting rules, and several round-based voting rules. For the voting rules we consider, we show that, using communication which is logarithmic in the number of voters, it is possible for the center to maintain such approximate winners; that is, upon a query at any time the center can immediately return a candidate which is guaranteed to be an approximate winner with high probability. We complement our protocols with lower bounds. Our results are theoretical in nature and relate to various scenarios, such as aggregating customer preferences in online shopping websites or supermarket chains and collecting votes from different polling stations of political elections.


title: Beamforming Design for Max-Min Fair SWIPT in Green Cloud-RAN with Wireless Fronthaul

abstract: In this paper, a joint beamforming design for max-min fair simultaneous wireless information and power transfer (SWIPT) is investigated in a green cloud radio access network (Cloud-RAN) with millimeter wave (mmWave) wireless fronthaul. To achieve a balanced user experience for separately located data receivers (DRs) and energy receivers (ERs) in the network, joint transmit beamforming vectors are optimized to maximize the minimum data rate among all the DRs, while satisfying each ER with sufficient RF energy at the same time. Then, a two-step iterative algorithm is proposed to solve the original non-convex optimization problem with the fronthaul capacity constraint in an $l_0$-norm form. Specifically, the $l_0$-norm constraint can be approximated by the reweighted $l_1$-norm, from which the optimal max-min data rate and the corresponding joint beamforming vector can be derived via semidefinite relaxation (SDR) and bi-section search. Finally, extensive numerical simulations are performed to verify the superiority of the proposed joint beamforming design to other separate beamforming strategies.