title: Electromechanical properties of ferroelectric polymers: Finsler geometry modeling and a Monte Carlo study

abstract: Polyvinylidene difluoride (PVDF) is a ferroelectric polymer characterized by negative strain along the direction of the applied electric field. However, the electromechanical response mechanism of PVDF remains unclear due to the complexity of the hierarchical structure across the length scales. As described in this letter, we employ the Finsler geometry model as a new solution to the aforementioned problem and demonstrate that the deformations observed through Monte Carlo simulations on 3D tetrahedral lattices are nearly identical to those of real PVDF. Specifically, the simulated mechanical deformation and polarization are similar to those observed experimentally.


title: A variational asymmetric phase-field model of quasi-brittle fracture: Energetic solutions and their computation

abstract: We derive the variational formulation of a gradient damage model by applying the energetic formulation of rate-independent processes and obtain a regularized formulation of fracture. The model exhibits different behavior at traction and compression and has a state-dependent dissipation potential which induces a path-independent work. We will show how such formulation provides the natural framework for setting up a consistent numerical scheme with the underlying variational structure and for the derivation of additional necessary conditions of global optimality in the form of a two-sided energetic inequality. These conditions will form our criteria for making a better choice of the starting guess in the application of the alternating minimization scheme to describe crack propagation as quasistatic evolution of global minimizers of the underlying incremental functional. We will apply the procedure for two- and three-dimensional benchmark problems and we will compare the results with the solution of the weak form of the Euler-Lagrange equations. We will observe that by including the two-sided energetic inequality in our solution method, we describe, for some of the benchmark problems, an equilibrium path when the damage starts to manifest, which is different from the one obtained by solving simply the stationarity conditions of the underlying functional.


title: Identifying Grey-box Thermal Models with Bayesian Neural Networks

abstract: Smart thermostats are one of the most prevalent home automation products. They learn occupant preferences and schedules, and utilize an accurate thermal model to reduce the energy use of heating and cooling equipment while maintaining the temperature for maximum comfort. Despite the importance of having an accurate thermal model for the operation of smart thermostats, fast and reliable identification of this model is still an open problem. In this paper, we explore various techniques for establishing a suitable thermal model using time series data generated by smart thermostats. We show that Bayesian neural networks can be used to estimate parameters of a grey-box thermal model if sufficient training data is available, and this model outperforms several black-box models in terms of the temperature prediction accuracy. Leveraging real data from 8,884 homes equipped with smart thermostats, we discuss how the prior knowledge about the model parameters can be utilized to quickly build an accurate thermal model for another home with similar floor area and age in the same climate zone. Moreover, we investigate how to adapt the model originally built for the same home in another season using a small amount of data collected in this season. Our results confirm that maintaining only a small number of pre-trained thermal models will suffice to quickly build accurate thermal models for many other homes, and that 1~day smart thermostat data could significantly improve the accuracy of transferred models in another season.


title: Rolling systems and their billiard limits

abstract: Billiard systems, broadly speaking, may be regarded as models of mechanical systems in which rigid parts interact through elastic impulsive (collision) forces. When it is desired or necessary to account for linear/angular momentum exchange in collisions involving a spherical body, a type of billiard system often referred to as no-slip has been used. In recent work, it has become apparent that no-slip billiards resemble non-holonomic mechanical systems in a number of ways. Based on an idea by Borisov, Kilin and Mamaev, we show that no-slip billiards very generally arise as limits of non-holonomic (rolling) systems, in a way that is akin to how ordinary billiards arise as limits of geodesic flows through a flattening of the Riemannian manifold.


title: MPC-Based Hierarchical Task Space Control of Underactuated and Constrained Robots for Execution of Multiple Tasks

abstract: This paper proposes an MPC-based controller to efficiently execute multiple hierarchical tasks for underactuated and constrained robotic systems. Existing task-space controllers or whole-body controllers solve instantaneous optimization problems given task trajectories and the robot plant dynamics. However, the task-space control method we propose here relies on the prediction of future state trajectories and the corresponding costs-to-go terms over a finite time-horizon for computing control commands. We employ acceleration energy error as the performance index for the optimization problem and extend it over the finite-time horizon of our MPC. Our approach employs quadratically constrained quadratic programming, which includes quadratic constraints to handle multiple hierarchical tasks, and is computationally more efficient than nonlinear MPC-based approaches that rely on nonlinear programming. We validate our approach using numerical simulations of a new type of robot manipulator system, which contains underactuated and constrained mechanical structures.


title: Interactive rank testing by betting

abstract: In order to test if a treatment is perceptibly different from a placebo in a randomized experiment with covariates, classical nonparametric tests based on ranks of observations/residuals have been employed (eg: by Rosenbaum), with finite-sample valid inference enabled via permutations. This paper proposes a different principle on which to base inference: if -- with access to all covariates and outcomes, but without access to any treatment assignments -- one can form a ranking of the subjects that is sufficiently nonrandom (eg: mostly treated followed by mostly control), then we can confidently conclude that there must be a treatment effect. Based on a more nuanced, quantifiable, version of this principle, we design an interactive test called i-bet: the analyst forms a single permutation of the subjects one element at a time, and at each step the analyst bets toy money on whether that subject was actually treated or not, and learns the truth immediately after. The wealth process forms a real-valued measure of evidence against the global causal null, and we may reject the null at level $\alpha$ if the wealth ever crosses $1/\alpha$. Apart from providing a fresh "game-theoretic" principle on which to base the causal conclusion, the i-bet has other statistical and computational benefits, for example (A) allowing a human to adaptively design the test statistic based on increasing amounts of data being revealed (along with any working causal models and prior knowledge), and (B) not requiring permutation resampling, instead noting that under the null, the wealth forms a nonnegative martingale, and the type-1 error control of the aforementioned decision rule follows from a tight inequality by Ville. Further, if the null is not rejected, new subjects can later be added and the test can be simply continued, without any corrections (unlike with permutation p-values).


title: Robust Design for Intelligent Reflecting Surface Assisted MIMO-OFDMA Terahertz Communications

abstract: Recently, terahertz (THz) communication has drawn considerable attention as one of the promising technologies for the future wireless communications owning to its ultra-wide bandwidth. Nonetheless, one major obstacle that prevents the actual deployment of THz lies in its inherent huge attenuation. Intelligent reflecting surface (IRS) and multiple-input multiple-output (MIMO) represent two effective solutions for compensating the large pathloss in THz systems. In this paper, we consider an IRS-aided multi-user THz MIMO system with orthogonal frequency division multiple access, where the sparse radio frequency chain antenna structure is adopted for reducing the power consumption. The objective is to maximize the weighted sum rate via jointly optimizing the hybrid analog/digital beamforming at the base station and reflection matrix at the IRS. {Since the analog beamforming and reflection matrix need to cater all users and subcarriers, it is difficult to directly solve the formulated problem, and thus, an alternatively iterative optimization algorithm is proposed.} Specifically, the analog beamforming is designed by solving a MIMO capacity maximization problem, while the digital beamforming and reflection matrix optimization are both tackled using semidefinite relaxation technique. Considering that obtaining perfect channel state information (CSI) is a challenging task in IRS-based systems, we further explore the case with the imperfect CSI for the channels from the IRS to users. Under this setup, we propose a robust beamforming and reflection matrix design scheme for the originally formulated non-convex optimization problem. Finally, simulation results are presented to demonstrate the effectiveness of the proposed algorithms.


title: STR: Seasonal-Trend Decomposition Using Regression

abstract: We propose a new method for decomposing seasonal data: STR (a Seasonal-Trend decomposition using Regression). Unlike other decomposition methods, STR allows for multiple seasonal and cyclic components, covariates, seasonal patterns that may have non-integer periods, and seasonality with complex topology. It can be used for time series with any regular time index including hourly, daily, weekly, monthly or quarterly data. It is competitive with existing methods when they exist, but tackles many more decomposition problem than other methods allow. STR is based on a regularized optimization, and so is somewhat related to ridge regression. Because it is based on a statistical model, we can easily compute confidence intervals for components, something that is not possible with most existing decomposition methods (such as STL, X-12-ARIMA, SEATS-TRAMO, etc.). Our model is implemented in the R package stR, so can be applied by anyone to their own data.


title: Examining the validity of Schatten-$p$-norm-based functionals as coherence measures

abstract: It has been asked by different authors whether the two classes of Schatten-$p$-norm-based functionals $C_p(\rho)=\min_{\sigma\in\mathcal{I}}||\rho-\sigma||_p$ and $ \tilde{C}_p(\rho)= \|\rho-\Delta\rho\|_{p}$ with $p\geq 1$ are valid coherence measures under incoherent operations, strictly incoherent operations, and genuinely incoherent operations, respectively, where $\mathcal{I}$ is the set of incoherent states and $\Delta\rho$ is the diagonal part of density operator $\rho$. Of these questions, all we know is that $C_p(\rho)$ is not a valid coherence measure under incoherent operations and strictly incoherent operations, but all other aspects remain open. In this paper, we prove that (1) $\tilde{C}_1(\rho)$ is a valid coherence measure under both strictly incoherent operations and genuinely incoherent operations but not a valid coherence measure under incoherent operations, (2) $C_1(\rho)$ is not a valid coherence measure even under genuinely incoherent operations, and (3) neither ${C}_{p>1}(\rho)$ nor $\tilde{C}_{p>1}(\rho)$ is a valid coherence measure under any of the three sets of operations. This paper not only provides a thorough examination on the validity of taking $C_p(\rho)$ and $\tilde{C}_p(\rho)$ as coherence measures, but also finds an example that fulfills the monotonicity under strictly incoherent operations but violates it under incoherent operations.


title: Electric field control of disorder-tunable superconductivity and the emergence of quantum metal at an oxide interface

abstract: We report on an extraordinary field effect of the superconducting LaAlO3/KTaO3(111) interface with Tc ~2 K. By applying a gate voltage (VG) across KTaO3, the interface can be continuously tuned from superconducting into insulating states, yielding a dome-shaped Tc-VG dependence. The electric gating has only a minor effect on carrier density as evidenced in the Hall-effect measurement, while it changes spatial profile of the carriers in the interface, hence the carrier's disorder level significantly. As temperature is decreased, the resistance saturates at lowest temperature in both superconducting and insulating sides, despite an initial dramatic dropping or increasing, which suggests an emergence of quantum metallic state associated with failed superconductor and/or fragile insulator. A VG-modulation of the magnetic-field-driven superconductor to insulator quantum phase transition reveals a non-universal criticality.


title: Argumentation-based Agents that Explain their Decisions

abstract: Explainable Artificial Intelligence (XAI) systems, including intelligent agents, must be able to explain their internal decisions, behaviours and reasoning that produce their choices to the humans (or other systems) with which they interact. In this paper, we focus on how an extended model of BDI (Beliefs-Desires-Intentions) agents can be able to generate explanations about their reasoning, specifically, about the goals he decides to commit to. Our proposal is based on argumentation theory, we use arguments to represent the reasons that lead an agent to make a decision and use argumentation semantics to determine acceptable arguments (reasons). We propose two types of explanations: the partial one and the complete one. We apply our proposal to a scenario of rescue robots.


title: Resolving Resource Incompatibilities in Intelligent Agents

abstract: An intelligent agent may in general pursue multiple procedural goals simultaneously, which may lead to arise some conflicts (incompatibilities) among them. In this paper, we focus on the incompatibilities that emerge due to resources limitations. Thus, the contribution of this article is twofold. On one hand, we give an algorithm for identifying resource incompatibilities from a set of pursued goals and, on the other hand, we propose two ways for selecting those goals that will continue to be pursued: (i) the first is based on abstract argumentation theory, and (ii) the second based on two algorithms developed by us. We illustrate our proposal using examples throughout the article.


title: Updated Spin and Orbital Parameters and Energy Dependent Pulse Behaviors of the Accreting Millisecond X-ray Pulsar IGR J17591$-$2342

abstract: We present our works in updating the spin and orbital parameters for the newly discovered accreting millisecond X-ray pulsar (AMXP) IGR J17591$-$2342 through pulsar timing and analyzing its energy dependent pulse behaviors. The data being analyzed were collected by Neutron Star Interior Composition ExploreR (NICER) that observed this AMXP from August to October 2018. Using the pulse arrival time delay technique, more accurate spin and orbital parameters were evaluated. From the measured spin frequency derivative, it is estimated that the magnetic field of the neutron star in IGR J17591$-$2342 is approximately $4 \times 10^{8}$ G. Precise pulse profiles can be made using the updated spin and orbital parameters. The soft phase lag phenomenon that is usually seen in other AMXPs is also observed from $\sim$4 keV to 12 keV with a value of 0.06 cycles (1.14 $\mu$s). Additionally, the pulsed fractional amplitude increases from 1 to $\sim$5 keV and then decreases for higher energy bands. We found that these phenomena, as well as the energy spectrum, can be explained by the two-component model with a relatively strong blackbody component and an additional unpulsed disk blackbody component.


title: Boundary-dependent Self-dualities, Winding Numbers and Asymmetrical Localization in non-Hermitian Quasicrystals

abstract: We study a non-Hermitian Aubry-Andr\'e-Harper model with both nonreciprocal hoppings and complex quasiperiodical potentials, which is a typical non-Hermitian quasicrystal. We introduce boundary-dependent self-dualities in this model and obtain analytical results to describe its Asymmetrical Anderson localization and topological phase transitions. We find that the Anderson localization is not necessarily in accordance with the topological phase transitions, which are characteristics of localization of states and topology of energy spectrum respectively. Furthermore, in the localized phase, single-particle states are asymmetrically localized due to non-Hermitian skin effect and have energy-independent localization lengths. We also discuss possible experimental detections of our results in electric circuits.


title: Clinically Translatable Direct Patlak Reconstruction from Dynamic PET with Motion Correction Using Convolutional Neural Network

abstract: Patlak model is widely used in 18F-FDG dynamic positron emission tomography (PET) imaging, where the estimated parametric images reveal important biochemical and physiology information. Because of better noise modeling and more information extracted from raw sinogram, direct Patlak reconstruction gains its popularity over the indirect approach which utilizes reconstructed dynamic PET images alone. As the prerequisite of direct Patlak methods, raw data from dynamic PET are rarely stored in clinics and difficult to obtain. In addition, the direct reconstruction is time-consuming due to the bottleneck of multiple-frame reconstruction. All of these impede the clinical adoption of direct Patlak reconstruction.In this work, we proposed a data-driven framework which maps the dynamic PET images to the high-quality motion-corrected direct Patlak images through a convolutional neural network. For the patient motion during the long period of dynamic PET scan, we combined the correction with the backward/forward projection in direct reconstruction to better fit the statistical model. Results based on fifteen clinical 18F-FDG dynamic brain PET datasets demonstrates the superiority of the proposed framework over Gaussian, nonlocal mean and BM4D denoising, regarding the image bias and contrast-to-noise ratio.


title: The Leray-Hirsch Theorem for equivariant oriented cohomology of flag varieties

abstract: We use the formal affine Demazure algebra to construct an explicit Leray-Hirsch Theorem for torus equivariant oriented cohomology of flag varieties. We then generalize the Borel model of such theory to partial flag varieties.


title: Exploring System Resiliency and Supporting Design Methods

abstract: This paper provides a survey of the industry perspective on System Resiliency and Resiliency design approaches and briefly touches on Organizational Resiliency topics. Beginning with a composite definition of Resiliency, System Capabilities, Adversities, and the Resiliency Life-cycle the document then covers Operational Response Timelines, Failure Sources and Classifications. Next, Design for Resiliency is discussed with an introduction to Systems Theory and a review of Trade-off Analysis and Resiliency Dependencies. Then more than a dozen Resiliency Design Patterns are included for the reader to consider for their own solutioning. Supporting non-functional design topics including Availability, Performance, Security, Reliability as well as Reliability Allocation using Reliability Block Diagrams are also covered. Additionally, Failure Mode and Effect Analysis is reviewed, and a Resiliency Maturity Model is discussed. Finally, several Resiliency Design Examples are presented along with a set of recommendations on how to apply System Resiliency concepts and methods in an IT environment.


title: Thermodynamics of the Euler-Heisenberg-AdS black hole

abstract: We generalize the solution to the Euler-Heisenberg (EH) theory coupled to gravity that represents a nonlinearly charged static black hole (BH) introducing the cosmological constant; the obtained solution is characterized by four parameters: mass $M$, electric charge $Q$, cosmological constant $\Lambda$ (positive or negative) and the Euler-Heisenberg theory parameter $a$. Then we briefly analyze some BH features like horizons, electromagnetic field and geodesics. We mainly focus on its thermodynamic properties in the extended space where the anti-de Sitter parameter is interpreted as the pressure; we show the consistency between the Smarr formula and the first law of BH thermodynamics, interpreting the parameter of the EH theory as the vacuum polarization. We determine the equation of state and the critical points; the critical volume determines two branches of BHs, one near Maxwell behavior and a second one manifestly nonlinear electromagnetic. Moreover, the analysis of the Gibbs free energy indicates that two phase transitions can occur; we also construct the coexistence curve $P$-$T$ where the different phases of the BH can be observed; the critical point is characterized by the standard mean field theory exponents, and the critical variables satisfy $P_{\rm crit} v_{\rm crit}/ T_{\rm crit} = 3/8 $ plus terms of the ten thousandths order in the Euler-Heisenberg parameter $a$


title: A unified algebraic underpinning for the Hahn polynomials and rational functions

abstract: An algebra denoted $m\mathfrak{H}$ with three generators is introduced and shown to admit embeddings of the Hahn algebra and the rational Hahn algebra. It has a real version of the deformed Jordan plane as a subalgebra whose connection with Hahn polynomials is established. Representation bases corresponding to eigenvalue or generalized eigenvalue problems involving the generators are considered. Overlaps between these bases are shown to be bispectral orthogonal polynomials or biorthogonal rational functions thereby providing a unified description of these functions based on $m\mathfrak{H}$. Models in terms of differential and difference operators are used to identify explicitly the underlying special functions as Hahn polynomials and rational functions and to determine their characterizations. An embedding of $m\mathfrak{H}$ in $\mathcal{U}(\mathfrak{sl}_2)$ is presented. A Pad\'e approximation table for the binomial function is obtained as a by-product.


title: Reversible Reciprocal Relation of Thermoelectricity

abstract: The first Kelvin relation that states the Peltier coefficient should be equal to the product of temperature and Seebeck coefficient is a fundamental principle in thermoelectricity. It has been regarded as an important application and direct experimental verification of Onsager reciprocal relation (ORR) that is a cornerstone of irreversible thermodynamics. However, some critical questions still remain: why Kelvin's proof that omits all irreversibility within a thermoelectric transport process can reach the correct result, how to properly select the generalized-force-flux pairs for deriving the first Kelvin relation from ORR, and whether the first Kelvin relation is restricted by the requirement of linear transport regime. The present work is to answer these questions based on the fundamental thermodynamic principles. Since the thermoelectric effects are reversible, we can redefine the Seebeck and Peltier coefficients using the quantities in reversible processes with no time derivative involved, which are renamed as "reversible Seebeck and Peltier coefficients". The relation between them (called "the reversible reciprocal relation of thermoelectricity") is derived from the Maxwell relations, which can be reduced to the conventional Kelvin relation, when the local equilibrium assumption (LEA) is adopted. In this sense, the validity of the first Kelvin relation is guaranteed by the reversible thermodynamic principles and LEA, without the requirement of linear transport process. Additionally, the generalized force-flux pairs to obtain the first Kelvin relation from ORR can be proper both mathematically and thermodynamically, only when they correspond to the conjugate-variable pairs of which Maxwell relations can yield the reversible reciprocal relation. The present theoretical framework can be further extended to other coupled phenomena.


title: Attention Cube Network for Image Restoration

abstract: Recently, deep convolutional neural network (CNN) have been widely used in image restoration and obtained great success. However, most of existing methods are limited to local receptive field and equal treatment of different types of information. Besides, existing methods always use a multi-supervised method to aggregate different feature maps, which can not effectively aggregate hierarchical feature information. To address these issues, we propose an attention cube network (A-CubeNet) for image restoration for more powerful feature expression and feature correlation learning. Specifically, we design a novel attention mechanism from three dimensions, namely spatial dimension, channel-wise dimension and hierarchical dimension. The adaptive spatial attention branch (ASAB) and the adaptive channel attention branch (ACAB) constitute the adaptive dual attention module (ADAM), which can capture the long-range spatial and channel-wise contextual information to expand the receptive field and distinguish different types of information for more effective feature representations. Furthermore, the adaptive hierarchical attention module (AHAM) can capture the long-range hierarchical contextual information to flexibly aggregate different feature maps by weights depending on the global context. The ADAM and AHAM cooperate to form an "attention in attention" structure, which means AHAM's inputs are enhanced by ASAB and ACAB. Experiments demonstrate the superiority of our method over state-of-the-art image restoration methods in both quantitative comparison and visual analysis. Code is available at https://github.com/YCHang686/A-CubeNet.


title: Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models

abstract: Computational learning theory states that many classes of boolean formulas are learnable in polynomial time. This paper addresses the understudied subject of how, in practice, such formulas can be learned by deep neural networks. Specifically, we analyze boolean formulas associated with model-sampling benchmarks, combinatorial optimization problems, and random 3-CNFs with varying degrees of constrainedness. Our experiments indicate that: (i) neural learning generalizes better than pure rule-based systems and pure symbolic approach; (ii) relatively small and shallow neural networks are very good approximators of formulas associated with combinatorial optimization problems; (iii) smaller formulas seem harder to learn, possibly due to the fewer positive (satisfying) examples available; and (iv) interestingly, underconstrained 3-CNF formulas are more challenging to learn than overconstrained ones. Such findings pave the way for a better understanding, construction, and use of interpretable neurosymbolic AI methods.


title: Quantum Tunneling Theory of Cooper Pairs as Bosonic Particles

abstract: We propose a simple phenomenological theory for quantum tunneling of Cooper pairs based on their boson like nature. Thus it applies in the absence of quasiparticle excitations (fermions), and should be suitable for boson like particles at the low energy regime. Around zero bias voltage our model reveals a rapid increase in tunneling current which rapidly saturates. This manifests as a zero bias conductance peak that strongly depends on the superconductors transition temperature. This low energy tunneling of Cooper pairs could serve as an alternative explanation for a number of tunneling experiments where zero bias conductance peak has been observed.


title: Batalin--Vilkovisky algebra structures on the Hochschild cohomology of generalized Weyl algebras

abstract: This paper is devoted to the calculation of Batalin-Vilkovisky algebra structures on the Hochschild cohomology of skew Calabi-Yau generalized Weyl algebras. We firstly establish a Van den Bergh duality at the level of complex. Then based on the results of Solotar et al., we apply Kowalzig and Kr\"ahmer's method to the Hochschild homology of generalized Weyl algebras, and translate the homological information into cohomological one by virtue of the Van den Bergh duality, obtaining the desired Batalin-Vilkovisky algebra structures. Finally, we apply our results to quantum weighted projective lines and Podle\'s quantum spheres, and the Batalin-Vilkovisky algebra structures for them are described completely.


title: Influence of triaxial deformation on wobbling motion in even-even nuclei

abstract: The influence of triaxial deformation $\gamma$ on the purely collective form of wobbling motion in even-even nuclei are discussed based on the triaxial rotor model. It is found that the harmonic approximation is realized well when $\gamma=30^{\circ}$ for the properties of energy spectra and electric quadrupole transition probabilities, while this approximation gets bad when $\gamma$ deviates from $30^{\circ}$. A recent data from Coulomb excitation experiment, namely $3_1^+$ and $2_2^+$ for the $^{110}$Ru are studied and might be suggested as the bandhead of the wobbling bands. In addition, two types of angular momentum geometries for wobbling motion, stemming from different $\gamma$ values, are exhibited by azimuthal plots.


title: DualDE: Dually Distilling Knowledge Graph Embedding for Faster and Cheaper Reasoning

abstract: Knowledge Graph Embedding (KGE) is a popular method for KG reasoning and training KGEs with higher dimension are usually preferred since they have better reasoning capability. However, high-dimensional KGEs pose huge challenges to storage and computing resources and are not suitable for resource-limited or time-constrained applications, for which faster and cheaper reasoning is necessary. To address this problem, we propose DualDE, a knowledge distillation method to build low-dimensional student KGE from pre-trained high-dimensional teacher KGE. DualDE considers the dual-influence between the teacher and the student. In DualDE, we propose a soft label evaluation mechanism to adaptively assign different soft label and hard label weights to different triples, and a two-stage distillation approach to improve the student's acceptance of the teacher. Our DualDE is general enough to be applied to various KGEs. Experimental results show that our method can successfully reduce the embedding parameters of a high-dimensional KGE by 7 times - 15 times and increase the inference speed by 2 times - 6 times while retaining a high performance. We also experimentally prove the effectiveness of our soft label evaluation mechanism and two-stage distillation approach via ablation study.


title: Spin-polarized fermions with $p$-wave interactions

abstract: We study quantum degenerate Fermi gases of ${^6}$Li atoms at high densities ($10^{15}$ cm$^{-3}$) and observe elastic and inelastic $p$-wave collisions far away from any Feshbach resonance. $P$-wave evaporation reaches temperatures of $T/T_F=0.42$ partially limited by the slow transfer of energy from high to low velocities through $p$-wave collisions. Via cross-dimensional thermalization, the $p$-wave background scattering volume is determined to be $\lvert V_p \rvert =(39^{+1.3}_{-1.6}a_0)^3$. $P$-wave dipolar relaxation creates a metastable mixture of the lowest and highest hyperfine states.


title: A Data-driven Hierarchical Control Structure for Systems with Uncertainty

abstract: The paper introduces a Data-driven Hierarchical Control (DHC) structure to improve performance of systems operating under the effect of system and/or environment uncertainty. The proposed hierarchical approach consists of two parts: 1) A data-driven model identification component to learn a linear approximation between reference signals given to an existing lower-level controller and uncertain time-varying plant outputs. 2) A higher-level controller component that utilizes the identified approximation and wraps around the existing controller for the system to handle modeling errors and environment uncertainties during system deployment. We derive loose and tight bounds for the identified approximation's sensitivity to noisy data. Further, we show that adding the higher-level controller maintains the original system's stability. A benefit of the proposed approach is that it requires only a small amount of observations on states and inputs, and it thus works online; that feature makes our approach appealing to robotics applications where real-time operation is critical. The efficacy of the DHC structure is demonstrated in simulation and is validated experimentally using aerial robots with approximately-known mass and moment of inertia parameters and that operate under the influence of ground effect.


title: The links between magnetic fields and filamentary clouds III: field regulated mass cumulative functions

abstract: During the past decade the dynamical importance of magnetic fields in molecular clouds has been increasingly recognized, as observational evidence has accumulated. However, how a magnetic field affect star formation is still unclear. Typical star formation models still treat a magnetic fields as an isotropic pressure, ignoring the fundamental property of dynamically important magnetic fields: their direction. This study builds on our previous work which demonstrated how the mean magnetic field orientation relative to the global cloud elongation can affect cloud fragmentation. After the linear mass distribution reported earlier, we show here that the mass cumulative function (MCF) of a cloud is also regulated by the field orientation. A cloud elongated closer to the field direction tends to have a shallower MCF, in other words, a higher portion of the gas in high density. The evidence is consistent with our understanding of bimodal star formation efficiency discovered earlier, which is also correlated with the field orientations.


title: Inertia and feedback parameters adaptive control of virtual synchronous generator

abstract: The virtual synchronous generator technology analogs the characteristics of the synchronous generator via the controller design. It improved the stability of the grid systems which include the new energy. At the same time, according to the adjustable characteristics of the virtual synchronous generator parameters, the parameter adaptive adjustment is used to improve the dynamic performance of the system. However, the traditional virtual synchronous generator adaptive control technology still has two drawbacks: on the one hand, the large-scale adjustment of the damping droop coefficient and the virtual moment of inertia requires the system having a high energy storage margin; On the other hand, there is a power overshoot phenomenon in the transient regulation process, which is disadvantageous to the power equipment. First, this paper provides a convenient adjustment method for improving the transient stability of the system, the system damping is adjusted by introducing the output speed feedback. Second, according to the transient power-angle characteristics of the system, a parameter adaptive control strategy is proposed, which shortens the transient adjustment time and ensures that the deviation of the system frequency in the transient adjustment process is within the allowable range, and improves the transient performance of the grid frequency adjustment, at the same time, the power overshoot is suppressed. Finally, the experimental results show that the proposed control strategy is superior to the existing adaptive control strategy.


title: A weak topological insulator state in quasi-one-dimensional superconductor TaSe$_3$

abstract: A well-established way to find novel Majorana particles in a solid-state system is to have superconductivity arising from the topological electronic structure. To this end, the heterostructure systems that consist of normal superconductor and topological material have been actively explored in the past decade. However, a search for the single material system that simultaneously exhibits intrinsic superconductivity and topological phase has been largely limited, although such a system is far more favorable especially for the quantum device applications. Here, we report the electronic structure study of a quasi-one-dimensional (q1D) superconductor TaSe$_3$. Our results of angle-resolved photoemission spectroscopy (ARPES) and first-principles calculation clearly show that TaSe$_3$ is a topological superconductor. The characteristic bulk inversion gap, in-gap state and its shape of non-Dirac dispersion concurrently point to the topologically nontrivial nature of this material. The further investigations of the Z$_2$ indices and the topologically distinctive surface band crossings disclose that it belongs to the weak topological insulator (WTI) class. Hereby, TaSe$_3$ becomes the first verified example of an intrinsic 1D topological superconductor. It hopefully provides a promising platform for future applications utilizing Majorana bound states localized at the end of 1D intrinsic topological superconductors.


title: Integrated Cooling (i-Cool) Textile of Heat Conduction and Sweat Transportation for Personal Perspiration Management

abstract: Perspiration evaporation plays an indispensable role in human body heat dissipation. However, conventional textiles show limited perspiration management capability in moderate/profuse perspiration scenarios, i.e. low evaporation ability, ineffective evaporative cooling effect, and resultant human body dehydration and electrolyte disorder. Here, we propose a novel concept of integrated cooling (i-Cool) textile of heat conduction and sweat transportation for personal perspiration management based on unique functional structure design. By integrating heat conductive pathways and water transport channels decently, this textile not only shows the capability of liquid water wicking, but also exhibits superior evaporation rate than traditional textiles. Furthermore, compared with cotton, about 2.8 $^\circ$C cooling effect causing less than one third amount of dehydration has also been demonstrated on the artificial sweating skin platform with feedback control loop simulating human body perspiration situation. Moreover, the practical application feasibility of the i-Cool textile design principles has been validated as well. Owing to its exceptional personal perspiration management performance in liquid water wicking, fast evaporation, efficient cooling effect and reduced human body dehydration/electrolyte loss, we expect this i-Cool textile provides promising design guidelines for next-generation personal perspiration management textile.


title: Surjective separating maps on noncommutative $L^p$-spaces

abstract: Let $1\leq p<\infty$ and let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded map between noncommutative $L^p$-spaces. If $T$ is bijective and separating (i.e., for any $x,y\in L^p({\mathcal M})$ such that $x^*y=xy^*=0$, we have $T(x)^*T(y)=T(x)T(y)^*=0$), we prove the existence of decompositions ${\mathcal M}={\mathcal M}_1\mathop{\oplus}\limits^\infty{\mathcal M}_2$, ${\mathcal N}={\mathcal N}_1 \mathop{\oplus}\limits^\infty{\mathcal N}_2$ and maps $T_1\colon L^p({\mathcal M}_1)\to L^p({\mathcal N}_1)$, $T_2\colon L^p({\mathcal M}_2)\to L^p({\mathcal N}_2)$, such that $T=T_1+T_2$, $T_1$ has a direct Yeadon type factorisation and $T_2$ has an anti-direct Yeadon type factorisation. We further show that $T^{-1}$ is separating in this case. Next we prove that for any $1\leq p<\infty$ (resp. any $1\leq p\not=2<\infty$), a surjective separating map $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is $S^1$-bounded (resp. completely bounded) if and only if there exists a decomposition ${\mathcal M}={\mathcal M}_1 \mathop{\oplus}\limits^\infty{\mathcal M}_2$ such that $T|_{L^p({\tiny {\mathcal M}_1})}$ has a direct Yeadon type factorisation and ${\mathcal M}_2$ is subhomogeneous.


title: Secret key distillation over satellite-to-satellite free-space optics channel with a limited-sized aperture eavesdropper in the same plane of the legitimate receiver

abstract: Conventionally, unconditional information security has been studied by quantum cryptography although the assumption of an omnipotent eavesdropper is too strict for some realistic implementations. In this paper, we study the realistic secret key distillation over a satellite-to-satellite free space optics channel where we assume a limited-sized aperture eavesdropper (Eve) in the same plane of the legitimate receiver (Bob) and determine the secret key rate lower bounds correspondingly. We first study the input power dependency without assumptions on Bob's detection scheme before optimizing the input power to determine lower bounds as functions of transmission distances, center frequency or Eve aperture radius. Then we calculate analytical expressions regarding the SKR lower bound and upper bound as transmission distance goes to infinity. We also incorporate specific discrete variable (DV) and continuous variable (CV) protocols for comparison. We demonstrate that significantly higher SKR lower bounds can be achieved compared to traditional unrestricted Eve scenario.


title: Numerical semigroups, polyhedra, and posets III: minimal presentations and face dimension

abstract: This paper is the third in a series of manuscripts that examine the combinatorics of the Kunz polyhedron $P_m$, whose positive integer points are in bijection with numerical semigroups (cofinite subsemigroups of $\mathbb Z_{\ge 0}$) whose smallest positive element is $m$. The faces of $P_m$ are indexed by a family of finite posets (called Kunz posets) obtained from the divisibility posets of the numerical semigroups lying on a given face. In this paper, we characterize to what extent the minimal presentation of a numerical semigroup can be recovered from its Kunz poset. In doing so, we prove that all numerical semigroups lying on the interior of a given face of $P_m$ have identical minimal presentation cardinality, and we provide a combinatorial method of obtaining the dimension of a face from its corresponding Kunz poset.


title: An algorithm for finding minimal generating sets of finite groups

abstract: In this article, we study connections between components of the Cayley graph $\mathrm{Cay}(G,A)$, where $A$ is an arbitrary subset of a group $G$, and cosets of the subgroup of $G$ generated by $A$. In particular, we show how to construct generating sets of $G$ if $\mathrm{Cay}(G,A)$ has finitely many components. Furthermore, we provide an algorithm for finding minimal generating sets of finite groups using their Cayley graphs.


title: Contrastive Self-supervised Learning for Graph Classification

abstract: Graph classification is a widely studied problem and has broad applications. In many real-world problems, the number of labeled graphs available for training classification models is limited, which renders these models prone to overfitting. To address this problem, we propose two approaches based on contrastive self-supervised learning (CSSL) to alleviate overfitting. In the first approach, we use CSSL to pretrain graph encoders on widely-available unlabeled graphs without relying on human-provided labels, then finetune the pretrained encoders on labeled graphs. In the second approach, we develop a regularizer based on CSSL, and solve the supervised classification task and the unsupervised CSSL task simultaneously. To perform CSSL on graphs, given a collection of original graphs, we perform data augmentation to create augmented graphs out of the original graphs. An augmented graph is created by consecutively applying a sequence of graph alteration operations. A contrastive loss is defined to learn graph encoders by judging whether two augmented graphs are from the same original graph. Experiments on various graph classification datasets demonstrate the effectiveness of our proposed methods.


title: The log minimal model program for K\"ahler $3$-folds

abstract: In this article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact K\"ahler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain either a (log) minimal model or a Mori fiber space. We also prove a base point free theorem K\"ahler $3$-folds.


title: Possible cardinalities of the center of a graph

abstract: A central vertex of a graph is a vertex whose eccentricity equals the radius. The center of a graph is the set of all central vertices. The central ratio of a graph is the ratio of the cardinality of its center to its order. In 1982, Buckley proved that every positive rational number not exceeding one is the central ratio of some graph. In this paper, we obtain more detailed information by determining which cardinalities are possible for the center of a graph with given order and radius. There are unexpected phenomena in the results. For example, there exists a graph of order $14$ and radius $6$ whose center has cardinality $s$ if and only if $s\in \{ 1, 2, 3, 4, 9,10,11,12,14\}.$ We also prove a related uniqueness result.


title: On the Use of Grey Literature: A Survey with the Brazilian Software Engineering Research Community

abstract: Background: The use of Grey Literature (GL) has been investigate in diverse research areas. In Software Engineering (SE), this topic has an increasing interest over the last years. Problem: Even with the increase of GL published in diverse sources, the understanding of their use on the SE research community is still controversial. Objective: To understand how Brazilian SE researchers use GL, we aimed to become aware of the criteria to assess the credibility of their use, as well as the benefits and challenges. Method: We surveyed 76 active SE researchers participants of a flagship SE conference in Brazil, using a questionnaire with 11 questions to share their views on the use of GL in the context of SE research. We followed a qualitative approach to analyze open questions. Results: We found that most surveyed researchers use GL mainly to understand new topics. Our work identified new findings, including: 1) GL sources used by SE researchers (e.g., blogs, community website); 2) motivations to use (e.g., to understand problems and to complement research findings) or reasons to avoid GL (e.g., lack of reliability, lack of scientific value); 3) the benefit that is easy to access and read GL and the challenge of GL to have its scientific value recognized; and 4) criteria to assess GL credibility, showing the importance of the content owner to be renowned (e.g., renowned author and institutions). Conclusions: Our findings contribute to form a body of knowledge on the use of GL by SE researchers, by discussing novel (some contradictory) results and providing a set of lessons learned to both SE researchers and practitioners.


title: Loss of ergodicity in a quantum hopping model of a dense many body system with repulsive interactions

abstract: In this work we report on a loss of ergodicity in a simple hopping model, motivated by the Hubbard Hamiltonian, of a many body quantum system at zero temperature, quantized in Euclidean time. We show that this quantum system may lose ergodicity at high densities on a large lattice, as a result of both Pauli exclusion and strong Coulomb repulsion. In particular we study particle hopping susceptibilities and the tendency towards particle localization. It is found that the appearance and existence of quantum phase transitions in this model, in the case of high density and strong Coulomb repulsion, depends on the starting configuration of particle trajectories in the numerical simulation. We argue that this breakdown may be the Euclidean time version of a breakdown of the eigenstate thermalization hypothesis in real time quantization.


title: On special generic maps of rational homology spheres into Euclidean spaces

abstract: Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$ was studied by several authors including Burlet, de Rham, Porto, Furuya, \`{E}lia\v{s}berg, Saeki, and Sakuma. In this paper, we study rational homology $n$-spheres that admit special generic maps into $\mathbb{R}^{p}$ for $p<n$. We use the technique of Stein factorization to derive a necessary homological condition for the existence of such maps for odd $n$. We examine our condition for concrete rational homology spheres including lens spaces and total spaces of linear $S^{3}$-bundles over $S^{4}$, and obtain new results on the (non-)existence of special generic maps.


title: Secret key distillation over realistic satellite-to-satellite free-space channel: exclusion zone analysis

abstract: Quantum cryptography studies the unconditional information security against an all-powerful eavesdropper in secret key distillation. However the assumption of an omnipotent eavesdropper is too strict for some realistic implementations. In this paper we study the realistic application model of secret key distillation over satellite-to-satellite free space channel in which we impose a reasonable restriction on the eavesdropper by setting an exclusion zone around the legitimate receiver as a defense strategy. We first study the case where the eavesdropper's aperture size is unlimited so her power is only restricted by the exclusion zone. Then we limit Eve's aperture to a finite size and study the straightforward case when her aperture is in the same plane of Bob, investigating how an exclusion zone can help improve security. Correspondingly, we determine the secret key rate lower bounds as well as upper bounds. Further more, we also apply our results on specific discrete variable (DV) and continuous variable (CV) protocols for comparison. We show that by putting reasonable restrictions on the eavesdropper through the realistic assumptions of an inaccessible exclusion zone, we can increase the key rate in comparison to those without and do so with relatively lower transmission frequency. We conclude that this model is suitable for extended analysis in many light gathering scenarios and for different carrier wavelengths.


title: Disentangling Boosted Higgs Boson Production Modes with Machine Learning

abstract: Higgs Bosons produced via gluon-gluon fusion (ggF) with large transverse momentum ($p_T$) are sensitive probes of physics beyond the Standard Model. However, high $p_T$ Higgs Boson production is contaminated by a diversity of production modes other than ggF: vector boson fusion, production of a Higgs boson in association with a vector boson, and production of a Higgs boson with a top-quark pair. Combining jet substructure and event information with modern machine learning, we demonstrate the ability to focus on particular production modes. These tools hold great discovery potential for boosted Higgs bosons produced via ggF and may also provide additional information about the Higgs Boson sector of the Standard Model in extreme phase space regions for other production modes as well.


title: That looks interesting! Personalizing Communication and Segmentation with Random Forest Node Embeddings

abstract: Communicating effectively with customers is a challenge for many marketers, but especially in a context that is both pivotal to individual long-term financial well-being and difficult to understand: pensions. Around the world, participants are reluctant to consider their pension in advance, it leads to a lack of preparation of their pension retirement [1], [2]. In order to engage participants to obtain information on their expected pension benefits, personalizing the pension providers' email communication is a first and crucial step. We describe a machine learning approach to model email newsletters to fit participants' interests. The data for the modeling and analysis is collected from newsletters sent by a large Dutch pension provider of the Netherlands and is divided into two parts. The first part comprises 2,228,000 customers whereas the second part comprises the data of a pilot study, which took place in July 2018 with 465,711 participants. In both cases, our algorithm extracts features from continuous and categorical data using random forests, and then calculates node embeddings of the decision boundaries of the random forest. We illustrate the algorithm's effectiveness for the classification task, and how it can be used to perform data mining tasks. In order to confirm that the result is valid for more than one data set, we also illustrate the properties of our algorithm in benchmark data sets concerning churning. In the data sets considered, the proposed modeling demonstrates competitive performance with respect to other state of the art approaches based on random forests, achieving the best Area Under the Curve (AUC) in the pension data set (0.948). For the descriptive part, the algorithm can identify customer segmentations that can be used by marketing departments to better target their communication towards their customers.


title: Dynamics for droplet-based electricity generators

abstract: The finding of droplet-based electricity generator (DEG), based on the moving boundary of electrical double layer, has triggered great research enthusiasm, and a breakthrough in instantaneous electric power density was achieved recently. However, the dynamic mechanism for such droplet-based electricity generators remains elusive, impeding optimization of the DEG for practical applications. Through comprehensive experiments, we developed a dynamic model of surface charge density that can explain the underlying mechanism for the DEGs. The spreading droplet in touch with the top electrode can be equivalently regarded as an additional part of the top plate of the DEG capacitor, and the change of droplet area causes the change of surface charge density of the plates, driving electrons to migrate between the two plates. The insight of the dynamic mechanism paves a way for optimal design and practical applications of DEGs


title: Mass-Energy threshold dynamics for dipolar Quantum Gases

abstract: We consider a Gross-Pitaevskii equation which appears as a model in the description of dipolar Bose-Einstein condensates, without a confining external trapping potential. We describe the asymptotic dynamics of solutions to the corresponding Cauchy problem in the energy space in different configurations with respect to the mass-energy threshold, namely for initial data above and at the mass-energy threshold. We first establish a scattering criterion for the equation that we prove by means of the concentration/compactness and rigidity scheme. This criterion enables us to show the energy scattering for solutions with data above the mass-energy threshold, for which only blow-up was known. We also prove a blow-up/grow-up criterion for the equation with general data in the energy space. As a byproduct of scattering and blow-up criteria, and the compactness of minimizing sequences for the Gagliardo-Nirenberg's inequality, we study long time dynamics of solutions with data lying exactly at the mass-energy threshold.


title: Deep Detection for Face Manipulation

abstract: It has become increasingly challenging to distinguish real faces from their visually realistic fake counterparts, due to the great advances of deep learning based face manipulation techniques in recent years. In this paper, we introduce a deep learning method to detect face manipulation. It consists of two stages: feature extraction and binary classification. To better distinguish fake faces from real faces, we resort to the triplet loss function in the first stage. We then design a simple linear classification network to bridge the learned contrastive features with the real/fake faces. Experimental results on public benchmark datasets demonstrate the effectiveness of this method, and show that it generates better performance than state-of-the-art techniques in most cases.


title: Combining Word and Character Vector Representation on Neural Machine Translation

abstract: This paper describes combinations of word vector representation and character vector representation in English-Indonesian neural machine translation (NMT). Six configurations of NMT models were built with different input vector representations: word-based, combination of word and character representation using bidirectional LSTM(bi-LSTM), combination of word and character representation using CNN, combination of word and character representation by combining bi-LSTM and CNN by three different vector operations: addition, pointwise multiplication, and averaging. The experiment results showed that NMT models with concatenation of word and character representation obtained BLEU score higher than baseline model, ranging from 9.14 points to 11.65 points, for all models that combining both word and character representation, except the model that combining word and character representation using both bi-LSTM and CNN by addition operation. The highest BLEU score achieved was 42.48 compared to the 30.83 of the baseline model.


title: Geo-Spatial Data Visualization and Critical Metrics Predictions for Canadian Elections

abstract: Open data published by various organizations is intended to make the data available to the public. All over the world, numerous organizations maintain a considerable number of open databases containing a lot of facts and numbers. However, most of them do not offer a concise and insightful data interpretation or visualization tool, which can help users to process all of the information in a consistently comparable way. Canadian Federal and Provincial Elections is an example of these databases. This information exists in numerous websites, as separate tables so that the user needs to traverse through a tree structure of scattered information on the site, and the user is left with the comparison, without providing proper tools, data-interpretation or visualizations. In this paper, we provide technical details of addressing this problem, by using the Canadian Elections data (since 1867) as a specific case study as it has numerous technical challenges. We hope that the methodology used here can help in developing similar tools to achieve some of the goals of publicly available datasets. The developed tool contains data visualization, trend analysis, and prediction components. The visualization enables the users to interact with the data through various techniques, including Geospatial visualization. To reproduce the results, we have open-sourced the tool.


title: Kim-type APN functions are affine equivalent to Gold functions

abstract: The problem of finding APN permutations of ${\mathbb F}_{2^n}$ where $n$ is even and $n>6$ has been called the Big APN Problem. Li, Li, Helleseth and Qu recently characterized APN functions defined on ${\mathbb F}_{q^2}$ of the form $f(x)=x^{3q}+a_1x^{2q+1}+a_2x^{q+2}+a_3x^3$, where $q=2^m$ and $m\ge 4$. We will call functions of this form Kim-type functions because they generalize the form of the Kim function that was used to construct an APN permutation of ${\mathbb F}_{2^6}$. We extend the result of Li, Li, Helleseth and Qu by proving that if a Kim-type function $f$ is APN and $m\ge 4$, then $f$ is affine equivalent to one of two Gold functions $G_1(x)=x^3$ or $G_2(x)=x^{2^{m-1}+1}$. Combined with the recent result of G\"{o}lo\u{g}lu and Langevin who proved that, for even $n$, Gold APN functions are never CCZ equivalent to permutations, it follows that for $m\ge 4$ Kim-type APN functions on ${\mathbb F}_{2^{2m}}$ are never CCZ equivalent to permutations.


title: Coding Facial Expressions with Gabor Wavelets (IVC Special Issue)

abstract: We present a method for extracting information about facial expressions from digital images. The method codes facial expression images using a multi-orientation, multi-resolution set of Gabor filters that are topographically ordered and approximately aligned with the face. A similarity space derived from this code is compared with one derived from semantic ratings of the images by human observers. Interestingly the low-dimensional structure of the image-derived similarity space shares organizational features with the circumplex model of affect, suggesting a bridge between categorical and dimensional representations of facial expression. Our results also indicate that it would be possible to construct a facial expression classifier based on a topographically-linked multi-orientation, multi-resolution Gabor coding of the facial images at the input stage. The significant degree of psychological plausibility exhibited by the proposed code may also be useful in the design of human-computer interfaces.


title: Detection capability of Migdal effect for argon and xenon nuclei with position sensitive gaseous detectors

abstract: Migdal effect is attracting interests because of the potential to enhance the sensitivities of direct dark matter searches to the low mass region. In spite of its great importance, the Migdal effect has not been experimentally observed yet. A realistic experimental approach towards the first observation of the Migdal effect in the neutron scattering was studied with Monte Carlo simulations. In this study, potential background rate was studied together with the event rate of the Migdal effect by a neutron source. It was found that a table-top sized $\sim (30\rm cm )^3$ position-sensitive gaseous detector filled with argon or xenon target gas can detect characteristic signatures of the Migdal effect with sufficient rates (O($10^2\sim10^3$) events/day). A simulation result of a simple experimental set-up showed two significant background sources, namely the intrinsic neutrons and the neutron induced gamma-rays. These background rates were found to be much higher than those of the Migdal effect in the neutron scattering. As a consequence of this study, it is concluded that the experimental observation of the Migdal effect in the neutron scattering can be realized with a good understanding and reduction of the background.


title: Pow-Wow: A Dataset and Study on Collaborative Communication in Pommerman

abstract: In multi-agent learning, agents must coordinate with each other in order to succeed. For humans, this coordination is typically accomplished through the use of language. In this work we perform a controlled study of human language use in a competitive team-based game, and search for useful lessons for structuring communication protocol between autonomous agents. We construct Pow-Wow, a new dataset for studying situated goal-directed human communication. Using the Pommerman game environment, we enlisted teams of humans to play against teams of AI agents, recording their observations, actions, and communications. We analyze the types of communications which result in effective game strategies, annotate them accordingly, and present corpus-level statistical analysis of how trends in communications affect game outcomes. Based on this analysis, we design a communication policy for learning agents, and show that agents which utilize communication achieve higher win-rates against baseline systems than those which do not.


title: Nature of $\bm{S}$-wave $\bm{NN}$ interaction and dibaryon production at nucleonic resonance thresholds

abstract: Phase shifts and inelasticity parameters for $NN$ scattering in the partial-wave channels ${}^3S_1$--${}^3D_1$ and ${}^1S_0$ at energies $T_{\rm lab}$ from zero to about 1 GeV are described within a unified $NN$ potential model assuming the formation of isoscalar and isovector dibaryon resonances near the $NN^*(1440)$ threshold. Evidence for these near-threshold resonances is actually found in the recent WASA experiments on single- and double-pion production in $NN$ collisions. There, the excitation of the Roper resonance $N^*(1440)$ exhibits a structure in the energy dependence of the total cross section, which corresponds to the formation of dibaryon states with $I(J^\pi)=0(1^+)$ and $1(0^+)$ at the $NN^*(1440)$ threshold. These two $S$-wave dibaryon resonances may provide a new insight into the nature of the strong $NN$ interaction at low and intermediate energies.


title: PolSAR Image Classification Based on Robust Low-Rank Feature Extraction and Markov Random Field

abstract: Polarimetric synthetic aperture radar (PolSAR) image classification has been investigated vigorously in various remote sensing applications. However, it is still a challenging task nowadays. One significant barrier lies in the speckle effect embedded in the PolSAR imaging process, which greatly degrades the quality of the images and further complicates the classification. To this end, we present a novel PolSAR image classification method, which removes speckle noise via low-rank (LR) feature extraction and enforces smoothness priors via Markov random field (MRF). Specifically, we employ the mixture of Gaussian-based robust LR matrix factorization to simultaneously extract discriminative features and remove complex noises. Then, a classification map is obtained by applying convolutional neural network with data augmentation on the extracted features, where local consistency is implicitly involved, and the insufficient label issue is alleviated. Finally, we refine the classification map by MRF to enforce contextual smoothness. We conduct experiments on two benchmark PolSAR datasets. Experimental results indicate that the proposed method achieves promising classification performance and preferable spatial consistency.


title: One-step direct measurement of the entangled W states with cross-Kerr nonlinearity

abstract: We propose a scheme to directly measure the entangled W states with cross-Kerr nonlinearity mediums. This scheme can measure three-photon, four-photon, and even N-photon W states in one step. Only PBSs and cross-Kerr nonlinearity mediums are used in this scheme, which is feasible for experiments. We describe the three-photon W states measurement process and extend it to four-photon and N-photon W states.


title: vContact: Private WiFi-based Contact Tracing with Virus Lifespan

abstract: Covid-19 is primarily spread through contact with the virus which may survive on surfaces with lifespan of more than hours. To curb its spread, it is hence of vital importance to detect and quarantine those who have been in contact with the virus for sustained period of time, the so-called close contacts. In this work, we study, for the first time, automatic contact detection when the virus has a lifespan. Leveraging upon the ubiquity of WiFi signals, we propose a novel, private, and fully distributed WiFi-based approach called vContact. Users installing an app continuously scan WiFi and store its hashed IDs. Given a confirmed case, the signals of the major places he/she visited are then uploaded to a server and matched with the stored signals of users to detect contact. vContact is not based on phone pairing, and no information of any other users is stored locally. The confirmed case does not need to have installed the app for it to work properly. As WiFi data are sampled sporadically, we propose efficient signal processing approaches and similarity metric to align and match signals of any time. We conduct extensive indoor and outdoor experiments to evaluate the performance of vContact. Our results demonstrate that vContact is efficient and robust for contact detection. The precision and recall of contact detection are high (in the range of 50-90%) for close contact proximity (2m). Its performance is robust with respect to signal lengths (AP numbers) and phone heterogeneity. By implementing vContact as an app, we present a case study to demonstrate the validity of our design in notifying its users their exposure to virus with lifespan.


title: Stochastic Modeling Approaches for Analyzing Blockchain: A Survey

abstract: Blockchain technology has been attracting much attention from both academia and industry. It brings many benefits to various applications like Internet of Things. However, there are critical issues to be addressed before its widespread deployment, such as transaction efficiency, bandwidth bottleneck, and security. Techniques are being explored to tackle these issues. Stochastic modeling, as one of these techniques, has been applied to analyze a variety of blockchain characteristics, but there is a lack of a comprehensive survey on it. In this survey, we aim to fill the gap and review the stochastic models proposed to address common issues in blockchain. Firstly, this paper provides the basic knowledge of blockchain technology and stochastic models. Then, according to different objects, the stochastic models for blockchain analysis are divided into network-oriented and application-oriented (mainly refer to cryptocurrency). The network-oriented stochastic models are further classified into two categories, namely, performance and security. About the application-oriented stochastic models, the widest adoption mainly concentrates on the price prediction of cryptocurrency. Moreover, we provide analysis and comparison in detail on every taxonomy and discuss the strengths and weaknesses of the related works to serve guides for further researches. Finally, challenges and future research directions are given to apply stochastic modeling approaches to study blockchain. By analyzing and classifying the existing researches, we hope that our survey can provide suggestions for the researchers who are interested in blockchain and good at using stochastic models as a tool to address problems.


title: Synthesizing brain tumor images and annotations by combining progressive growing GAN and SPADE

abstract: Training segmentation networks requires large annotated datasets, but manual annotation is time consuming and costly. We here investigate if the combination of a noise-to-image GAN and an image-to-image GAN can be used to synthesize realistic brain tumor images as well as the corresponding tumor annotations (labels), to substantially increase the number of training images. The noise-to-image GAN is used to synthesize new label images, while the image-to-image GAN generates the corresponding MR image from the label image. Our results indicate that the two GANs can synthesize label images and MR images that look realistic, and that adding synthetic images improves the segmentation performance, although the effect is small.


title: Capture rate of weakly interacting massive particles (WIMPs) in binary star systems

abstract: The distribution of dark matter (DM) inside galaxies is not uniform. Near the central regions, its density is the highest. Then, it is logical to suppose that, inside galaxies, DM affects the physics of stars in central regions more than outer regions. Besides, current stellar evolutionary models did not consider DM effects in their assumptions. To consider the DM effects, at first one must estimate how much DM a star contains. The capture rate (CR) of DM particles by individual stars was investigated already in the literature. In this work, we discuss how CR can be affected when stars are members of binary star systems (BSS) (instead of studying them individually). When a star is a member of a BSS, its speed changes periodically due to the elliptical motion around its companion star. In this work, we investigated CR by BSSs in different BSS configurations. In the end, we discussed observational signatures that can be attributed to the DM effects in BSSs.


title: Molecular Impurities as a Realization of Anyons on the Two-Sphere

abstract: Studies on experimental realization of two-dimensional anyons in terms of quasiparticles have been restricted, so far, to only anyons on the plane. It is known, however, that the geometry and topology of space can have significant effects on quantum statistics for particles moving on it. Here, we have undertaken the first step towards realizing the emerging fractional statistics for particles restricted to move on the sphere, instead of on the plane. We show that such a model arises naturally in the context of quantum impurity problems. In particular, we demonstrate a setup in which the lowest-energy spectrum of two linear bosonic/fermionic molecules immersed in a quantum many-particle environment can coincide with the anyonic spectrum on the sphere. This paves the way towards experimental realization of anyons on the sphere using molecular impurities. Furthermore, since a change in the alignment of the molecules corresponds to the exchange of the particles on the sphere, such a realization reveals a novel type of exclusion principle for molecular impurities, which could also be of use as a powerful technique to measure the statistics parameter. Finally, our approach opens up a new numerical route to investigate the spectra of many anyons on the sphere. Accordingly, we present the spectrum of two anyons on the sphere in the presence of a Dirac monopole field.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Advanced Graph-Based Deep Learning for Probabilistic Type Inference

abstract: Dynamically typed languages such as JavaScript and Python have emerged as the most popular programming languages in use. Important benefits can accrue from including type annotations in dynamically typed programs. This approach to gradual typing is exemplified by the TypeScript programming system which allows programmers to specify partially typed programs, and then uses static analysis to infer the remaining types. However, in general, the effectiveness of static type inference is limited and depends on the complexity of the program's structure and the initial type annotations. As a result, there is a strong motivation for new approaches that can advance the state of the art in statically predicting types in dynamically typed programs, and that do so with acceptable performance for use in interactive programming environments. Previous work has demonstrated the promise of probabilistic type inference using deep learning. In this paper, we advance past work by introducing a range of graph neural network (GNN) models that operate on a novel type flow graph (TFG) representation. The TFG represents an input program's elements as graph nodes connected with syntax edges and data flow edges, and our GNN models are trained to predict the type labels in the TFG for a given input program. We study different design choices for our GNN models for the 100 most common types in our evaluation dataset, and show that our best two GNN configurations for accuracy achieve a top-1 accuracy of 87.76% and 86.89% respectively, outperforming the two most closely related deep learning type inference approaches from past work -- DeepTyper with a top-1 accuracy of 84.62% and LambdaNet with a top-1 accuracy of 79.45%. Further, the average inference throughputs of those two configurations are 353.8 and 1,303.9 files/second, compared to 186.7 files/second for DeepTyper and 1,050.3 files/second for LambdaNet.


title: Counterexamples to the interpolating conjecture on partial-dual genus polynomials of ribbon graphs

abstract: Gross, Mansour and Tucker introduced the partial-dual orientable genus polynomial and the partial-dual Euler genus polynomial. They showed that the partial-dual genus polynomial for an orientable ribbon graph is interpolating and gave an analogous conjecture: The partial-dual Euler-genus polynomial for any non-orientable ribbon graph is interpolating. In this paper, we first give some counterexamples to the conjecture. Then motivated by these counterexamples, we further find two infinite classes of counterexamples.


title: Interpretation of smartphone-captured radiographs utilizing a deep learning-based approach

abstract: Recently, computer-aided diagnostic systems (CADs) that could automatically interpret medical images effectively have been the emerging subject of recent academic attention. For radiographs, several deep learning-based systems or models have been developed to study the multi-label diseases recognition tasks. However, none of them have been trained to work on smartphone-captured chest radiographs. In this study, we proposed a system that comprises a sequence of deep learning-based neural networks trained on the newly released CheXphoto dataset to tackle this issue. The proposed approach achieved promising results of 0.684 in AUC and 0.699 in average F1 score. To the best of our knowledge, this is the first published study that showed to be capable of processing smartphone-captured radiographs.


title: Light-matter interactions in synthetic magnetic fields: Landau-photon polaritons

abstract: We study light-matter interactions in two dimensional photonic systems in the presence of a spatially homogeneous synthetic magnetic field for light. Specifically, we consider one or more two-level emitters located in the bulk region of the lattice, where for increasing magnetic field the photonic modes change from extended plane waves to circulating Landau levels. This change has a drastic effect on the resulting emitter-field dynamics, which becomes intrinsically non-Markovian and chiral, leading to the formation of strongly coupled Landau-photon polaritons. The peculiar dynamical and spectral properties of these quasi-particles can be probed with state-of-the-art photonic lattices in the optical and the microwave domain and may find various applications for the quantum simulation of strongly interacting topological models.


title: Optimization over Young Diagrams

abstract: We consider the problem of finding a Young diagram minimizing the sum of evaluations of a given pair of functions on the parts of the associated pair of conjugate partitions. While there are exponentially many diagrams, we show it is polynomial time solvable.


title: Chiral transport of pseudo-spinors induced by synthetic gravitational field in photonic Weyl metamaterials

abstract: Weyl particles exhibit chiral transport property under external curved space-time geometry. This effect is called chiral gravitational effect, which plays an important role in quantum field theory. However, the absence of real Weyl particles in nature hinders the observation of such interesting phenomena. In this paper, we show that chiral gravitational effect can be manifested in Weyl metamaterials with spatially controlled nonlocality. This inhomogeneous modulation results in a spatially dependent group velocity in the Weyl cone dispersion, which is equivalent to introducing a curved background space-time (or gravitational field) for Weyl pseudo-spinors. The synthetic gravitational field leads to the quantization of energy levels, including chiral zeroth order energy modes (or simply chiral zero modes) that determine the chiral transport property of pseudo-spinors. The inhomogeneous Weyl metamaterial provides an experimentally realizable platform for investigating the interaction between Weyl particles and gravitational field, allowing for observation of chiral gravitational effect in table-top experiments.


title: On deformability of atoms---comparative study between atoms and atomic nuclei

abstract: Atomic nuclei can be spontaneously deformed into non-spherical shapes as many-nucleon systems. We discuss to what extent a similar deformation takes place in many-electron systems. To this end, we employ several many-body methods, such as the unrestricted Hartree-Fock method, post-Hartree-Fock methods, and the density functional theory, to compute the electron density distribution in atoms. We show that the electron density distribution of open-shell atoms is deformed due solely to the single-particle valence orbitals, while the core part remains spherical. This is in contrast to atomic nuclei, which can be deformed collectively. We qualitatively discuss the origin for this apparent difference between atoms and nuclei by estimating the energy change due to deformation. We find that nature of the interaction plays an essential role for the collective deformation.

categories: physics.atom-ph cond-mat.other cond-mat.quant-gas nucl-th physics.comp-ph


title: Power Efficiency, Overhead, and Complexity Tradeoff in IRS-Assisted Communications -- Quadratic Phase-Shift Design

abstract: In this paper, we focus on large intelligent reflecting surfaces (IRSs) and propose a new codebook construction method to obtain a set of predesigned phase-shift configurations for the IRS unit cells. Since the overhead for channel estimation and the complexity of online optimization for IRS-assisted communications scale with the size of the phase-shift codebook, the design of small codebooks is of high importance. We show that there exists a fundamental tradeoff between power efficiency and the size of the codebook. We first analyze this tradeoff for baseline designs that employ a linear phase-shift across the IRS. Subsequently, we show that an efficient design for small codebooks mandates higher-order phase-shift variations across the IRS. Consequently, we propose a quadratic phase-shift design, derive its coefficients as a function of the codebook size, and analyze its performance. Our simulation results show that the proposed design yields a higher power efficiency for small codebooks than the linear baseline designs.


title: Differences in Sb2Te3 growth by pulsed laser and sputter deposition

abstract: High quality Van der Waals chalcogenides are important for phase change data storage, thermoelectrics, and spintronics. Using a combination of statistical design of experiments and density functional theory, we clarify how the out-of-equilibrium van der Waals epitaxial deposition methods can improve the crystal quality of Sb2Te3 films. We compare films grown by radio frequency sputtering and pulsed laser deposition (PLD). The growth factors that influence the crystal quality for each method are different. For PLD grown films a thin amorphous Sb2Te3 seed layer most significantly influences the crystal quality. In contrast, the crystalline quality of films grown by sputtering is rather sensitive to the deposition temperature and less affected by the presence of a seed layer. This difference is somewhat surprising as both methods are out-of-thermal-equilibrium plasma-based methods. Non-adiabatic quantum molecular dynamics simulations show that this difference originates from the density of excited atoms in the plasma. The PLD plasma is more intense and with higher energy than that used in sputtering, and this increases the electronic temperature of the deposited atoms, which concomitantly increases the adatom diffusion lengths in PLD. In contrast, the adatom diffusivity is dominated by the thermal temperature for sputter grown films. These results explain the wide range of Sb2Te3 and superlattice crystal qualities observed in the literature. These results indicate that, contrary to popular belief, plasma-based deposition methods are suitable for growing high quality crystalline chalcogenides.


title: Impact of composition on the dynamics of autocatalytic sets

abstract: Autocatalytic sets are sets of entities that mutually catalyse each other's production through chemical reactions from a basic food source. Recently, the reflexively autocatalytic and food generated theory has introduced a formal definition of autocatalytic sets which has provided promising results in the context of the origin of life. However, the link between the structure of autocatalytic sets and the possibility of different long-term behaviours is still unclear. In this work, we study how different interactions among autocatalytic sets affect the emergent dynamics. To this aim, we develop a model in which interactions are presented through composition operations among networks, and the dynamics of the networks is reproduced via stochastic simulations. We find that the dynamical emergence of the autocatalytic sets depends on the adopted composition operations. In particular, operations involving entities that are sources for autocatalytic sets can promote the formation of different autocatalytic subsets, opening the door to various long-term behaviours.


title: BoostingBERT:Integrating Multi-Class Boosting into BERT for NLP Tasks

abstract: As a pre-trained Transformer model, BERT (Bidirectional Encoder Representations from Transformers) has achieved ground-breaking performance on multiple NLP tasks. On the other hand, Boosting is a popular ensemble learning technique which combines many base classifiers and has been demonstrated to yield better generalization performance in many machine learning tasks. Some works have indicated that ensemble of BERT can further improve the application performance. However, current ensemble approaches focus on bagging or stacking and there has not been much effort on exploring the boosting. In this work, we proposed a novel Boosting BERT model to integrate multi-class boosting into the BERT. Our proposed model uses the pre-trained Transformer as the base classifier to choose harder training sets to fine-tune and gains the benefits of both the pre-training language knowledge and boosting ensemble in NLP tasks. We evaluate the proposed model on the GLUE dataset and 3 popular Chinese NLU benchmarks. Experimental results demonstrate that our proposed model significantly outperforms BERT on all datasets and proves its effectiveness in many NLP tasks. Replacing the BERT base with RoBERTa as base classifier, BoostingBERT achieves new state-of-the-art results in several NLP Tasks. We also use knowledge distillation within the "teacher-student" framework to reduce the computational overhead and model storage of BoostingBERT while keeping its performance for practical application.


title: Anisotropic equations with indefinite potential and competing nonlinearities

abstract: We consider a nonlinear Dirichlet problem driven by a variable exponent $p$-Laplacian plus an indefinite potential term. The reaction has the competing effects of a parametric concave (sublinear) term and of a convex (superlinear) perturbation (an anisotropic concave-convex problem). We prove a bifurcation-type theorem describing the changes in the set of positive solutions as the positive parameter $\lambda$ varies. Also, we prove the existence of minimal positive solutions.


title: On mapping class group quotients by powers of Dehn twists and their representations

abstract: The aim of this paper is to survey some known results about mapping class group quotients by powers of Dehn twists, related to their finite dimensional representations and to state some open questions. One can construct finite quotients of them, out of representations with Zariski dense images into semisimple Lie groups. We show that, in genus 2, the Fibonacci TQFT representation is actually a specialization of the Jones representation. Eventually, we explain a method of Long and Moody which provides large families of mapping class group representations.


title: Admissible vectors and Radon-Nikodym theorems

abstract: Admissible vectors lead to frames or coherent states under the action of a group by means of square integrable representations. This work shows that admissible vectors can be seen as weights with central support on the (left) group von Neumann algebra. The analysis involves spatial and cocycle derivatives, noncommutative $L^p$-Fourier transforms and Radon-Nikodym theorems. Square integrability confine the weights in the predual of the algebra and everything may be written in terms of a (right selfdual) bounded element.


title: The Trajectory Coset and Similarity Classes of Affine Maps

abstract: In this work we define the trajectory coset of an affine map and use it to study the similarity classes of affine maps. We use the trajectory coset, a tool which allows us to gain a deeper understanding of the interplay between geometry (properties of affine maps) and algebra (properties of linear maps). We first state the geometric problem of similarity of affine maps. We then develop the algebraic tools. The main idea is the development of an invariant which determines whether one coset can be taken to another coset, under isomorphism of modules. After resolving this problem we go back to geometrical questions, similarity and invariant flats.


title: Semi-supervised dictionary learning with graph regularization and active points

abstract: Supervised Dictionary Learning has gained much interest in the recent decade and has shown significant performance improvements in image classification. However, in general, supervised learning needs a large number of labelled samples per class to achieve an acceptable result. In order to deal with databases which have just a few labelled samples per class, semi-supervised learning, which also exploits unlabelled samples in training phase is used. Indeed, unlabelled samples can help to regularize the learning model, yielding an improvement of classification accuracy. In this paper, we propose a new semi-supervised dictionary learning method based on two pillars: on one hand, we enforce manifold structure preservation from the original data into sparse code space using Locally Linear Embedding, which can be considered a regularization of sparse code; on the other hand, we train a semi-supervised classifier in sparse code space. We show that our approach provides an improvement over state-of-the-art semi-supervised dictionary learning methods.


title: Manifold attack

abstract: Machine Learning in general and Deep Learning in particular has gained much interest in the recent decade and has shown significant performance improvements for many Computer Vision or Natural Language Processing tasks. In order to deal with databases which have just a small amount of training samples or to deal with models which have large amount of parameters, the regularization is indispensable. In this paper, we enforce the manifold preservation (manifold learning) from the original data into latent presentation by using "manifold attack". The later is inspired in a fashion of adversarial learning : finding virtual points that distort mostly the manifold preservation then using these points as supplementary samples to train the model. We show that our approach of regularization provides improvements for the accuracy rate and for the robustness to adversarial examples.


title: COMONet: Community Mobile Network

abstract: The density of mobile phones has increased rapidly in recent years. One drawback of the current mobile telephone technology is that it forces all the calls to go through cellular base stations even if the caller and the callee are within the radio range of each other. Hybrid cellular networks and Unlicensed Mobile Access (UMA) have been proposed as solutions that enable mobile phone users to bypass cellular base stations. However, these technologies either require special hardware or in some cases have to rely on the service providers. We identified that most of the Commodity-off-the-Shelf mobile phones are Wi-Fi (and Bluetooth) enabled. We propose a Community Mobile Network (COMONet) which utilizes Wi-Fi (and Bluetooth) to build ad hoc network among mobile phone users to bypass GSM base stations whenever possible. COMONet does not depend on special noncommodity hardware and it is a software based solution. COMONet monitors all the available paths over the ad hoc network and it transparently switches to the regular path over the service provider's GSM base station if a path is not available over the ad hoc network. In COMONet the caller and the callee do not have to be within the Wi-Fi or Bluetooth range of each other to make a call since the COMONet is capable of routing calls through the other mobile nodes that are participating in the COMONet.


title: Beamforming Optimization for MIMO Wireless Power Transfer with Nonlinear Energy Harvesting: RF Combining versus DC Combining

abstract: In this paper, we study the multiple-input and multiple-output (MIMO) wireless power transfer (WPT) system so as to enhance the output DC power of the rectennas. To that end, we revisit the rectenna nonlinearity considering multiple receive antennas. Two combining schemes for multiple rectennas at the receiver, DC and RF combinings, are modeled and analyzed. For DC combining, we optimize the transmit beamforming, adaptive to the channel state information (CSI), so as to maximize the total output DC power. For RF combining, we compute a closed-form solution of the optimal transmit and receive beamforming. In addition, we propose a practical RF combining circuit using RF phase shifter and RF power combiner and also optimize the analog receive beamforming adaptive to CSI. We also analytically derive the scaling laws of the output DC power as a function of the number of transmit and receive antennas. Those scaling laws confirm the benefits of using multiple antennas at the transmitter or receiver. They also highlight that RF combining significantly outperforms DC combining since it leverages the rectenna nonlinearity more efficiently. Two types of performance evaluations, based on the nonlinear rectenna model and based on realistic and accurate rectenna circuit simulations, are provided. The evaluations demonstrate that the output DC power can be linearly increased by using multiple rectennas at the receiver and that the relative gain of RF combining versus DC combining in terms of the output DC power level is very significant, of the order of 240% in a one-transmit antenna ten-receive antenna setup.


title: Dynamic dimensional reduction in the Abelian sandpile

abstract: We prove the dimensional reduction conjecture of Fey, Levine, and Peres (2010) on the hypercube. The proof shows that dimensional reduction, symmetry, and regularity of the Abelian sandpile persist during the parallel toppling process. This stronger result verifies empirical observations first documented by Liu, Kaplan, and Gray (1990).


title: Lower bounds for the chromatic number of certain Kneser-type hypergraphs

abstract: Let $n\ge 1$, $r\ge 2$, and $s\ge 0$ be integers and ${\cal P}=\{P_1,\dots, P_l\}$ be a partition of $[n]=\{1,\dots, n\}$ with $|P_i|\le r$ for $i=1,\dots, l$. Also, let $\cal F$ be a family of non-empty subsets of $[n]$. The $r$-uniform Kneser-type hypergraph $\mbox{KG}^r({\cal F}, {\cal P},s)$ is the hypergraph with the vertex set of all $\cal P$-admissible elements $F\in {\cal F}$, that is $|F\cap P_i|\le 1$ for $i=1,\dots, l$ and the edge set of all $r$-subsets $\{F_1,\dots, F_r\}$ of the vertex set that $|F_i\cap F_j|\le s$ for all $1\le i<j\le r$. In this article, we extend the equitable $r$-colorability defect $\mbox{ecd}^r({\cal F})$ of Abyazi Sani and Alishahi to the case when one allows intersection among the vertices of an edge. It will be denoted by $\mbox{ecd}^r({\cal F},s)$. We then, give (under certain assumptions) lower bounds for the chromatic number of $\mbox{KG}^r({\cal F}, {\cal P},s)$ and some of its variants in terms of $\mbox{ecd}^r({\cal F},\lfloor s/2\rfloor)$. This work generalizes many existing results in the literature of the Kneser hypergraphs. It generalizes the previous results of the current authors from the special family of all $k$-subsets of $[n]$ to a general family $\cal F$ of subsets.


title: Heterogeneous Elasticity: The tale of the boson peak

abstract: The vibrational anomalies of glasses, in particular the boson peak, are addressed from the standpoint of heterogeneous elasticity, namely the spatial fluctuations of elastic constants caused by the structural disorder of the amorphous materials. In the first part of this review article a mathematical analogy between diffusive motion in a disordered environment and a scalar simplification of vibrational motion under the same condition is emploited. We demonstrate that the disorder-induced long-time tails of diffusion correspond to the Rayleigh scattering law in the vibrational system and that the cross-over from normal to anomalous diffusion corresponds to the boson peak. The anomalous motion arises as soon as the disorder-induced self-energy exceeds the frequency-independent diffusivity/elasticity. For this model a variational scheme is emploited for deriving two mean-field theories of disorder, the self-consistent Born approximation (SCBA) and coherent-potential approximation (CPA). The former applies if the fluctuations are weak and Gaussian, the latter applies for stronger and non-Gaussian fluctuations. In the second part the vectorial theory of heterogenous elasticity is presented and solved in SCBA and CPA, introduced for the scalar model. Both approaches predict and explain the boson-peak and the associated anomalies, namely a dip in the acoustic phase velocity and a characteristic strong increase of the acoustic attenuation below the boson peak. Explicit expressions for the density of states and the inelastic Raman, neutron and X-ray scattering laws are given. Recent conflicting ways of explaining the boson-peak anomalies are discussed.


title: Dependence of great geomagnetic storm intensity ($\Delta$SYM-H$\le$-200 nT) on associated solar wind parameters

abstract: We use $\Delta$SYM-H to capture the variation in the SYM-H index during the main phase of a geomagnetic storm. We define great geomagnetic storms as those with $\Delta$SYM-H $\le$ -200 nT. After analyzing the data that were not obscured by solar winds, we determined that 11 such storms occurred during solar cycle 23. We calculated time integrals for the southward interplanetary magnetic field component I(B$_s$), the solar wind electric field I(E$_y$), and a combination of E$_y$ and the solar wind dynamic pressure I(Q) during the main phase of a great geomagnetic storm. The strength of the correlation coefficient (CC) between $\Delta$SYM-H and each of the three integrals I(B$_s$) (CC = 0.74), I(E$_y$) (CC = 0.85), and I(Q) (CC = 0.94) suggests that Q, which encompasses both the solar wind electric field and the solar wind dynamic pressure, is the main driving factor that determines the intensity of a great geomagnetic storm. The results also suggest that the impact of B$_s$ on the great geomagnetic storm intensity is much more significant than that of the solar wind speed and the dynamic pressure during the main phase of associated great geomagnetic storm. How to estimate the intensity of an extreme geomagnetic storm based on solar wind parameters is also discussed.