title: Infinite towers in the graph of a dynamical system

abstract: Chaotic attractors, chaotic saddles and periodic orbits are examples of chain-recurrent sets. Using arbitrary small controls, a trajectory starting from any point in a chain-recurrent set can be steered to any other in that set. The qualitative behavior of a dynamical system can be encapsulated in a graph. Its nodes are chain-recurrent sets. There is an edge from node A to node B if, using arbitrary small controls, a trajectory starting from any point of A can be steered to any point of B. We discuss physical systems that have infinitely many disjoint coexisting nodes. Such infinite collections can occur for many carefully chosen parameter values. The logistic map is such a system, as we showed in arXiv:2008.08338. To illustrate these very common phenomena, we compare the Lorenz system and the logistic map and we show how extremely similar their bifurcation diagrams are in some parameter ranges.


title: Quantifying Spatial Homogeneity of Urban Road Networks via Graph Neural Networks

abstract: Quantifying the topological similarities of different parts of urban road networks (URNs) enables us to understand the urban growth patterns. While conventional statistics provide useful information about characteristics of either a single node's direct neighbors or the entire network, such metrics fail to measure the similarities of subnetworks considering local indirect neighborhood relationships. In this study, we propose a graph-based machine-learning method to quantify the spatial homogeneity of subnetworks. We apply the method to 11,790 urban road networks across 30 cities worldwide to measure the spatial homogeneity of road networks within each city and across different cities. We find that intra-city spatial homogeneity is highly associated with socioeconomic statuses such as GDP and population growth. Moreover, inter-city spatial homogeneity obtained by transferring the model across different cities, reveals the inter-city similarity of urban network structures originating in Europe, passed on to cities in the US and Asia. Socioeconomic development and inter-city similarity revealed using our method can be leveraged to understand and transfer insights across cities. It also enables us to address urban policy challenges including network planning in rapidly urbanizing areas and combating regional inequality.


title: On the evaluation of two-loop electroweak box diagrams for $e^+e^- \to HZ$ production

abstract: Precision studies of the Higgs boson at future $e^+e^-$ colliders can help to shed light on fundamental questions related to electroweak symmetry breaking, baryogenesis, the hierarchy problem, and dark matter. The main production process, $e^+e^- \to HZ$, will need to be controlled with sub-percent precision, which requires the inclusion of next-to-next-to-leading order (NNLO) electroweak corrections. The most challenging class of diagrams are planar and non-planar double-box topologies with multiple massive propagators in the loops. This article proposes a technique for computing these diagrams numerically, by transforming one of the sub-loops through the use of Feynman parameters and a dispersion relation, while standard one-loop formulae can be used for the other sub-loop. This approach can be extended to deal with tensor integrals. The resulting numerical integrals can be evaluated in minutes on a single CPU core, to achieve about 0.1% relative precision.


title: Structural Motifs and Bonding in Two Families of Boron Structures Predicted at Megabar Pressures

abstract: The complex crystal chemistry of elemental boron has led to numerous proposed structures with distinctive motifs as well as contradictory findings. Herein, evolutionary structure searches performed at 100 GPa have uncovered a series of potential new metastable phases of boron, and bonding analyses were carried out to elucidate their electronic structure. These polymorphs, dynamically stable at 100 GPa, were grouped into two families. The first was derived from the thermodynamic minimum at these conditions, $\alpha$-Ga, whereas channels comprised the second. Two additional intergrowth structures were uncovered, and it was shown they could be constructed by stacking layers of $\alpha$-Ga-like and channel-like allotropes on top of each other. A detailed bonding analysis revealed networks of four-center $\sigma$-bonding functions linked by two-center B-B bonds in the $\alpha$-Ga based structures, and networks that were largely composed of three-center $\sigma$-bonding functions in the channel-based structures. Seven of these high pressure phases were found to be metastable at atmospheric conditions, and their Vickers hardnesses were estimated to be $\sim$36 GPa.


title: Privacy-preserving Travel Time Prediction with Uncertainty Using GPS Trace Data

abstract: The rapid growth of GPS technology and mobile devices has led to a massive accumulation of location data, bringing considerable benefits to individuals and society. One of the major usages of such data is travel time prediction, a typical service provided by GPS navigation devices and apps. Meanwhile, the constant collection and analysis of the individual location data also pose unprecedented privacy threats. We leverage the notion of geo-indistinguishability, an extension of differential privacy to the location privacy setting, and propose a procedure for privacy-preserving travel time prediction without collecting actual individual GPS trace data. We propose new concepts to examine the impact of geo-indistinguishability-based sanitization on the usefulness of GPS traces and provide analytical and experimental utility analysis for privacy-preserving travel time prediction. We also propose new metrics to measure the adversary error in learning individual GPS traces from the collected sanitized data. Our experiment results suggest that the proposed procedure provides travel time prediction with satisfactory accuracy at reasonably small privacy costs.


title: Disclosure Risk from Homogeneity Attack in Differentially Private Frequency Distribution

abstract: Differential privacy (DP) provides a robust model to achieve privacy guarantees for released information. We examine the protection potency of sanitized multi-dimensional frequency distributions via DP randomization mechanisms against homogeneity attack (HA). HA allows adversaries to obtain the exact values on sensitive attributes for their targets without having to identify them from the released data. We propose measures for disclosure risk from HA and derive closed-form relationships between the privacy loss parameters in DP and the disclosure risk from HA. The availability of the closed-form relationships assists understanding the abstract concepts of DP and privacy loss parameters by putting them in the context of a concrete privacy attack and offers a perspective for choosing privacy loss parameters when employing DP mechanisms in information sanitization and release in practice. We apply the closed-form mathematical relationships in real-life datasets to demonstrate the assessment of disclosure risk due to HA on differentially private sanitized frequency distributions at various privacy loss parameters.


title: Further improvements of generalized numerical radius inequalities for Hilbert space operators

abstract: Several new improvements of the $A$-numerical radius inequalities for operators acting on a semi-Hilbert space, i.e., a space generated by a positive operator $A$, are proved. In particular, among other inequalities, we show that \begin{align*} \frac{1}{4}\|T^{\sharp_A} T+TT^{\sharp_A}\|_A \leq\frac{1}{4}\Big(2\omega_A^2(T)+\gamma(T)\Big) \leq \omega_A^2(T), \end{align*} where $$\gamma(T)=\sqrt{\left(\|\Re_A(T)\|_A^2-\|\Im_A(T)\|_A^2\right)^2+4\|\Re_A(T)\Im_A(T)\|_A^2}.$$ Here $\omega_A(X)$ and $\|X\|_A$ denote respectively the $A$-numerical radius and the $A$-seminorm of an operator $X$. Also, $\Re_A(T):=\frac{T+T^{\sharp_A}}{2}$ and $\Im_A(T):=\frac{T-T^{\sharp_A}}{2i}$, where $T^{\sharp_A}$ is a distinguished $A$-adjoint operator of $T$. Further, some new refinements of the triangle inequality related to $\|\cdot\|_A$ are established.


title: Modelling cellular spreading and emergence of motility in the presence of curved membrane proteins and active cytoskeleton forces

abstract: Eukaryotic cells adhere to extracellular matrix during the normal development of the organism, forming static adhesion as well as during cell motility. We study this process by considering a simplified coarse-grained model of a vesicle that has uniform adhesion energy with a flat substrate, mobile curved membrane proteins and active forces. We find that a high concentration of curved proteins alone increases the spreading of the vesicle, by the self-organization of the curved proteins at the high curvature vesicle-substrate contact line, thereby reducing the bending energy penalty at the vesicle rim. This is most significant in the regime of low bare vesicle-substrate adhesion. When these curved proteins induce protrusive forces, representing the actin cytoskeleton, we find efficient spreading, in the form of sheet-like lamellipodia. Finally, the same mechanism of spreading is found to include a minimal set of ingredients needed to give rise to motile phenotypes.


title: SetSketch: Filling the Gap between MinHash and HyperLogLog

abstract: MinHash and HyperLogLog are sketching algorithms that have become indispensable for set summaries in big data applications. While HyperLogLog allows counting different elements with very little space, MinHash is suitable for the fast comparison of sets as it allows estimating the Jaccard similarity and other joint quantities. This work presents a new data structure called SetSketch that is able to continuously fill the gap between both use cases. Its commutative and idempotent insert operation and its mergeable state make it suitable for distributed environments. Fast, robust, and easy-to-implement estimators for cardinality and joint quantities, as well as the ability to use SetSketch for similarity search, enable versatile applications. The presented joint estimator can also be applied to other data structures such as MinHash, HyperLogLog, or HyperMinHash, where it even performs better than the corresponding state-of-the-art estimators in many cases.


title: A phase defect framework for the analysis of cardiac arrhythmia patterns

abstract: During cardiac arrhythmias, dynamical patterns of electrical activation form and evolve, which are of interest to understand and cure heart rhythm disorders. The analysis of these patterns is commonly performed by calculating the local activation phase and searching for phase singularities (PSs), i.e. points around which all phases are present. Here we propose an alternative framework, which focuses on phase defect lines (PDLs) and surfaces (PDSs) as more general mechanisms, which include PSs as a specific case. The proposed framework enables two conceptual unifications: between the local activation time and phase description, and between conduction block lines and the central regions of linear-core rotors. A simple PDL detection method is proposed and applied to data from simulations and optical mapping experiments. Our analysis of ventricular tachycardia in rabbit hearts $(n=6)$ shows that nearly all detected PSs were found on PDLs, but the PDLs had a significantly longer lifespan than the detected PSs. Since the proposed framework revisits basic building blocks of cardiac activation patterns, it can become a useful tool for further theory development and experimental analysis.


title: Energy-constrained Self-training for Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) aims to transfer the knowledge on a labeled source domain distribution to perform well on an unlabeled target domain. Recently, the deep self-training involves an iterative process of predicting on the target domain and then taking the confident predictions as hard pseudo-labels for retraining. However, the pseudo-labels are usually unreliable, and easily leading to deviated solutions with propagated errors. In this paper, we resort to the energy-based model and constrain the training of the unlabeled target sample with the energy function minimization objective. It can be applied as a simple additional regularization. In this framework, it is possible to gain the benefits of the energy-based model, while retaining strong discriminative performance following a plug-and-play fashion. We deliver extensive experiments on the most popular and large scale UDA benchmarks of image classification as well as semantic segmentation to demonstrate its generality and effectiveness.


title: Identity-aware Facial Expression Recognition in Compressed Video

abstract: This paper targets to explore the inter-subject variations eliminated facial expression representation in the compressed video domain. Most of the previous methods process the RGB images of a sequence, while the off-the-shelf and valuable expression-related muscle movement already embedded in the compression format. In the up to two orders of magnitude compressed domain, we can explicitly infer the expression from the residual frames and possible to extract identity factors from the I frame with a pre-trained face recognition network. By enforcing the marginal independent of them, the expression feature is expected to be purer for the expression and be robust to identity shifts. We do not need the identity label or multiple expression samples from the same person for identity elimination. Moreover, when the apex frame is annotated in the dataset, the complementary constraint can be further added to regularize the feature-level game. In testing, only the compressed residual frames are required to achieve expression prediction. Our solution can achieve comparable or better performance than the recent decoded image based methods on the typical FER benchmarks with about 3$\times$ faster inference with compressed data.


title: Subtype-aware Unsupervised Domain Adaptation for Medical Diagnosis

abstract: Recent advances in unsupervised domain adaptation (UDA) show that transferable prototypical learning presents a powerful means for class conditional alignment, which encourages the closeness of cross-domain class centroids. However, the cross-domain inner-class compactness and the underlying fine-grained subtype structure remained largely underexplored. In this work, we propose to adaptively carry out the fine-grained subtype-aware alignment by explicitly enforcing the class-wise separation and subtype-wise compactness with intermediate pseudo labels. Our key insight is that the unlabeled subtypes of a class can be divergent to one another with different conditional and label shifts, while inheriting the local proximity within a subtype. The cases of with or without the prior information on subtype numbers are investigated to discover the underlying subtype structure in an online fashion. The proposed subtype-aware dynamic UDA achieves promising results on medical diagnosis tasks.


title: On Spatial Conditioning of the Spectrum of Discrete Random Schr\"odinger Operators

abstract: Consider a random Schr\"odinger-type operator of the form $H:=-H_X+V+\xi$ acting on a general graph $\mathscr G=(\mathscr V,\mathscr E)$, where $H_X$ is the generator of a Markov process $X$ on $\mathscr G$, $V$ is a deterministic potential with sufficient growth (so that $H$ has a purely discrete spectrum), and $\xi$ is a random noise with at-most-exponential tails. We prove that $H$'s eigenvalue point process is number rigid in the sense of Ghosh and Peres (Duke Math. J. 166 (2017), no. 10, 1789--1858); that is, the number of eigenvalues in any bounded domain $B\subset\mathbb C$ is determined by the configuration of eigenvalues outside of $B$. Our general setting allows to treat cases where $X$ could be non-symmetric (hence $H$ is non-self-adjoint) and $\xi$ has long-range dependence. Our strategy of proof consists of controlling the variance of the trace of the semigroup $\mathrm e^{-t H}$ using the Feynman-Kac formula.


title: Nuclear charge densities in spherical and deformed nuclei: towards precise calculations of charge radii

abstract: Background: Precise measurements of atomic transitions affected by electron-nucleus hyperfine interactions offer sensitivity to explore basic properties of the atomic nucleus and study fundamental symmetries, including the search for new physics beyond the Standard Model of particle physics. Such measurements impose higher precision requirements on a theoretical description. Purpose: The nuclear charge density is composed of the proton point distribution folded with the nucleonic charge distributions. The latter induce subtle relativistic corrections due to the coupling of nucleon magnetic moments with the nuclear spin-orbit density. We assess the precision of nuclear charge density calculations by studying the behavior of relativistic corrections. Methods: The calculations are performed using Skyrme energy density functionals and density-dependent pairing force. We used the general expression for the spin-orbit form factor that is valid for spherical and deformed nuclei. Results: We studied the impact of various correction terms on the charge radii, fourth radial moments, diffraction radii, and surface thickness of spherical and deformed nuclei. The spin-orbit corrections to charge radial moments and surface thickness show strong shell fluctuations which impact high-precision predictions of isotopic shifts. Conclusions: To establish reliable constraints on the existence of new forces from isotope shift measurements,precise calculations of nuclear charge densities of deformed nuclei are needed. The proper inclusion of the spin-orbit charge density and other correction terms is essential when aiming at extraction of subtle effects which become particularly visible in isotopic trends.


title: A catastrophic charge density wave in BaFe$_2$Al$_9$

abstract: Charge density waves (CDW) are modulations of the electron density and the atomic lattice that develop in some crystalline materials at low temperature. We report an unusual example of a CDW in BaFe$_2$Al$_9$ below 100 K. In contrast to the canonical CDW phase transition, temperature dependent physical properties of single crystals reveal a first-order phase transition. This is accompanied by a discontinuous change in the size of the crystal lattice. In fact, this large strain has catastrophic consequences for the crystals causing them to physically shatter. Single crystal x-ray diffraction reveals super-lattice peaks in the low-temperature phase signaling the development of a CDW lattice modulation. No similar low-temperature transitions are observed in BaCo$_2$Al$_9$. Electronic structure calculations provide one hint to the different behavior of these two compounds; the d-orbital states in the Fe compound are not completely filled. Iron compounds are renowned for their magnetism and partly filled d-states play a key role. It is therefore surprising that BaFe$_2$Al$_9$ develops a structural modulation instead at low temperature instead of magnetic order.


title: Path-connectedness and topological closure of some sets related to the non-compact Stiefel manifold

abstract: If $H$ is a Hilbert space, the non-compact Stiefel manifold $St(n,H)$ consists of independent $n$-tuples in $H$. In this article, we contribute to the topological study of non-compact Stiefel manifolds, mainly by proving two results on the path-connectedness and topological closure of some sets related to the non-compact Stiefel manifold. In the first part, after introducing and proving an essential lemma, we prove that $\bigcap_{j \in J} \left( U(j) + St(n,H) \right)$ is path-connected by polygonal paths under a condition on the codimension of the span of the components of the translating $J$-family. Then, in the second part, we show that the topological closure of $St(n,H) \cap S$ contains all polynomial paths contained in $S$ and passing through a point in $St(n,H)$. As a consequence, we prove that $St(n,H)$ is relatively dense in a certain class of subsets which we illustrate with many examples from frame theory coming from the study of the solutions of some linear and quadratic equations which are finite-dimensional continuous frames. Since $St(n,L^2(X,\mu;\mathbb{F}))$ is isometric to $\mathcal{F}_{(X,\Sigma,\mu),n}^\mathbb{F}$, this article is also a contribution to the theory of finite-dimensional continuous Hilbert space frames.


title: TenIPS: Inverse Propensity Sampling for Tensor Completion

abstract: Tensors are widely used to represent multiway arrays of data. The recovery of missing entries in a tensor has been extensively studied, generally under the assumption that entries are missing completely at random (MCAR). However, in most practical settings, observations are missing not at random (MNAR): the probability that a given entry is observed (also called the propensity) may depend on other entries in the tensor or even on the value of the missing entry. In this paper, we study the problem of completing a partially observed tensor with MNAR observations, without prior information about the propensities. To complete the tensor, we assume that both the original tensor and the tensor of propensities have low multilinear rank. The algorithm first estimates the propensities using a convex relaxation and then predicts missing values using a higher-order SVD approach, reweighting the observed tensor by the inverse propensities. We provide finite-sample error bounds on the resulting complete tensor. Numerical experiments demonstrate the effectiveness of our approach.


title: On the Complexity of Properties of Partial Bijection Semigroups

abstract: We examine the computational complexity of problems in which we are given generators for a partial bijection semigroup and asked to check properties of the generated semigroup. We prove that the following problems are in AC$^0$: (1) enumerating left and right identities and (2) checking if the semigroup is completely regular. We prove that checking membership of a given idempotent is a PSPACE-complete problem. We also describe a nondeterministic logspace algorithm for checking if an inverse semigroup given by generators satisfies a given semigroup identity that may involve a unary inverse operation.


title: Faster Stochastic Trace Estimation with a Chebyshev Product Identity

abstract: Methods for stochastic trace estimation often require the repeated evaluation of expressions of the form $z^T p_n(A)z$, where $A$ is a symmetric matrix and $p_n$ is a degree $n$ polynomial written in the standard or Chebyshev basis. We show how to evaluate these expressions using only $\lceil n/2\rceil$ matrix-vector products, thus substantially reducing the cost of existing trace estimation algorithms that use Chebyshev interpolation or Taylor series.


title: Approximating Maximum Independent Set for Rectangles in the Plane

abstract: We give a polynomial-time constant-factor approximation algorithm for maximum independent set for (axis-aligned) rectangles in the plane. Using a polynomial-time algorithm, the best approximation factor previously known is $O(\log\log n)$. The results are based on a new form of recursive partitioning in the plane, in which faces that are constant-complexity and orthogonally convex are recursively partitioned into a constant number of such faces.


title: The 2020 Global Stock Market Crash: Endogenous or Exogenous?

abstract: Starting on February 20, 2020, the global stock markets began to suffer the worst decline since the Great Recession in 2008, and the COVID-19 has been widely blamed on the stock market crashes. In this study, we applied the log-periodic power law singularity (LPPLS) methodology based on multilevel time series to unravel the underlying mechanisms of the 2020 global stock market crash by analyzing the trajectories of 10 major stock market indexes from both developed and emergent stock markets, including the S&P 500, DJIA, NASDAQ, FTSE, DAX, NIKKEI, CSI 300, HSI, BSESN, and BOVESPA. In order to effectively distinguish between endogenous crash and exogenous crash, we proposed using the LPPLS confidence indicator as a classification proxy. The results show that the apparent LPPLS bubble patterns of the super-exponential increase, corrected by the accelerating logarithm-periodic oscillations, have indeed presented in the price trajectories of the seven indexes: S&P 500, DJIA, NASDAQ, DAX, CSI 300, BSESN, and BOVESPA, indicating that the large positive bubbles have formed endogenously prior to the 2020 stock market crash, and the subsequent crashes for the seven indexes are endogenous, stemming from the increasingly systemic instability of the stock markets, while the well-known external shocks such as the COVID-19 pandemic etc. only acted as sparks during the 2020 global stock market crash. In contrast, the obvious signatures of the LPPLS model have not been observed in the price trajectories of the three remaining indexes: FTSE, NIKKEI, and HSI, signifying that the crashes in these three indexes are exogenous, stemming from external shocks. The novel classification method of crash types proposed in this study can also be used to analyze regime changes of any price trajectories in global financial markets.


title: PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification

abstract: End-user-devices in the current cellular ecosystem are prone to many different vulnerabilities across different generations and protocol layers. Fixing these vulnerabilities retrospectively can be expensive, challenging, or just infeasible. A pragmatic approach for dealing with such a diverse set of vulnerabilities would be to identify attack attempts at runtime on the device side, and thwart them with mitigating and corrective actions. Towards this goal, in the paper we propose a general and extendable approach called Phoenix for identifying n-day cellular network control-plane vulnerabilities as well as dangerous practices of network operators from the device vantage point. Phoenix monitors the device-side cellular network traffic for performing signature-based unexpected behavior detection through lightweight runtime verification techniques. Signatures in Phoenix can be manually-crafted by a cellular network security expert or can be automatically synthesized using an optional component of Phoenix, which reduces the signature synthesis problem to the language learning from the informant problem. Based on the corrective actions that are available to Phoenix when an undesired behavior is detected, different instantiations of Phoenix are possible: a full-fledged defense when deployed inside a baseband processor; a user warning system when deployed as a mobile application; a probe for identifying attacks in the wild. One such instantiation of Phoenix was able to identify all 15 representative n-day vulnerabilities and unsafe practices of 4G LTE networks considered in our evaluation with a high packet processing speed (~68000 packets/second) while inducing only a moderate amount of energy overhead (~4mW).


title: Cup products on curves over finite fields

abstract: In this paper we compute cup products of elements of the first \'etale cohomology group of $\mu_\ell$ over a smooth projective geometrically irreducible curve $C$ over a finite field $k$ when $\ell$ is a prime and $\#k \equiv 1$ mod $\ell$. Over the algebraic closure of $k$, such products are values of the Weil pairing on the $\ell$-torsion of the Jacobian of $C$. Over $k$, such cup products are more subtle due to the fact that they naturally take values in $\mathrm{Pic}(C) \otimes_{\mathbb{Z}} \tilde{\mu}_\ell$ rather than in the group $\tilde{\mu}_\ell$ of $\ell^{\mathrm{th}}$ roots of unity in $k^*$.


title: e-PoS: Making Proof-of-Stake Decentralized and Fair

abstract: Blockchain applications that rely on the Proof-of-Work (PoW) have increasingly become energy inefficient with a staggering carbon footprint. In contrast, energy-efficient alternative consensus protocols such as Proof-of-Stake (PoS) may cause centralization and unfairness in the blockchain system. To address these challenges, we propose a modular version of PoS-based blockchain systems called epos that resists the centralization of network resources by extending mining opportunities to a wider set of stakeholders. Moreover, epos leverages the in-built system operations to promote fair mining practices by penalizing malicious entities. We validate epos's achievable objectives through theoretical analysis and simulations. Our results show that epos ensures fairness and decentralization, and can be applied to existing blockchain applications.


title: Performance of wall-modeled LES for external aerodynamics in the NASA Juncture Flow

abstract: We investigate the performance of wall-modeled LES for external aerodynamics in the NASA Juncture Flow. We characterize the errors in the prediction of mean velocity profiles and pressure coefficient for three different locations over the aircraft: the upstream region of the fuselage, the wing-body juncture, and the wing-body juncture close to the trailing-edge. The last two locations are characterized by strong mean-flow three-dimensionality and separation. The message conveyed by our error analysis is that WMLES performs as expected in regions where the flow resembles a zero-pressure-gradient flat plate boundary layer. However, there is a clear decline of the current models in the presence of wing-body junctions and, more acutely, in separated zones. The slow convergence to the solution in these regions renders the brute-force grid-refinement approach to improve the accuracy of the solution unfeasible. The results reported above pertain to the mean velocity profile predicted using the typical grid resolution for external aerodynamics applications, i.e., 5--20 points per boundary-layer thickness. The prediction of the pressure coefficient is below 5\% error for all grid sizes considered, even when boundary layers were marginally resolved. The latter accuracy can be attributed to the outer-layer nature of the mean pressure, which becomes less sensitive to flow details within the turbulent boundary layer. Finally, we show that boundary-layer-conforming grids (i.e., grids maintaining a constant number of points per boundary-layer thickness) allow for a more efficient distribution of grid points and smaller errors. Our results suggest that novel modeling venues encompassing physical insights, together with numerical and gridding advancements, must be exploited to attain predictions within the tolerance required for Certification by Analysis.


title: Permutations with exactly one copy of a decreasing pattern of length k

abstract: We construct an injection from the set of permutations of length $n$ that contain exactly one copy of the decreasing pattern of length $k$ to the set of permutations of length $n+2$ that avoid that pattern. We then prove that the generating function counting the former is not rational, and in the case when $k$ is even and $k\geq 4$, it is not even algebraic. We extend our injection and our nonrationality result to a larger class of patterns.


title: Study on the applicability of Varshni potential to predict the mass-spectra of the quark-antiquark systems in a non-relativistic framework

abstract: In this work, we obtain the Schr\"odinger equation solutions for the Varshni potential using the Nikiforov-Uvarov method. The energy eigenvalues are obtained in non-relativistic regime. The corresponding eigenfunction is obtained in terms of Laguerre polynomials. We applied the present results to calculate heavy-meson masses of charmonium and bottomonium .The mass spectra for charmonium and bottomonium multiplets have predicted numerically. The results are in good agreement with experimental data and the work of other researchers.


title: Design of an Enhanced Reconfigurable Chaotic Oscillator using G4FET-NDR Based Discrete Map

abstract: In this paper, a novel chaotic map is introduced usinga voltage controlled negative differential resistance (NDR) circuitcomposed of ann-channel and ap-channel silicon-on-insulator(SOI) four-gate transistor (G4FET). The multiple gates of theG4FET are leveraged to create a discrete chaotic map with threebifurcation parameters. The three tunable parameters are thegain of a transimpedance amplifier (TIA), top-gate voltage ofn-channel G4FET, and top-gate voltage ofp-channel G4FET. Twomethods are proposed for building chaotic oscillators using thisdiscrete map. The effect of altering bifurcation parameters onchaotic operation is illustrated using bifurcation diagrams andLyapunov exponent. A design methodology for building flexibleand reconfigurable logic gate is outlined and the consequentenhancement in functionality space caused by the existence ofthree independent bifurcation parameters is demonstrated andcompared with previous work.


title: Binary Mean Field Stochastic Games: Stationary Equilibria and Comparative Statics

abstract: This paper considers mean field games in a multi-agent Markov decision process (MDP) framework. Each player has a continuum state and binary action, and benefits from the improvement of the condition of the overall population. Based on an infinite horizon discounted individual cost, we show existence of a stationary equilibrium, and prove its uniqueness under a positive externality condition. We further analyze comparative statics of the stationary equilibrium by quantitatively determining the impact of the effort cost.


title: Neural Architecture Search via Combinatorial Multi-Armed Bandit

abstract: Neural Architecture Search (NAS) has gained significant popularity as an effective tool for designing high performance deep neural networks (DNNs). NAS can be performed via policy gradient, evolutionary algorithms, differentiable architecture search or tree-search methods. While significant progress has been made for both policy gradient and differentiable architecture search, tree-search methods have so far failed to achieve comparable accuracy or search efficiency. In this paper, we formulate NAS as a Combinatorial Multi-Armed Bandit (CMAB) problem (CMAB-NAS). This allows the decomposition of a large search space into smaller blocks where tree-search methods can be applied more effectively and efficiently. We further leverage a tree-based method called Nested Monte-Carlo Search to tackle the CMAB-NAS problem. On CIFAR-10, our approach discovers a cell structure that achieves a low error rate that is comparable to the state-of-the-art, using only 0.58 GPU days, which is 20 times faster than current tree-search methods. Moreover, the discovered structure transfers well to large-scale datasets such as ImageNet.


title: Biologically Inspired Hexagonal Deep Learning for Hexagonal Image Generation

abstract: Whereas conventional state-of-the-art image processing systems of recording and output devices almost exclusively utilize square arranged methods, biological models, however, suggest an alternative, evolutionarily-based structure. Inspired by the human visual perception system, hexagonal image processing in the context of machine learning offers a number of key advantages that can benefit both researchers and users alike. The hexagonal deep learning framework Hexnet leveraged in this contribution serves therefore the generation of hexagonal images by utilizing hexagonal deep neural networks (H-DNN). As the results of our created test environment show, the proposed models can surpass current approaches of conventional image generation. While resulting in a reduction of the models' complexity in the form of trainable parameters, they furthermore allow an increase of test rates in comparison to their square counterparts.


title: A Moving Discontinuous Galerkin Finite Element Method with Interface Conservation Enforcement for Compressible Flows

abstract: A moving discontinuous Galerkin finite element method with interface conservation enforcement (MDG+ICE) is developed for solving the compressible Euler equations. The MDG+ICE method is based on the space-time DG formulation, where both flow field and grid geometry are considered as independent variables and the conservation laws are enforced both on discrete elements and element interfaces. The element conservation laws are solved in the standard discontinuous solution space to determine conservative quantities, while the interface conservation is enforced using a variational formulation in a continuous space to determine discrete grid geometry. The resulting over-determined system of nonlinear equations arising from the MDG+ICE formulation can then be solved in a least-squares sense, leading to an unconstrained nonlinear least-squares problem that is regularized and solved by Levenberg-Marquardt method. A number of numerical experiments for compressible flows are conducted to assess the accuracy and robustness of the MDG+ICE method. Numerical results obtained indicate that the MDG+ICE method is able to implicitly detect and track all types of discontinuities via interface conservation enforcement and satisfy the conservation law on both elements and interfaces via grid movement and grid management, demonstrating that an exponential rate of convergence for Sod and Lax-Harden shock tube problems can be achieved and highly accurate solutions without overheating to both double-rarefaction wave and Noh problems can be obtained.


title: An Artificial Intelligence System for Combined Fruit Detection and Georeferencing, Using RTK-Based Perspective Projection in Drone Imagery

abstract: This work presents an Artificial Intelligence (AI) system, based on the Faster Region-Based Convolution Neural Network (Faster R-CNN) framework, which detects and counts apples from oblique, aerial drone imagery of giant commercial orchards. To reduce computational cost, a novel precursory stage to the network is designed to preprocess raw imagery into cropped images of individual trees. Unique geospatial identifiers are allocated to these using the perspective projection model. This employs Real-Time Kinematic (RTK) data, Digital Terrain and Surface Models (DTM and DSM), as well as internal and external camera parameters. The bulk of experiments however focus on tuning hyperparameters in the detection network itself. Apples which are on trees and apples which are on the ground are treated as separate classes. A mean Average Precision (mAP) metric, calibrated by the size of the two classes, is devised to mitigate spurious results. Anchor box design is of key interest due to the scale of the apples. As such, a k-means clustering approach, never before seen in literature for Faster R-CNN, resulted in the most significant improvements to calibrated mAP. Other experiments showed that the maximum number of box proposals should be 225; the initial learning rate of 0.001 is best applied to the adaptive RMS Prop optimiser; and ResNet 101 is the ideal base feature extractor when considering mAP and, to a lesser extent, inference time. The amalgamation of the optimal hyperparameters leads to a model with a calibrated mAP of 0.7627.


title: Dye-Encapsulated Zeolitic Imidazolate Framework (ZIF-71) for Fluorochromic Sensing of Pressure, Temperature, and Volatile Solvents

abstract: Luminescent metal-organic frameworks (MOFs) offer a multifunctional platform for creating non-invasive sensors and tuneable optoelectronics. However, fluorochromic materials that are photophysically resilient and show high sensitivity towards different physical and chemical stimuli are scarce. We report a facile host-guest nanoconfinement strategy to construct a fluorescent hybrid material with multiple sensing capabilities. We design and fabricate a new Guest@MOF material: comprising a zeolitic MOF (ZIF-71) as a nanoporous host for encapsulating rhodamine B (RhB dye) guest molecules, resulting in the RhB@ZIF-71 system with mechanochromic, thermochromic, and solvatochromic sensing response. The fluorochromic sensing properties stem from the nanoconfinement effect that ZIF-71 imposes on RhB monomers, yielding the H- or J-type aggregates with tuneable photophysical and photochemical properties. For mechanochromism, the external pressure causes an emission red shift in a linear fashion, switching RhB guests from H-type to J-type aggregates through a shear deformation. For thermochromism, we demonstrate a linear scaling as a function of temperature due to the spatial restriction imposed on J-type aggregates incarcerated in ZIF-71 pores. Harnessing the solvatochromism of RhB@ZIF-71, we identified three diverse groups of volatile organic compounds. The multimodal sensing response pave the way to smart applications like photonic pressure sensors, non-invasive thermometers, and ultrasensitive chemosensors.


title: Mean-Field Game-Theoretic Edge Caching

abstract: In this book chapter, we study a problem of distributed content caching in an ultra-dense edge caching network (UDCN), in which a large number of small base stations (SBSs) prefetch popular files to cope with the ever-growing user demand in 5G and beyond. In a UDCN, even a small misprediction of user demand may render a large amount of prefetched data obsolete. Furtherproacmore, the interference variance is high due to the short inter-SBS distances, making it difficult to quantify data downloading rates. Lastly, since the caching decision of each SBS interacts with those of all other SBSs, the problem complexity of exponentially increases with the number of SBSs, which is unfit for UDCNs. To resolve such challenging issues while reflecting time-varying and location-dependent user demand, we leverage mean-field game (MFG) theory through which each SBS interacts only with a single virtual SBS whose state is drawn from the state distribution of the entire SBS population, i.e., mean-field (MF) distribution. This MF approximation asymptotically guarantees achieving the epsilon Nash equilibrium as the number of SBSs approaches infinity. To describe such an MFG-theoretic caching framework, this chapter aims to provide a brief review of MFG, and demonstrate its effectiveness for UDCNs.


title: On the rigidity of invariant norms on the $p$-adic Schr\"odinger representation

abstract: Motivated by questions about $\mathbb{C}_p$-valued Fourier transform on the locally compact group $(\mathbb{Q}_p^d,+)$, we study invariant norms on the $p$-adic Schr\"odinger representation of the Heisenberg group. Our main result is a minimality and rigidity property for norms in a family of invariant norms parameterized by a Grassmannian. This family is the orbit of the sup norm under the action of the symplectic group, acting via intertwining operators. We also prove general fundamental properties of quotients of the universal unitary completion of cyclic algebraic representations. Combined with the rigidity property, we are able to show that the completion of the Schr\"odinger representation in any of the norms in that family satisfies a strong notion of irreducibility and a strong version of Schur's lemma. Norms that can be formed as the maximum of a finite number of norms from that family are also studied. We conclude this paper with a list of open questions.


title: A Time-Inconsistent Dynkin Game: from Intra-personal to Inter-personal Equilibria

abstract: This paper studies a nonzero-sum Dynkin game in discrete time under non-exponential discounting. For both players, there are two levels of game-theoretic reasoning intertwined. First, each player looks for an intra-personal equilibrium among her current and future selves, so as to resolve time inconsistency triggered by non-exponential discounting. Next, given the other player's chosen stopping policy, each player selects a best response among her intra-personal equilibria. A resulting inter-personal equilibrium is then a Nash equilibrium between the two players, each of whom employs her best intra-personal equilibrium with respect to the other player's stopping policy. Under appropriate conditions, we show that an inter-personal equilibrium exists, based on concrete iterative procedures along with Zorn's lemma. To illustrate our theoretic results, we investigate a two-player real options valuation problem: two firms negotiate a deal of cooperation to initiate a project jointly. By deriving inter-personal equilibria explicitly, we find that coercive power in negotiation depends crucially on the impatience levels of the two firms.


title: Amenability of semigroups and the Ore condition for semigroup rings

abstract: Let $M$ be a cancellative monoid. It is known~\cite{Ta54} that if $M$ is left amenable then the monoid ring $K[M]$ satisfies Ore condition, that is, there exist nontrivial common right multiples for the elements of this ring. In~\cite{Don10} Donnelly shows that a partial converse to this statement is true. Namely, if the monoid $\mathbb Z^{+}[M]$ of all elements of $\mathbb Z[M]$ with positive coefficients has nonzero common right multiples, then $M$ is left amenable. He asks whether the converse is true for this particular statement. We show that the converse is false even for the case of groups. If $M$ is a free metabelian group, then $M$ is amenable but the Ore condition fails for $\mathbb Z^{+}[M]$. Besides, we study the case of the monoid $M$ of positive elements of R.\,Thompson's group $F$. The amenability problem for it is a famous open question. It is equivalent to left amenability of the monoid $M$. We show that for this case the monoid $\mathbb Z^{+}[M]$ does not satisfy Ore condition. That is, even if $F$ is amenable, this cannot be shown using the above sufficient condition.


title: Modeling Fine-Grained Entity Types with Box Embeddings

abstract: Neural entity typing models typically represent fine-grained entity types as vectors in a high-dimensional space, but such spaces are not well-suited to modeling these types' complex interdependencies. We study the ability of box embeddings, which embed concepts as d-dimensional hyperrectangles, to capture hierarchies of types even when these relationships are not defined explicitly in the ontology. Our model represents both types and entity mentions as boxes. Each mention and its context are fed into a BERT-based model to embed that mention in our box space; essentially, this model leverages typological clues present in the surface text to hypothesize a type representation for the mention. Box containment can then be used to derive both the posterior probability of a mention exhibiting a given type and the conditional probability relations between types themselves. We compare our approach with a vector-based typing model and observe state-of-the-art performance on several entity typing benchmarks. In addition to competitive typing performance, our box-based model shows better performance in prediction consistency (predicting a supertype and a subtype together) and confidence (i.e., calibration), demonstrating that the box-based model captures the latent type hierarchies better than the vector-based model does.


title: Minimum Viable Model Estimates for Machine Learning Projects

abstract: Prioritization of machine learning projects requires estimates of both the potential ROI of the business case and the technical difficulty of building a model with the required characteristics. In this work we present a technique for estimating the minimum required performance characteristics of a predictive model given a set of information about how it will be used. This technique will result in robust, objective comparisons between potential projects. The resulting estimates will allow data scientists and managers to evaluate whether a proposed machine learning project is likely to succeed before any modelling needs to be done. The technique has been implemented into the open source application MinViME (Minimum Viable Model Estimator) which can be installed via the PyPI python package management system, or downloaded directly from the GitHub repository. Available at https://github.com/john-hawkins/MinViME


title: Ultra-high pressure disordered eight-coordinated phase of Mg$_2$GeO$_4$: Analogue for super-Earth mantles

abstract: Mg2GeO4 is an analogue for the ultra-high pressure behavior of Mg2SiO4, so we have investigated magnesium germanate to 275 GPa and over 2000 K using a laser-heated diamond anvil cell combined with in situ synchrotron X-ray diffraction and density functional theory (DFT) computations. The experimental results are consistent with a novel phase with disordered Mg and Ge, in which germanium adopts eight-fold coordination with oxygen: the cubic Th3P4- type structure. Simulations using the special quasirandom structure (SQS) method suggest partial order in the tetragonal I-42d structure, indistinguishable from I-43d Th3P4 in our experiments. These structures have not been reported before in any oxide. If applicable to silicates, the formation of this highly coordinated and intrinsically disordered phase would have important implications for the interior mineralogy of large, rocky extrasolar planets.


title: On the Automorphism Group of a Binary Form Associated with Algebraic Trigonometric Quantities

abstract: Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. In this article we compute the automorphism group $\operatorname{Aut} F$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2\pi}{n}\right)$ and $2\sin\left(\frac{2\pi}{n}\right)$, which we denote by $\Psi_n(x, y)$ and $\Pi_n(x, y)$, respectively. The remaining two forms that we consider are homogenizations of Chebyshev polynomials of first and second kinds, denoted $T_n(x, y)$ and $U_n(x, y)$, respectively.


title: Density profile of multi-state fuzzy dark matter

abstract: Equations of motion for excited states of weakly self-interacting bosons forming fuzzy dark matter are solved using the WKB approximation. The contribution of self-interactions are neglected in the equations of motion. Wave functions of excited states are expressed in terms of a yet undetermined gravitational potential. At equilibrium, the contributions of states to the density distribution are summed using Bose-Einstein statistics. Combined with the Poisson equation, a differential equation is obtained for the gravitational potential, which has physically acceptable solutions only if the energy spectrum of excited states has a finite gap, corresponding to a finite virial radius. Such a gap could be created by decay processes, in first order perturbation of the self-interaction potential. The obtained density profile is found to be similar to the Burkert profile.


title: Multi-Image Steganography Using Deep Neural Networks

abstract: Steganography is the science of hiding a secret message within an ordinary public message. Over the years, steganography has been used to encode a lower resolution image into a higher resolution image by simple methods like LSB manipulation. We aim to utilize deep neural networks for the encoding and decoding of multiple secret images inside a single cover image of the same resolution.


title: GIS and Computational Notebooks

abstract: Researchers and practitioners across many disciplines have recently adopted computational notebooks to develop, document, and share their scientific workflows - and the GIS community is no exception. This chapter introduces computational notebooks in the geographical context. It begins by explaining the computational paradigm and philosophy that underlie notebooks. Next it unpacks their architecture to illustrate a notebook user's typical workflow. Then it discusses the main benefits notebooks offer GIS researchers and practitioners, including better integration with modern software, more natural access to new forms of data, and better alignment with the principles and benefits of open science. In this context, it identifies notebooks as the glue that binds together a broader ecosystem of open source packages and transferable platforms for computational geography. The chapter concludes with a brief illustration of using notebooks for a set of basic GIS operations. Compared to traditional desktop GIS, notebooks can make spatial analysis more nimble, extensible, and reproducible and have thus evolved into an important component of the geospatial science toolkit.


title: Characterizing Fairness Over the Set of Good Models Under Selective Labels

abstract: Algorithmic risk assessments are used to inform decisions in a wide variety of high-stakes settings. Often multiple predictive models deliver similar overall performance but differ markedly in their predictions for individual cases, an empirical phenomenon known as the "Rashomon Effect." These models may have different properties over various groups, and therefore have different predictive fairness properties. We develop a framework for characterizing predictive fairness properties over the set of models that deliver similar overall performance, or "the set of good models." Our framework addresses the empirically relevant challenge of selectively labelled data in the setting where the selection decision and outcome are unconfounded given the observed data features. Our framework can be used to 1) replace an existing model with one that has better fairness properties; or 2) audit for predictive bias. We illustrate these uses cases on a real-world credit-scoring task and a recidivism prediction task.


title: On a Generalized Briot-Bouquet type Differential Subordination

abstract: We introduce and study the following special type of differential subordination implication: \begin{equation}\label{abs} p(z)Q(z)+\frac{zp'(z)}{\beta p(z)+\alpha}\prec h(z)\quad\Rightarrow p(z)\prec h(z), \end{equation} which generalizes the Briot-Bouquet differential subordination, where $Q(z)$ is analytic and $0\neq\beta,\alpha\in\mathbb{C}.$ Further, some special cases of our result are also discussed. Finally, analogues of open door lemma and integral existence theorem with applications to univalent functions are obtained.


title: Integrated Optimization of Predictive and Prescriptive Tasks

abstract: In traditional machine learning techniques, the degree of closeness between true and predicted values generally measures the quality of predictions. However, these learning algorithms do not consider prescription problems where the predicted values will be used as input to decision problems. In this paper, we efficiently leverage feature variables, and we propose a new framework directly integrating predictive tasks under prescriptive tasks in order to prescribe consistent decisions. We train the parameters of predictive algorithm within a prescription problem via bilevel optimization techniques. We present the structure of our method and demonstrate its performance using synthetic data compared to classical methods like point-estimate-based, stochastic optimization and recently developed machine learning based optimization methods. In addition, we control generalization error using different penalty approaches and optimize the integration over validation data set.


title: Reinforcement Learning for Flexibility Design Problems

abstract: Flexibility design problems are a class of problems that appear in strategic decision-making across industries, where the objective is to design a ($e.g.$, manufacturing) network that affords flexibility and adaptivity. The underlying combinatorial nature and stochastic objectives make flexibility design problems challenging for standard optimization methods. In this paper, we develop a reinforcement learning (RL) framework for flexibility design problems. Specifically, we carefully design mechanisms with noisy exploration and variance reduction to ensure empirical success and show the unique advantage of RL in terms of fast-adaptation. Empirical results show that the RL-based method consistently finds better solutions compared to classical heuristics.


title: Analysis and Forecasting of Fire incidence in Davao City

abstract: Fire incidence is a big problem for every local government unit in the Philippines. The two most detrimental effects of fire incidence are economic loss and loss of life. To mitigate these losses, proper planning and implementation of control measures must be done. An essential aspect of planning and control measures is prediction of possible fire incidences. This study is conducted to analyze the historical data to create a forecasting model for the fire incidence in Davao City. Results of the analyses show that fire incidence has no trend or seasonality, and occurrences of fire are neither consistently increasing nor decreasing over time. Furthermore, the absence of seasonality in the data indicate that surge of fire incidence may occur at any time of the year. Therefore, fire prevention activities should be done all year round and not just during fire prevention month.


title: How do mobility restrictions and social distancing during COVID-19 affect the crude oil price?

abstract: We develop an air mobility index and use the newly developed Apple's driving trend index to evaluate the impact of COVID-19 on the crude oil price. We use quantile regression and stationary and non-stationary extreme value models to study the impact. We find that both the \textit{air mobility index} and \textit{driving trend index} significantly influence lower and upper quantiles as well as the median of the WTI crude oil price. The extreme value model suggests that an event like COVID-19 may push oil prices to a negative territory again as the air mobility decreases drastically during such pandemics.


title: Local well-posedness of skew mean curvature flow for small data in $d\geq 4$ dimensions

abstract: The skew mean curvature flow is an evolution equation for $d$ dimensional manifolds embedded in $\mathbb{R}^{d+2}$ (or more generally, in a Riemannian manifold). It can be viewed as a Schr\"odinger analogue of the mean curvature flow, or alternatively as a quasilinear version of the Schr\"odinger Map equation. In this article, we prove small data local well-posedness in low-regularity Sobolev spaces for the skew mean curvature flow in dimension $d\geq 4$.


title: Video Captioning in Compressed Video

abstract: Existing approaches in video captioning concentrate on exploring global frame features in the uncompressed videos, while the free of charge and critical saliency information already encoded in the compressed videos is generally neglected. We propose a video captioning method which operates directly on the stored compressed videos. To learn a discriminative visual representation for video captioning, we design a residuals-assisted encoder (RAE), which spots regions of interest in I-frames under the assistance of the residuals frames. First, we obtain the spatial attention weights by extracting features of residuals as the saliency value of each location in I-frame and design a spatial attention module to refine the attention weights. We further propose a temporal gate module to determine how much the attended features contribute to the caption generation, which enables the model to resist the disturbance of some noisy signals in the compressed videos. Finally, Long Short-Term Memory is utilized to decode the visual representations into descriptions. We evaluate our method on two benchmark datasets and demonstrate the effectiveness of our approach.


title: New-Type Hoeffding's Inequalities and Application in Tail Bounds

abstract: It is well known that Hoeffding's inequality has a lot of applications in the signal and information processing fields. How to improve Hoeffding's inequality and find the refinements of its applications have always attracted much attentions. An improvement of Hoeffding inequality was recently given by Hertz \cite{r1}. Eventhough such an improvement is not so big, it still can be used to update many known results with original Hoeffding's inequality, especially for Hoeffding-Azuma inequality for martingales. However, the results in original Hoeffding's inequality and its refinement one by Hertz only considered the first order moment of random variables. In this paper, we present a new type of Hoeffding's inequalities, where the high order moments of random variables are taken into account. It can get some considerable improvements in the tail bounds evaluation compared with the known results. It is expected that the developed new type Hoeffding's inequalities could get more interesting applications in some related fields that use Hoeffding's results.

categories: math.ST cs.AI cs.IT math.IT math.PR stat.TH


title: To Share, or not to Share Online Event Trend Aggregation Over Bursty Event Streams

abstract: Complex event processing (CEP) systems continuously evaluate large workloads of pattern queries under tight time constraints. Event trend aggregation queries with Kleene patterns are commonly used to retrieve summarized insights about the recent trends in event streams. State-of-art methods are limited either due to repetitive computations or unnecessary trend construction. Existing shared approaches are guided by statically selected and hence rigid sharing plans that are often sub-optimal under stream fluctuations. In this work, we propose a novel framework Hamlet that is the first to overcome these limitations. Hamlet introduces two key innovations. First, Hamlet adaptively decides whether to share or not to share computations depending on the current stream properties at run time to harvest the maximum sharing benefit. Second, Hamlet is equipped with a highly efficient shared trend aggregation strategy that avoids trend construction. Our experimental study on both real and synthetic data sets demonstrates that Hamlet consistently reduces query latency by up to five orders of magnitude compared to the state-of-the-art approaches.


title: Measure of Strength of Evidence for Visually Observed Differences between Subpopulations

abstract: For measuring the strength of visually-observed subpopulation differences, the Population Difference Criterion is proposed to assess the statistical significance of visually observed subpopulation differences. It addresses the following challenges: in high-dimensional contexts, distributional models can be dubious; in high-signal contexts, conventional permutation tests give poor pairwise comparisons. We also make two other contributions: Based on a careful analysis we find that a balanced permutation approach is more powerful in high-signal contexts than conventional permutations. Another contribution is the quantification of uncertainty due to permutation variation via a bootstrap confidence interval. The practical usefulness of these ideas is illustrated in the comparison of subpopulations of modern cancer data.


title: The Prime Graphs of Some Classes of Finite Groups

abstract: In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an element of order $pq$ in $G$. In finite group theory, studying the prime graph of a group has been an important topic for the past almost half century. Only recently prime graphs of solvable groups have been characterized in graph theoretical terms only. In this paper, we continue this line of research and give complete characterizations of several classes of groups, including groups of square-free order, metanilpotent groups, groups of cube-free order, and, for any $n\in \mathbb{N}$, solvable groups of $n^\text{th}$-power-free order. We also explore the prime graphs of groups whose composition factors are cyclic or $A_5$ and draw connections to a conjecture of Maslova. We then propose an algorithm that recovers the prime graph from a dual prime graph.


title: Quaternion higher-order singular value decomposition and its applications in color image processing

abstract: Higher-order singular value decomposition (HOSVD) is one of the most efficient tensor decomposition techniques. It has the salient ability to represent high_dimensional data and extract features. In more recent years, the quaternion has proven to be a very suitable tool for color pixel representation as it can well preserve cross-channel correlation of color channels. Motivated by the advantages of the HOSVD and the quaternion tool, in this paper, we generalize the HOSVD to the quaternion domain and define quaternion-based HOSVD (QHOSVD). Due to the non-commutability of quaternion multiplication, QHOSVD is not a trivial extension of the HOSVD. They have similar but different calculation procedures. The defined QHOSVD can be widely used in various visual data processing with color pixels. In this paper, we present two applications of the defined QHOSVD in color image processing: multi_focus color image fusion and color image denoising. The experimental results on the two applications respectively demonstrate the competitive performance of the proposed methods over some existing ones.


title: Generalized $F$-depth and graded nilpotent singularities

abstract: We address explicit constructions of new variants of $F$-nilpotent singularities. In particular, we explore how (generalized) weakly $F$-nilpotent singularities behave under gluing, Segre products, Veronese subrings, and the formation of diagonal hypersurface algebras. From these results, explicit examples are produced and we provide bounds on their Frobenius test exponents. To accomplish these tasks, we introduce the {\it generalized $F$-depth} in analogy to Lyubeznik's $F$-depth. These depth-like invariants track (generalized) weakly $F$-nilpotent singularities in a similar fashion as (generalized) depth tracks (generalized) Cohen-Macaulay singularities.


title: Geometric ergodicity of Gibbs samplers for the Horseshoe and its regularized variants

abstract: The Horseshoe is a widely used and popular continuous shrinkage prior for high-dimensional Bayesian linear regression. Recently, regularized versions of the Horseshoe prior have also been introduced in the literature. Various Gibbs sampling Markov chains have been developed in the literature to generate approximate samples from the corresponding intractable posterior densities. Establishing geometric ergodicity of these Markov chains provides crucial technical justification for the accuracy of asymptotic standard errors for Markov chain based estimates of posterior quantities. In this paper, we establish geometric ergodicity for various Gibbs samplers corresponding to the Horseshoe prior and its regularized variants in the context of linear regression. First, we establish geometric ergodicity of a Gibbs sampler for the original Horseshoe posterior under strictly weaker conditions than existing analyses in the literature. Second, we consider the regularized Horseshoe prior introduced in Piironen and Vehtari (2017), and prove geometric ergodicity for a Gibbs sampling Markov chain to sample from the corresponding posterior without any truncation constraint on the global and local shrinkage parameters. Finally, we consider a variant of this regularized Horseshoe prior introduced in Nishimura and Suchard (2020), and again establish geometric ergodicity for a Gibbs sampling Markov chain to sample from the corresponding posterior.


title: A note on exotic families of 4-manifolds

abstract: We present a pair of smooth fiber bundles over the circle with a common $4$-dimensional fiber with the following properties: (1) their total spaces are diffeomorphic to each other; (2) they are isomorphic to each other as topological fiber bundles; (3) they are not isomorphic to each other as smooth fiber bundles. In particular, we exhibit an example with non-simply-connected fiber.


title: Qian Jian and His Contribution to Small-Scale Turbulence Studies

abstract: Qian Jian, a Chinese theoretical physicist and fluid dynamicist, devoted the second part of his scientific life to the physical understanding of small-scale turbulence to the exclusion of all else. Qian developed his own statistical theory of small-scale turbulence, based on the Liouville (1853) equation and a perturbation variational approach to non-equilibrium statistical mechanics, which is compatible with the Kolmogorov-Oboukhov energy spectrum. His statistical theory of small-scale turbulence, which appears mathematically and physically valid, successfully led to his contributions to (i) the closure problem of turbulence; (ii) one-dimensional turbulence; (iii) two-dimensional turbulence; (iv) the turbulent passive scalar field; (v) the cascade model of turbulence; (vi) the universal equilibrium range of turbulence; (vii) a simple model of the bump phenomenon; (viii) universal constants of turbulence; (ix) the intermittency of turbulence; and perhaps most importantly, (x) the effect of the Taylor microscale Reynolds number on both the width of the inertial range of finite Re turbulence and the scaling exponents of velocity structure functions. In particular, Qian found that the inertial range cannot exist when Re is smaller than 2000. In contrast to the prevailing intermittency models, he discovered that normal scaling is valid in the real Kolmogorov inertial range when Re approaches infinity while the anomalous scaling observed in experiments reflects the finite Re effect. He then made a correction to the famous Kolmogorov (1941c) equation and obtained the finite Re effect equation or the Kolmogorov-Novikov-Qian equation. He also independently derived the decay law of the finite Re effect. Qian steered us along the right path to an improved understanding of small-scale turbulence and solutions to its problems.


title: Exploration of free energy surface and thermal effects on relative population and infrared spectrum of the Be$_6$B$_{11}^{-}$ fluxional cluster

abstract: The starting point to understanding cluster properties is the putative global minimum and all the nearby local energy minima; however, locating them is computationally expensive and challenging due to a combinatorial explosion problem. The relative populations and spectroscopic properties of a molecule that are a function of temperature can be approximately computed by employing statistical thermodynamics. Here, we investigate temperature-entropy-driven isomers distribution on Be$_6$B$_{11}^{-}$ fluxional cluster and the effect of temperature on their infrared spectroscopy and relative populations. We identify the vibration modes possessed by the cluster that significantly contribute to the zero-point energy. A couple of steps are considered for computing the temperature-dependent relative population: First, using a genetic algorithm coupled to density functional theory, we performed an extensive and systematic exploration of the potential/free energy surface of Be$_6$B$_{11}^{-}$ cluster to locate the putative global minimum and elucidate the low-energy structures. Second, the relative populations' temperature effects are determined by considering the thermodynamic properties and Boltzmann factors. The temperature-dependent relative populations show that the entropies and temperature are essential for determining the global minimum. We compute the temperature-dependent total infrared spectra employing the Boltzmann factor weighted sums of each isomer's infrared spectrum and find that at finite temperature, the total infrared spectrum is composed of an admixture of infrared spectra that corresponds to the spectrum of the lowest energy structure and its isomers located at higher energies. The methodology and results describe the thermal effects in the relative population and the infrared spectra.


title: Optimal Segmented Linear Regression for Financial Time Series Segmentation

abstract: Given a financial time series data, one of the most fundamental and interesting challenges is the need to learn the stock dynamics signals in a financial time series data. A good example is to represent the time series in line segments which is often used as a pre-processing step for learning marketing signal patterns in financial computing. In this paper, we focus on the problem of computing the optimal segmentations of such time series based on segmented linear regression models. The major contribution of this paper is to define the problem of Multi-Segment Linear Regression (MSLR) of computing the optimal segmentation of a financial time series, denoted as the MSLR problem, such that the global mean square error of segmented linear regression is minimized. We present an optimum algorithm with two-level dynamic programming (DP) design and show the optimality of OMSLR algorithm. The two-level DP design of OMSLR algorithm can mitigate the complexity for searching the best trading strategies in financial markets. It runs in O($kn^2$) time, where $n$ is the length of the time series sequence and $k$ is the number of non-overlapping segments that cover all data points.


title: On-the-Fly Attention Modulation for Neural Generation

abstract: Despite considerable advancements with deep neural language models (LMs), neural text generation still suffers from degeneration: the generated text is repetitive, generic, self-contradictory, and often lacks commonsense. Our analyses on sentence-level attention patterns in LMs reveal that neural degeneration may be associated with insufficient learning of task-specific characteristics by the attention mechanism. This finding motivates on-the-fly attention modulation -- a simple but effective method that enables the injection of priors into attention computation during inference. Automatic and human evaluation results on three text generation benchmarks demonstrate that attention modulation helps LMs generate text with enhanced fluency, creativity, and commonsense reasoning, in addition to significantly reduce sentence-level repetition.


title: Analysing the radio flux density profile of the M31 galaxy: a possible dark matter interpretation

abstract: Some recent studies have examined the gamma-ray flux profile of our Galaxy to determine the signal of dark matter annihilation. However, the results are controversial and no confirmation is obtained. In this article, we study the radio flux density profile of the M31 galaxy and show that it could manifest a possible signal of dark matter annihilation. By comparing the likelihoods between the archival observed radio flux density profile data and the predicted radio flux density profile contributed by dark matter and stellar emission, we can constrain the relevant dark matter parameters. Specifically, for the thermal annihilation cross section via the $b\bar{b}$ channel, the best-fit value of dark matter mass is $\sim 30$ GeV, which is consistent with the results of many recent studies. We expect that this method would become another useful way to constrain dark matter, which is complementary to the traditional radio analyses and the other indirect detections.


title: Non-line-of-Sight Imaging via Neural Transient Fields

abstract: We present a neural modeling framework for Non-Line-of-Sight (NLOS) imaging. Previous solutions have sought to explicitly recover the 3D geometry (e.g., as point clouds) or voxel density (e.g., within a pre-defined volume) of the hidden scene. In contrast, inspired by the recent Neural Radiance Field (NeRF) approach, we use a multi-layer perceptron (MLP) to represent the neural transient field or NeTF. However, NeTF measures the transient over spherical wavefronts rather than the radiance along lines. We therefore formulate a spherical volume NeTF reconstruction pipeline, applicable to both confocal and non-confocal setups. Compared with NeRF, NeTF samples a much sparser set of viewpoints (scanning spots) and the sampling is highly uneven. We thus introduce a Monte Carlo technique to improve the robustness in the reconstruction. Comprehensive experiments on synthetic and real datasets demonstrate NeTF provides higher quality reconstruction and preserves fine details largely missing in the state-of-the-art.


title: The Brightness of VisorSat-Design Starlink Satellites

abstract: The mean of 430 visual magnitudes of VisorSats adjusted to a distance of 550-km (the operational altitude) is 5.92 +/-0.04. This is the characteristic brightness of these satellites when observed at zenith. VisorSats average 1.29 magnitudes fainter than the original-design Starlink satellites and, thus, they are 31% as bright.


title: The vortex dynamics in incompressible viscous turbulent flows

abstract: In this paper, we consider turbulence from a geometric perspective based on the vorticity equations for incompressible viscous fluid flows. We derive several quantitative statements about the statistics of turbulent flows. In particular we establish an entropy decay inequality which involves the turbulent kinetic energy and $L^{1}$-enstrophy, and we identify the small time scale of the vorticity broken down and the vorticity creation under the universality assumption of small time scales of turbulence flows.


title: RiddleSense: Reasoning about Riddle Questions Featuring Linguistic Creativity and Commonsense Knowledge

abstract: Question: I have five fingers but I am not alive. What am I? Answer: a glove. Answering such a riddle-style question is a challenging cognitive process, in that it requires complex commonsense reasoning abilities, an understanding of figurative language, and counterfactual reasoning skills, which are all important abilities for advanced natural language understanding (NLU). However, there are currently no dedicated datasets aiming to test these abilities. Herein, we present RiddleSense, a new multiple-choice question answering task, which comes with the first large dataset (5.7k examples) for answering riddle-style commonsense questions. We systematically evaluate a wide range of models over the challenge, and point out that there is a large gap between the best-supervised model and human performance -- suggesting intriguing future research in the direction of higher-order commonsense reasoning and linguistic creativity towards building advanced NLU systems.


title: Moduli Spaces of Coherent Sheaves on Projective Deligne-Mumford Stacks over Algebraic Spaces

abstract: In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.


title: Speeding up Block Propagation in Blockchain Network: Uncoded and Coded Designs

abstract: We design and validate new block propagation protocols for the peer-to-peer (P2P) network of the Bitcoin blockchain. Despite its strong protection for security and privacy, the current Bitcoin blockchain can only support a low number of transactions per second (TPS). In this work, we redesign the current Bitcoin's networking protocol to increase TPS without changing vital components in its consensus-building protocol. In particular, we improve the compact-block relaying protocol to enable the propagation of blocks containing a massive number of transactions without inducing extra propagation latencies. Our improvements consist of (i) replacing the existing store-and-forward compact-block relaying scheme with a cut-through compact-block relaying scheme; (ii) exploiting rateless erasure codes for P2P networks to increase block-propagation efficiency. Since our protocols only need to rework the current Bitcoin's networking protocol and does not modify the data structures and crypto-functional components, they can be seamlessly incorporated into the existing Bitcoin blockchain. To validate our designs, we perform analysis on our protocols and implement a Bitcoin network simulator on NS3 to run different block propagation protocols. The analysis and experimental results confirm that our new block propagation protocols could increase the TPS of the Bitcoin blockchain by 100x without compromising security and consensus-building.


title: Investigating Memorization of Conspiracy Theories in Text Generation

abstract: The adoption of natural language generation (NLG) models can leave individuals vulnerable to the generation of harmful information memorized by the models, such as conspiracy theories. While previous studies examine conspiracy theories in the context of social media, they have not evaluated their presence in the new space of generative language models. In this work, we investigate the capability of language models to generate conspiracy theory text. Specifically, we aim to answer: can we test pretrained generative language models for the memorization and elicitation of conspiracy theories without access to the model's training data? We highlight the difficulties of this task and discuss it in the context of memorization, generalization, and hallucination. Utilizing a new dataset consisting of conspiracy theory topics and machine-generated conspiracy theories helps us discover that many conspiracy theories are deeply rooted in the pretrained language models. Our experiments demonstrate a relationship between model parameters such as size and temperature and their propensity to generate conspiracy theory text. These results indicate the need for a more thorough review of NLG applications before release and an in-depth discussion of the drawbacks of memorization in generative language models.


title: Monge-Amp\`{e}re type equations on almost Hermitian manifolds

abstract: In this paper, we consider the Monge-Amp\`{e}re type equations on compact almost Hermitian manifolds. We derive $C^{\infty}$ a priori estimates under the existence of an admissible $\mathcal{C}$-subsolution. Finally, we obtain an existence result if there exists an admissible supersolution.


title: The Estimation of Approximation Error using the Inverse Problem and the Set of Numerical Solutions

abstract: The Inverse Problem for the estimation of a point-wise approximation error occurring at the discretization and solving of the system of partial differential equations is addressed. The set of the differences between the numerical solutions is used as the input data. The analyzed solutions are obtained by the numerical algorithms of the distinct inner structure on the same grid. The approximation error is estimated by the Inverse Problem, which is posed in the variational statement with the zero order Tikhonov regularization. The numerical tests, performed for the two dimensional inviscid compressible flows corresponding to Edney-I and Edney-VI shock wave interference modes, are provided. The analyzed flowfields are computed using ten different numerical algorithms. The comparison of the estimated approximation error and the true error, obtained by subtraction of numerical and analytic solutions, is presented.


title: Optimizing Information Freshness for Cooperative IoT Systems with Stochastic Arrivals

abstract: This paper considers a cooperative Internet of Things (IoT) system with a source aiming to transmit randomly generated status updates to a designated destination as timely as possible under the help of a relay. We adopt a recently proposed concept, the age of information (AoI), to characterize the timeliness of the status updates. In the considered system, delivering the status updates via the one-hop direct link will have a shorter transmission time at the cost of incurring a higher error probability, while the delivery of status updates through the two-hop relay link could be more reliable at the cost of suffering longer transmission time. Thus, it is important to design the relaying protocol of the considered system for optimizing the information freshness. Considering the limited capabilities of IoT devices, we propose two low-complexity age-oriented relaying (AoR) protocols, i.e., the source-prioritized AoR (SP-AoR) protocol and the relay-prioritized AoR (RP-AoR) protocol, to reduce the AoI of the considered system. By carefully analyzing the evolution of the instantaneous AoI, we derive closed-form expressions of the average AoI for both proposed AoR protocols. We further optimize the generation probability of the status updates at the source in both protocols. Simulation results validate our theoretical analysis, and demonstrate that the two proposed protocols outperform each other under various system parameters. Moreover, the protocol with better performance can achieve near-optimal performance compared with the optimal scheduling policy attained by applying the Markov decision process (MDP) tool.


abstract: Rogue wave patterns in the nonlinear Schr\"{o}dinger equation are analytically studied. It is shown that when an internal parameter in the rogue waves (which controls the shape of initial weak perturbations to the uniform background) is large, these waves would exhibit clear geometric structures, which are formed by Peregrine waves in shapes such as triangle, pentagon, heptagon and nonagon, with a possible lower-order rogue wave at its center. These rogue patterns are analytically determined by the root structures of the Yablonskii-Vorob'ev polynomial hierarchy, and their orientations are controlled by the phase of the large parameter. It is also shown that when multiple internal parameters in the rogue waves are large but satisfy certain constraints, similar rogue patterns would still hold. Comparison between true rogue patterns and our analytical predictions shows excellent agreement.


title: Gaussian limit for determinantal point processes with $J$-Hermitian kernels

abstract: We show that the central limit theorem for linear statistics over determinantal point processes with $J$-Hermitian kernels holds under fairly general conditions. In particular, We establish Gaussian limit for linear statistics over determinantal point processes on union of two copies of $\mathbb{R}^d$ when the correlation kernels are $J$-Hermitian translation-invariant.


title: Sedimenting Elastic Filaments in Turbulent Flows

abstract: We investigate the gravitational settling of a long, model elastic filament in homogeneous isotropic turbulence. We show that the flow produces a strongly fluctuating settling velocity, whose mean is moderately enhanced over the still-fluid terminal velocity, and whose variance has a power-law dependence on the filament's weight but is surprisingly unaffected by its elasticity. In contrast, the tumbling of the filament is shown to be closely coupled to its stretching, and manifests as a Poisson process with a tumbling time that increases with the elastic relaxation time of the filament.


title: Characterization of Suspended Membrane Waveguides towards a Photonic Atom Trap Integrated Platform

abstract: We demonstrate an optical waveguide device, capable of supporting the high, in-vacuum, optical power necessary for trapping a single atom or a cold atom ensemble with evanescent fields. Our photonic integrated platforms, with suspended membrane waveguides, successfully manages optical powers of 6 mW (500 um span) to nearly 30 mW (125 um span) over an un-tethered waveguide span. This platform is compatible with laser cooling and magneto-optical traps (MOTs) in the vicinity of the suspended waveguide, called the membrane MOT and the needle MOT, a key ingredient for efficient trap loading. We evaluate two novel designs that explore critical thermal management features that enable this large power handling. This work represents a significant step toward an integrated platform for coupling neutral atom quantum systems to photonic and electronic integrated circuits on silicon.


title: What all do audio transformer models hear? Probing Acoustic Representations for Language Delivery and its Structure

abstract: In recent times, BERT based transformer models have become an inseparable part of the 'tech stack' of text processing models. Similar progress is being observed in the speech domain with a multitude of models observing state-of-the-art results by using audio transformer models to encode speech. This begs the question of what are these audio transformer models learning. Moreover, although the standard methodology is to choose the last layer embedding for any downstream task, but is it the optimal choice? We try to answer these questions for the two recent audio transformer models, Mockingjay and wave2vec2.0. We compare them on a comprehensive set of language delivery and structure features including audio, fluency and pronunciation features. Additionally, we probe the audio models' understanding of textual surface, syntax, and semantic features and compare them to BERT. We do this over exhaustive settings for native, non-native, synthetic, read and spontaneous speech datasets


title: A Robust and Domain-Adaptive Approach for Low-Resource Named Entity Recognition

abstract: Recently, it has attracted much attention to build reliable named entity recognition (NER) systems using limited annotated data. Nearly all existing works heavily rely on domain-specific resources, such as external lexicons and knowledge bases. However, such domain-specific resources are often not available, meanwhile it's difficult and expensive to construct the resources, which has become a key obstacle to wider adoption. To tackle the problem, in this work, we propose a novel robust and domain-adaptive approach RDANER for low-resource NER, which only uses cheap and easily obtainable resources. Extensive experiments on three benchmark datasets demonstrate that our approach achieves the best performance when only using cheap and easily obtainable resources, and delivers competitive results against state-of-the-art methods which use difficultly obtainable domainspecific resources. All our code and corpora can be found on https://github.com/houking-can/RDANER.


title: Multitask Learning for Class-Imbalanced Discourse Classification

abstract: Small class-imbalanced datasets, common in many high-level semantic tasks like discourse analysis, present a particular challenge to current deep-learning architectures. In this work, we perform an extensive analysis on sentence-level classification approaches for the News Discourse dataset, one of the largest high-level semantic discourse datasets recently published. We show that a multitask approach can improve 7% Micro F1-score upon current state-of-the-art benchmarks, due in part to label corrections across tasks, which improve performance for underrepresented classes. We also offer a comparative review of additional techniques proposed to address resource-poor problems in NLP, and show that none of these approaches can improve classification accuracy in such a setting.


title: VoxPopuli: A Large-Scale Multilingual Speech Corpus for Representation Learning, Semi-Supervised Learning and Interpretation

abstract: We introduce VoxPopuli, a large-scale multilingual corpus providing 100K hours of unlabelled speech data in 23 languages. It is the largest open data to date for unsupervised representation learning as well as semi-supervised learning. VoxPopuli also contains 1.8K hours of transcribed speeches in 16 languages and their aligned oral interpretations into 5 other languages totaling 5.1K hours. We provide speech recognition baselines and validate the versatility of VoxPopuli unlabelled data in semi-supervised learning under challenging out-of-domain settings. We will release the corpus at https://github.com/facebookresearch/voxpopuli under an open license.


title: Which Linguist Invented the Lightbulb? Presupposition Verification for Question-Answering

abstract: Many Question-Answering (QA) datasets contain unanswerable questions, but their treatment in QA systems remains primitive. Our analysis of the Natural Questions (Kwiatkowski et al. 2019) dataset reveals that a substantial portion of unanswerable questions ($\sim$21%) can be explained based on the presence of unverifiable presuppositions. We discuss the shortcomings of current models in handling such questions, and describe how an improved system could handle them. Through a user preference study, we demonstrate that the oracle behavior of our proposed system that provides responses based on presupposition failure is preferred over the oracle behavior of existing QA systems. Then we discuss how our proposed system could be implemented, presenting a novel framework that breaks down the problem into three steps: presupposition generation, presupposition verification and explanation generation. We report our progress in tackling each subproblem, and present a preliminary approach to integrating these steps into an existing QA system. We find that adding presuppositions and their verifiability to an existing model yields modest gains in downstream performance and unanswerability detection. The biggest bottleneck is the verification component, which needs to be substantially improved for the integrated system to approach ideal behavior -- even transfer from the best entailment models currently falls short.


title: Graph Picture of Linear Quantum Networks and Entanglement

abstract: The indistinguishability of quantum particles is widely used as a resource for the generation of entanglement. Linear quantum networks (LQNs), in which identical particles linearly evolve to arrive at multimode detectors, exploit the indistinguishability to generate various multipartite entangled states by the proper control of transformation operators. However, it is challenging to devise a suitable LQN that carries a specific entangled state or compute the possible entangled state in a given LQN as the particle and mode number increase. This research presents a mapping process of arbitrary LQNs to graphs, which provides a powerful tool for analyzing and designing LQNs to generate multipartite entanglement. We also introduce the perfect matching diagram (PM diagram), which is a refined directed graph that includes all the essential information on the entanglement generation by an LQN. The PM diagram furnishes rigorous criteria for the entanglement of an LQN and solid guidelines for designing suitable LQNs for the genuine entanglement. Based on the structure of PM diagrams, we compose LQNs for fundamental $N$-partite genuinely entangled states.


title: Efficient presolving methods for the influence maximization problem

abstract: We consider the influence maximization problem (IMP) which asks for identifying a limited number of key individuals to spread influence in a network such that the expected number of influenced individuals is maximized. The stochastic maximal covering location problem (SMCLP) formulation is a mixed integer programming formulation that effectively approximates the IMP by the Monte-Carlo sampling. For IMPs with a large-scale network or a large number of samplings, however, the SMCLP formulation cannot be efficiently solved by existing exact algorithms due to its large problem size. In this paper, we attempt to develop presolving methods to reduce the problem size and hence enhance the capability of employing exact algorithms in solving large-scale IMPs. In particular, we propose two effective presolving methods, called strongly connected nodes aggregation (SCNA) and isomorphic nodes aggregation (INA), respectively. The SCNA enables to build a new SMCLP formulation that is potentially much more compact than the existing one, and the INA further eliminates variables and constraints in the SMCLP formulation. A theoretical analysis on two special cases of the IMP is provided to demonstrate the strength of the SCNA and INA in reducing the problem size of the SMCLP formulation. We integrate the proposed presolving methods, SCNA and INA, into the Benders decomposition algorithm, which is recognized as one of the state-of-the-art exact algorithms for solving the IMP. We show that the proposed SCNA and INA provide the possibility to develop a much faster separation algorithm for the Benders cuts. Numerical results demonstrate that with the SCNA and INA, the Benders decomposition algorithm is much more effective in solving the IMP in terms of solution time.


title: End-to-end Semantic Role Labeling with Neural Transition-based Model

abstract: End-to-end semantic role labeling (SRL) has been received increasing interest. It performs the two subtasks of SRL: predicate identification and argument role labeling, jointly. Recent work is mostly focused on graph-based neural models, while the transition-based framework with neural networks which has been widely used in a number of closely-related tasks, has not been studied for the joint task yet. In this paper, we present the first work of transition-based neural models for end-to-end SRL. Our transition model incrementally discovers all sentential predicates as well as their arguments by a set of transition actions. The actions of the two subtasks are executed mutually for full interactions. Besides, we suggest high-order compositions to extract non-local features, which can enhance the proposed transition model further. Experimental results on CoNLL09 and Universal Proposition Bank show that our final model can produce state-of-the-art performance, and meanwhile keeps highly efficient in decoding. We also conduct detailed experimental analysis for a deep understanding of our proposed model.


title: Image-based Textile Decoding

abstract: A textile fabric consists of countless parallel vertical yarns (warps) and horizontal yarns (wefts). While common looms can weave repetitive patterns, Jacquard looms can weave the patterns without repetition restrictions. A pattern in which the warps and wefts cross on a grid is defined in a binary matrix. The binary matrix can define which warp and weft is on top at each grid point of the Jacquard fabric. The process can be regarded as encoding from pattern to textile. In this work, we propose a decoding method that generates a binary pattern from a textile fabric that has been already woven. We could not use a deep neural network to learn the process based solely on the training set of patterns and observed fabric images. The crossing points in the observed image were not completely located on the grid points, so it was difficult to take a direct correspondence between the fabric images and the pattern represented by the matrix in the framework of deep learning. Therefore, we propose a method that can apply the framework of deep learning via the intermediate representation of patterns and images. We show how to convert a pattern into an intermediate representation and how to reconvert the output into a pattern and confirm its effectiveness. In this experiment, we confirmed that 93% of correct pattern was obtained by decoding the pattern from the actual fabric images and weaving them again.